Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12376228 | Electronic prototyping | Stephen E. Hodges, Michal J. Moskal, Gabriele D'Amone, James Alexander Devine, Thomas J. Ball | 2025-07-29 |
| 12308586 | Electronic prototyping interoperability | Stephen E. Hodges, Michal J. Moskal, Gabriele D'Amone, James Alexander Devine, Thomas J. Ball | 2025-05-20 |
| 12177969 | Modular electronic prototyping platforms | Stephen E. Hodges, Michal J. Moskal, Gabriele D'Amone, James Alexander Devine, Thomas J. Ball | 2024-12-24 |
| 9448772 | Generating program fragments using keywords and context information | Sumit Gulwani, Nikolai Tillmann, Vu Minh Le, Zhendong Su | 2016-09-20 |
| 9286038 | Interface development and operation | Sebastian Burckhardt, Manuel A Faehndrich, Michal J. Moskal, Sean C. McDirmid, Nikolai Tillmann +1 more | 2016-03-15 |
| 9239708 | Contextually intelligent code editing | Nikolai Tillmann, Barend H. Venter | 2016-01-19 |
| 9104528 | Controlling the release of private information using static flow analysis | Xusheng Xiao, Nikolai Tillmann, Manuel A. Fahndrich, Michal J. Moskal | 2015-08-11 |
| 8726239 | Generating type-safe wrappers for dynamic detouring | Nikolai Tillmann | 2014-05-13 |
| 8515891 | Symbolic finite automata | Margus Veanes, Nikolai Tillmann | 2013-08-20 |
| 8387016 | Whitebox trace fuzzing | Nikolai Tillmann | 2013-02-26 |
| 8387021 | Symbolic runtime checking of quantified contracts | Dries Vanoverberghe, Nikolai Tillmann, Nikolaj S. Bjorner, Wolfram Schulte | 2013-02-26 |
| 8180786 | Symbolic query exploration | Margus Veanes, Nikolai Tillmann, Pavel Grigorenko | 2012-05-15 |
| 7882495 | Bounded program failure analysis and correction | Nikolai Tillmann, Wolfram Schulte | 2011-02-01 |
| 7681180 | Parameterized test driven development | Nikolai Tillmann, Wolfram Schulte | 2010-03-16 |