Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9098619 | Method for automated error detection and verification of software | David V. Oglesby, Kirk Schloegel, Gabor Madl | 2015-08-04 |
| 9063672 | Systems and methods for verifying model equivalence | Gabor Madl, David V. Oglesby, Kuntal Chakraborty, Stephen Otis Hickman | 2015-06-23 |
| 9027001 | Systems and methods for verifying expression folding | Arvind Easwaran, Gabor Madl, David V. Oglesby | 2015-05-05 |
| 8984343 | Error propagation in a system model | Kirk Schloegel, David V. Oglesby, Gabor Madl | 2015-03-17 |
| 8984488 | Type and range propagation through data-flow models | Steve Hickman, Manish Patodi, David V. Oglesby, Kirk Schloegel | 2015-03-17 |
| 8661424 | Auto-generation of concurrent code for multi-core applications | Kirk Schloegel | 2014-02-25 |
| 8423879 | Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation | Kirk Schloegel, Stephen Otis Hickman, David V. Oglesby | 2013-04-16 |
| 8407800 | Method for software vulnerability flow analysis, generation of vulnerability-covering code, and multi-generation of functionally-equivalent code | Kirk Schloegel | 2013-03-26 |
| 8307342 | Method, apparatus, and system for automatic test generation from statecharts | David V. Oglesby, Kirk Schloegel, Stephen Otis Hickman | 2012-11-06 |
| 8036805 | Distributed engine control system | Timothy D. Mahoney, Scot E. Griffiths, Larry J. Yount, Richard Hess, Brendan Hall +3 more | 2011-10-11 |
| 7644334 | Requirements-based test generation | Stephen Otis Hickman | 2010-01-05 |
| 7219328 | Model-based composable code generation | Kirk Schloegel, David V. Oglesby, Eric Engstrom | 2007-05-15 |
| 6097399 | Display of visual data utilizing data aggregation | Todd Charles Steeves | 2000-08-01 |
| 4636967 | Monitor circuit | Michael O. Schroeder | 1987-01-13 |