Issued Patents All Time
Showing 1–11 of 11 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9098619 | Method for automated error detection and verification of software | Devesh Bhatt, Kirk Schloegel, Gabor Madl | 2015-08-04 |
| 9063672 | Systems and methods for verifying model equivalence | Gabor Madl, Kuntal Chakraborty, Devesh Bhatt, Stephen Otis Hickman | 2015-06-23 |
| 9027001 | Systems and methods for verifying expression folding | Arvind Easwaran, Gabor Madl, Devesh Bhatt | 2015-05-05 |
| 8984343 | Error propagation in a system model | Kirk Schloegel, Devesh Bhatt, Gabor Madl | 2015-03-17 |
| 8984488 | Type and range propagation through data-flow models | Devesh Bhatt, Steve Hickman, Manish Patodi, Kirk Schloegel | 2015-03-17 |
| 8423879 | Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation | Devesh Bhatt, Kirk Schloegel, Stephen Otis Hickman | 2013-04-16 |
| 8307342 | Method, apparatus, and system for automatic test generation from statecharts | Kirk Schloegel, Devesh Bhatt, Stephen Otis Hickman | 2012-11-06 |
| 7219328 | Model-based composable code generation | Kirk Schloegel, Eric Engstrom, Devesh Bhatt | 2007-05-15 |
| 6265020 | Fluid delivery systems for electronic device manufacture | George R. Allardyce, John J. Bladon, Inna Sinitskaya | 2001-07-24 |
| 6123995 | Method of manufacture of multilayer circuit boards | Wade Sonnenberg, Jeffrey P. Burress, James G. Shelnut | 2000-09-26 |
| 6036835 | Method of microetching a conductive polymer on multilayer circuit boards | Wade Sonnenberg, John J. Bladon, Jeffrey P. Burress | 2000-03-14 |