Issued Patents All Time
Showing 1–18 of 18 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11983223 | Finite automaton construction using regular expression derivatives to simulate behavior of a backtracking engine | Olli Ilari Saarikivi, Stephen H. Toub, Daniel J. Moseley, Jose Rodrigo Perez Rodriguez | 2024-05-14 |
| 9946354 | Gesture processing using a domain-specific gesture language | Benjamin Livshits, Loris D'Antoni, Lucas S. Figueiredo, David Molnar | 2018-04-17 |
| 9355268 | Managing access by applications to perceptual information | Loris D'Antoni, Alan M. Dunn, Suman Kumar Jana, Tadayoshi Kohno, Benjamin Livshits +6 more | 2016-05-31 |
| 8515891 | Symbolic finite automata | Jonathan Paul de Halleux, Nikolai Tillmann | 2013-08-20 |
| 8180786 | Symbolic query exploration | Nikolai Tillmann, Jonathan Paul de Halleux, Pavel Grigorenko | 2012-05-15 |
| 8103495 | Feature oriented protocol modeling | Colin Campbell, Wolfram Schulte | 2012-01-24 |
| 7926025 | Symbolic program model compositions | Colin Campbell, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte | 2011-04-12 |
| 7747985 | Conformance testing of multi-threaded and distributed software systems | Colin Campbell, Lev Borisovich Nachmanson, Michael Barnett, Nikolai Tillmann, Wolfgang Grieskamp +1 more | 2010-06-29 |
| 7665072 | Generating test cases for software with complex preconditions | Nikolai Tillman, Colin Campbell, Wolfgang Grieskamp, Lev Borisovich Nachmanson, Wolfram Schulte | 2010-02-16 |
| 7590520 | Non-deterministic testing | Lev Borisovich Nachmanson, Wolfgang Grieskamp, Nikolai Tillmann | 2009-09-15 |
| 7548911 | Diagnosing problems in distributed systems | Siddhartha Sen, Joseph M. Joy, Nikolai Tillmann, Colin Campbell | 2009-06-16 |
| 7500149 | Generating finite state machines for software systems with asynchronous callbacks | Wolfgang Grieskamp, Colin Campbell, Lev Borisovich Nachmanson, Michael Barnett, Nikolai Tillmann +1 more | 2009-03-03 |
| 7493544 | Extending test sequences to accepting states | Andreas Blass, Colin Campbell, Lev Borisovich Nachmanson, Michael Barnett, Nikolai Tillmann +3 more | 2009-02-17 |
| 7363202 | State exploration using multiple state groupings | Colin Campbell, Lev Borisovich Nachmanson, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann | 2008-04-22 |
| 7337388 | Tool-based iterative document management | Michael Barnett, Jacqueline Reid, Lev Borisovich Nachmanson | 2008-02-26 |
| 7284235 | Creation of content versions using content layers | Lev Borisovich Nachmanson | 2007-10-16 |
| 7149678 | High level executable network abstract machine | Yuri Gurevich, Uwe Glässer | 2006-12-12 |
| 7088864 | Generating a test suite from an abstract state machine | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte | 2006-08-08 |