Issued Patents All Time
Showing 25 most recent of 26 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12376228 | Electronic prototyping | Stephen E. Hodges, Michal J. Moskal, Gabriele D'Amone, James Alexander Devine, Jonathan Paul de Halleux | 2025-07-29 |
| 12308586 | Electronic prototyping interoperability | Stephen E. Hodges, Michal J. Moskal, Gabriele D'Amone, James Alexander Devine, Jonathan Paul de Halleux | 2025-05-20 |
| 12177969 | Modular electronic prototyping platforms | Stephen E. Hodges, Michal J. Moskal, Gabriele D'Amone, James Alexander Devine, Jonathan Paul de Halleux | 2024-12-24 |
| 8627287 | Prioritizing quality improvements to source code | Michael C. Fanning, Nachiappan Nagappan, Sean Sandys | 2014-01-07 |
| 8595707 | Processing predicates including pointer information | Eleonora O. Bounimova, Vladimir A. Levin, Leonardo M. de Moura | 2013-11-26 |
| 8402444 | Program analysis through predicate abstraction and refinement | Eleonora O. Bounimova, Vladimir A. Levin, Rahul Kumar | 2013-03-19 |
| 8185874 | Automatic and systematic detection of race conditions and atomicity violations | Yuan Yu, Shuvendu K. Lahiri | 2012-05-22 |
| 7757219 | Method for enhancing program analysis | Sriram K. Rajamani | 2010-07-13 |
| 7657867 | System and method for generating a predicate abstraction of a program | Sriram K. Rajamani, Todd Millstein, Rupak Majumdar | 2010-02-02 |
| 7587707 | Predicate abstraction via symbolic decision procedures | Shuvendu K. Lahiri | 2009-09-08 |
| 7584455 | Predicate-based test coverage and generation | — | 2009-09-01 |
| 7058925 | System and method for generating a predicate abstraction of a program | Sriram K. Rajamani, Todd Millstein, Rupak Majumdar | 2006-06-06 |
| 6904590 | Methods for enhancing program analysis | Sriram K. Rajamani | 2005-06-07 |
| 6701294 | User interface for translating natural language inquiries into database queries and data presentations | Kenneth Charles Cox, Rebecca E. Grinter, Stacie L. Hibino, Lalita Jategaonkar Jagadeesan, David Mantilla | 2004-03-02 |
| 6609089 | Method and apparatus for providing interactive services with multiple interfaces | Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Konstantin Laufer, Peter Andrew Mataga, Kenneth G. Rehor | 2003-08-19 |
| 6600736 | Method of providing transfer capability on web-based interactive voice response services | Peter J. Danielsen, Peter Andrew Mataga, Kenneth G. Rehor | 2003-07-29 |
| 6596030 | Identifying changes in on-line data repositories | Frederick Douglis | 2003-07-22 |
| 6529863 | Method and apparatus for providing interactive services with multiple interfaces | Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Konstantin Laufer, Peter Andrew Mataga, Kenneth G. Rehor | 2003-03-04 |
| 6459774 | Structured voicemail messages | Michael Benedikt, Peter Andrew Mataga, Carlos Miguel Puchol, Kenneth G. Rehor, Curtis Tuckey | 2002-10-01 |
| 6393107 | Method and apparatus for creating and sending structured voicemail messages | Michael Benedikt, Peter Andrew Mataga, Carlos Miguel Puchol, Kenneth G. Rehor, Curtis Tuckey | 2002-05-21 |
| 6366933 | Method and apparatus for tracking and viewing changes on the web | Frederick Douglis | 2002-04-02 |
| 6240391 | Method and apparatus for assembling and presenting structured voicemail messages | Michael Benedikt, Peter Andrew Mataga, Carlos Miguel Puchol, Kenneth G. Rehor, Curtis Tuckey | 2001-05-29 |
| 6222847 | Apparatus and method for retrieving data from a network site | Glenn R. Bruns | 2001-04-24 |
| 6125375 | Apparatus for visualizing program slices | David L. Atkins, Stephen Gregory Eick, Graham J. Wills | 2000-09-26 |
| 5860071 | Querying and navigating changes in web repositories | Yih-Farn Chen, Frederick Douglis, Eleftherios Koutsofios | 1999-01-12 |