Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7979848 | Systems, methods and apparatus for pattern matching in procedure development and verification | Michael G. Hinchey, James L. Rash | 2011-07-12 |
| 7886273 | Systems, methods and apparatus for generation and verification of policies in autonomic computing systems | Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Roy Sterritt, Denis Gracanin | 2011-02-08 |
| 7752608 | Systems, methods and apparatus for verification of knowledge-based systems | Michael G. Hinchey, James L. Rash, John D. Erickson, Denis Gracinin | 2010-07-06 |
| 7739671 | Systems, methods and apparatus for implementation of formal specifications derived from informal requirements | Michael G. Hinchey, James L. Rash, John D. Erickson, Denis Gracinin | 2010-06-15 |
| 7668796 | Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation | Michael G. Hinchey, Tiziana Margaria, James L. Rash, Bernard Steffen | 2010-02-23 |
| 7543274 | System and method for deriving a process-based specification | Michael G. Hinchey, James L. Rash | 2009-06-02 |