Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10305912 | Methods of enabling inter-organizational and public social collaboration | Scott Diestler, Doug Shimonek, Leo Bartkus, Dave Carley, Erik John Arthur | 2019-05-28 |
| 9098619 | Method for automated error detection and verification of software | Devesh Bhatt, David V. Oglesby, Gabor Madl | 2015-08-04 |
| 8984488 | Type and range propagation through data-flow models | Devesh Bhatt, Steve Hickman, Manish Patodi, David V. Oglesby | 2015-03-17 |
| 8984343 | Error propagation in a system model | Devesh Bhatt, David V. Oglesby, Gabor Madl | 2015-03-17 |
| 8666114 | System and method for geospatial partitioning of a geographical region | Valerie Guralnik, Scott McCloskey, Ben Miller | 2014-03-04 |
| 8661424 | Auto-generation of concurrent code for multi-core applications | Devesh Bhatt | 2014-02-25 |
| 8423879 | Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation | Devesh Bhatt, Stephen Otis Hickman, David V. Oglesby | 2013-04-16 |
| 8407223 | System for information discovery in video-based data | Valerie Guralnik, Petr Cisar | 2013-03-26 |
| 8407800 | Method for software vulnerability flow analysis, generation of vulnerability-covering code, and multi-generation of functionally-equivalent code | Devesh Bhatt | 2013-03-26 |
| 8307342 | Method, apparatus, and system for automatic test generation from statecharts | David V. Oglesby, Devesh Bhatt, Stephen Otis Hickman | 2012-11-06 |
| 8284990 | Social network construction based on data association | Yunqian Ma, Roland Miezianko, Petr Cisar | 2012-10-09 |
| 7219328 | Model-based composable code generation | David V. Oglesby, Eric Engstrom, Devesh Bhatt | 2007-05-15 |