| 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 |
