Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10955843 | Verified inference engine for autonomy | — | 2021-03-23 |
| 10558209 | System and method for cooperative operation of piloted and optionally piloted aircraft | Jennifer A. Davis, Jing Liu, James A. Marek, Ryan P. Littler | 2020-02-11 |
| 10454968 | Regular expression based cyber fuzzing attack preventer | Mark A. Bortz, James N. Potts, Konrad L. Slind | 2019-10-22 |
| 10095230 | Verified inference engine for autonomy | — | 2018-10-09 |
| 8881260 | High assurance guard for security applications utilizing authentication and authorization services for sources of network data | Raymond J. Richards, Matthew M. Wilding | 2014-11-04 |
| 8161529 | High-assurance architecture for routing of information between networks of differing security level | Mark A. Bortz, Matthew M. Wilding, James A. Marek, T. Douglas Hiratzka, Philippe M. T. Limondin | 2012-04-17 |
| 8041554 | Method and system for the development of high-assurance microcode | Philippe M. T. Limondin, T. Douglas Hiratzka, Michael William Whalen | 2011-10-18 |
| 7734933 | System for providing secure and trusted computing environments through a secure computing module | James A. Marek, Raymond A. Kamin, III, Steven E. Koenck, Allen P. Mass | 2010-06-08 |
| 7716720 | System for providing secure and trusted computing environments | James A. Marek, Raymond A. Kamin, III, Steven E. Koenck, Allen P. Mass | 2010-05-11 |
| 7606254 | Evaluatable high-assurance guard for security applications | David A. Greve, Sung J. Kim, Matthew M. Wilding | 2009-10-20 |
| 7171501 | System and method for asynchronous transfer of control | Gregory Bollella, Benjamin M. Brosgol, Scott Robbins, Peter Cadwell Dibble | 2007-01-30 |
| 7146602 | Builder tool and interface for system supporting multiple virtual machines | Michael J. Frerking, Nick Mykris, Philip Wiley | 2006-12-05 |
| 7114163 | Software component model for time sensitive embedded applications | Michael J. Frerking, Philip Wiley | 2006-09-26 |
| 6374286 | Real time processor capable of concurrently running multiple independent JAVA machines | John K. Gee, David A. Greve, Allen P. Mass, Michael Masters, Nick Mykris +1 more | 2002-04-16 |
| 6317872 | Real time processor optimized for executing JAVA programs | John K. Gee, David A. Greve, Raymond A. Kamin, III, T. Douglas Hiratzka, Allen P. Mass +2 more | 2001-11-13 |