Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8694963 | Systems, methods and apparatus for developing and maintaining evolving systems with software product lines | Michael G. Hinchey, Joaquin Pena | 2014-04-08 |
| 8082538 | Systems, methods and apparatus for developing and maintaining evolving systems with software product lines | Michael G. Hinchey, Joaquin Pena | 2011-12-20 |
| 7979848 | Systems, methods and apparatus for pattern matching in procedure development and verification | Michael G. Hinchey, Christopher A. Rouff | 2011-07-12 |
| 7886273 | Systems, methods and apparatus for generation and verification of policies in autonomic computing systems | Michael G. Hinchey, Walter F. Truszkowski, Christopher A. Rouff, Roy Sterritt, Denis Gracanin | 2011-02-08 |
| 7752608 | Systems, methods and apparatus for verification of knowledge-based systems | Michael G. Hinchey, John D. Erickson, Denis Gracinin, Christopher A. Rouff | 2010-07-06 |
| 7739671 | Systems, methods and apparatus for implementation of formal specifications derived from informal requirements | Michael G. Hinchey, John D. Erickson, Denis Gracinin, Christopher A. Rouff | 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, Christopher A. Rouff, Bernard Steffen | 2010-02-23 |
| 7543274 | System and method for deriving a process-based specification | Michael G. Hinchey, Christopher A. Rouff | 2009-06-02 |