Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7406685 | System and method for whole-system program analysis | Timothy G. Fleehart, Jeffrey S. Wallace | 2008-07-29 |
| 7284271 | Authorizing a requesting entity to operate upon data structures | Mark Lucovsky, Shaun D. Pierce, Michael G. Burner, Richard B. Ward, Paul J. Leach +4 more | 2007-10-16 |
| 7200599 | Automated generator of input-validation filters | Daniel R. Simon, Valentin Nikolaev Razmov | 2007-04-03 |
| 7136859 | Accessing heterogeneous data in a standardized manner | Mark Lucovsky, Shaun D. Pierce, Alexander T. Weinert, Michael G. Burner, Richard B. Ward +5 more | 2006-11-14 |
| 6985958 | Messaging infrastructure for identity-centric data access | Mark Lucovsky, Shaun D. Pierce, Alexander T. Weinert, Michael G. Burner, Richard B. Ward +6 more | 2006-01-10 |
| 6820256 | System and method for whole-system program analysis | Timothy G. Fleehart, Jeffrey S. Wallace | 2004-11-16 |
| 6782530 | Method of ranking messages generated in a computer system | William R. Softky, David J. Sielaff | 2004-08-24 |
| 6154876 | Analysis of the effect of program execution of calling components with data variable checkpointing and resource allocation analysis | Matthew A. Haley, William R. Bush | 2000-11-28 |
| 6079031 | Computer process resource modelling method and apparatus | Matthew A. Haley, William R. Bush | 2000-06-20 |
| 5968113 | Computer process resource modelling method and apparatus | Matthew A. Haley, William R. Bush | 1999-10-19 |
| 5857071 | Computer process resource modelling method and apparatus | Matthew A. Haley, William R. Bush | 1999-01-05 |
| 5790778 | Simulated program execution error detection method and apparatus | William R. Bush, Richard E. Wilbur, Debby Majors-Degnan, David J. Sielaff | 1998-08-04 |
| 5694539 | Computer process resource modelling method and apparatus | Matthew A. Haley, William R. Bush | 1997-12-02 |