Issued Patents All Time
Showing 1–24 of 24 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12282869 | On-device machine learning platform | Pannag Raghunath Sanketi, Daniel Ramage, Hrishikesh Aradhye | 2025-04-22 |
| 11403540 | On-device machine learning platform | Pannag Raghunath Sanketi, Daniel Ramage, Hrishikesh Aradhye | 2022-08-02 |
| 11138517 | On-device machine learning platform | Pannag Raghunath Sanketi, Daniel Ramage, Hrishikesh Aradhye, Shiyu Hu | 2021-10-05 |
| 8533680 | Approximating finite domains in symbolic state exploration | Nikolai Tillmann, Wolfram Schulte | 2013-09-10 |
| 8468505 | State as a first-class citizen of an imperative language | Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann | 2013-06-18 |
| 8046746 | Symbolic execution of object oriented programs with axiomatic summaries | Nikolai Tillmann, Wolfram Schulte | 2011-10-25 |
| 7926025 | Symbolic program model compositions | Colin Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfram Schulte | 2011-04-12 |
| 7844951 | Specification generation from implementations | Feng-Lun CHEN, Nikolai Tillmann, Wolfram Schulte | 2010-11-30 |
| 7797687 | Parameterized unit tests with behavioral purity axioms | Nikolai Tillmann, Wolfram Schulte | 2010-09-14 |
| 7747985 | Conformance testing of multi-threaded and distributed software systems | Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann +1 more | 2010-06-29 |
| 7730462 | Generalized comprehension in imperative languages | Wolfram Schulte, Henricus Johannes Maria Meijer | 2010-06-01 |
| 7685571 | Interactive domain configuration | Wolfram Schulte, Nikolai Tillmann | 2010-03-23 |
| 7665072 | Generating test cases for software with complex preconditions | Nikolai Tillman, Colin Campbell, Lev Borisovich Nachmanson, Wolfram Schulte, Margus Veanes | 2010-02-16 |
| 7590520 | Non-deterministic testing | Lev Borisovich Nachmanson, Margus Veanes, Nikolai Tillmann | 2009-09-15 |
| 7587636 | Unit test generalization | Nikolai Tillmann, Wolfram Schulte | 2009-09-08 |
| 7584463 | State as a first-class citizen of an imperative language | Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann | 2009-09-01 |
| 7500149 | Generating finite state machines for software systems with asynchronous callbacks | Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann +1 more | 2009-03-03 |
| 7500226 | Efficient checking of state-dependent constraints | Nikolai Tillmann, Wolfram Schulte | 2009-03-03 |
| 7496791 | Mock object generation by symbolic execution | Nikolai Tillmann, Wolfram Schulte | 2009-02-24 |
| 7493544 | Extending test sequences to accepting states | Andreas Blass, Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett +3 more | 2009-02-17 |
| 7451435 | Self-describing artifacts and application abstractions | Galen C. Hunt, Thomas Roeder, James R. Larus, Manuel A. Fahndrich, John D. DeTreville +2 more | 2008-11-11 |
| 7444622 | Access driven filtering | Wolfram Schulte, Nikolai Tillmann | 2008-10-28 |
| 7363202 | State exploration using multiple state groupings | Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann | 2008-04-22 |
| 7088864 | Generating a test suite from an abstract state machine | Yuri Gurevich, Wolfram Schulte, Margus Veanes | 2006-08-08 |