Issued Patents All Time
Showing 1–24 of 24 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9171266 | Power provision based on self-sacrificing craft | Emil I. Vassev, Bridget Hinchey, Roy Sterrit | 2015-10-27 |
| 8983882 | Autonomic and apoptopic systems in computing, robotics, and security | Roy Sterritt | 2015-03-17 |
| 8983883 | Autonomic and apoptotic, aeronautical and aerospace systems, and controlling scientific data generated therefrom | Roy Sterritt | 2015-03-17 |
| 8694963 | Systems, methods and apparatus for developing and maintaining evolving systems with software product lines | James L. Rash, Joaquin Pena | 2014-04-08 |
| 8275725 | Systems, methods, and apparatus for otoacoustic protection of autonomic systems | Roy Sterritt | 2012-09-25 |
| 8275724 | Method of improving system performance and survivability through changing function | Emil I. Vassev | 2012-09-25 |
| 8165976 | Systems, methods, and apparatus for otoacoustic protection of autonomic systems | Roy Sterritt | 2012-04-24 |
| 8165977 | Systems, methods, and apparatus for otoacoustic protection of autonomic systems | Roy Sterritt | 2012-04-24 |
| 8140453 | Systems, methods, and apparatus for otoacoustic protection of autonomic systems | Roy Sterritt | 2012-03-20 |
| 8140452 | Systems, methods, and apparatus for otoacoustic protection of autonomic systems | Roy Sterritt | 2012-03-20 |
| 8082538 | Systems, methods and apparatus for developing and maintaining evolving systems with software product lines | James L. Rash, Joaquin Pena | 2011-12-20 |
| 7992134 | Systems, methods and apparatus for modeling, specifying and deploying policies in autonomous and autonomic systems using agent-oriented software engineering | Joaquin Penn, Roy Sterritt | 2011-08-02 |
| 7979848 | Systems, methods and apparatus for pattern matching in procedure development and verification | James L. Rash, Christopher A. Rouff | 2011-07-12 |
| 7925600 | Swarm autonomic agents with self-destruct capability | Roy Sterritt | 2011-04-12 |
| 7904396 | Systems, methods and apparatus for quiesence of autonomic safety devices with self action | Roy Sterritt | 2011-03-08 |
| 7899760 | Systems, methods and apparatus for quiesence of autonomic systems with self action | Roy Sterritt | 2011-03-01 |
| 7886273 | Systems, methods and apparatus for generation and verification of policies in autonomic computing systems | James L. Rash, Walter F. Truszkowski, Christopher A. Rouff, Roy Sterritt, Denis Gracanin | 2011-02-08 |
| 7765171 | System and method of self-properties for an autonomous and automatic computer environment | Roy Sterritt | 2010-07-27 |
| 7752608 | Systems, methods and apparatus for verification of knowledge-based systems | James L. Rash, 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 | James L. Rash, John D. Erickson, Denis Gracinin, Christopher A. Rouff | 2010-06-15 |
| 7673089 | Flash drive memory apparatus and method | — | 2010-03-02 |
| 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 | Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernard Steffen | 2010-02-23 |
| 7627538 | Swarm autonomic agents with self-destruct capability | Roy Sterritt | 2009-12-01 |
| 7543274 | System and method for deriving a process-based specification | James L. Rash, Christopher A. Rouff | 2009-06-02 |