| 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 |
$541,703,000 |
| 9946354 |
Gesture processing using a domain-specific gesture language |
Benjamin Livshits, Loris D'Antoni, Lucas S. Figueiredo, David Molnar |
2018-04-17 |
$52,531,000 |
| 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 |
$40,945,000 |
| 8515891 |
Symbolic finite automata |
Jonathan Paul de Halleux, Nikolai Tillmann |
2013-08-20 |
$25,328,000 |
| 8180786 |
Symbolic query exploration |
Nikolai Tillmann, Jonathan Paul de Halleux, Pavel Grigorenko |
2012-05-15 |
$19,036,000 |
| 8103495 |
Feature oriented protocol modeling |
Colin Campbell, Wolfram Schulte |
2012-01-24 |
$16,228,000 |
| 7926025 |
Symbolic program model compositions |
Colin Campbell, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte |
2011-04-12 |
$11,368,000 |
| 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 |
$14,156,000 |
| 7665072 |
Generating test cases for software with complex preconditions |
Nikolai Tillman, Colin Campbell, Wolfgang Grieskamp, Lev Borisovich Nachmanson, Wolfram Schulte |
2010-02-16 |
$17,946,000 |
| 7590520 |
Non-deterministic testing |
Lev Borisovich Nachmanson, Wolfgang Grieskamp, Nikolai Tillmann |
2009-09-15 |
$22,769,000 |
| 7548911 |
Diagnosing problems in distributed systems |
Siddhartha Sen, Joseph M. Joy, Nikolai Tillmann, Colin Campbell |
2009-06-16 |
$26,863,000 |
| 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 |
$17,333,000 |
| 7493544 |
Extending test sequences to accepting states |
Andreas Blass, Colin Campbell, Lev Borisovich Nachmanson, Michael Barnett, Nikolai Tillmann +3 more |
2009-02-17 |
$27,209,000 |
| 7363202 |
State exploration using multiple state groupings |
Colin Campbell, Lev Borisovich Nachmanson, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann |
2008-04-22 |
$29,927,000 |
| 7337388 |
Tool-based iterative document management |
Michael Barnett, Jacqueline Reid, Lev Borisovich Nachmanson |
2008-02-26 |
$32,154,000 |
| 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 |
$25,378,000 |
| 7088864 |
Generating a test suite from an abstract state machine |
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte |
2006-08-08 |
$31,016,000 |
