Issued Patents All Time
Showing 26–33 of 33 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7584463 | State as a first-class citizen of an imperative language | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte | 2009-09-01 |
| 7548911 | Diagnosing problems in distributed systems | Siddhartha Sen, Joseph M. Joy, Colin Campbell, Margus Veanes | 2009-06-16 |
| 7500149 | Generating finite state machines for software systems with asynchronous callbacks | Wolfgang Grieskamp, Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett +1 more | 2009-03-03 |
| 7500226 | Efficient checking of state-dependent constraints | Wolfgang Grieskamp, Wolfram Schulte | 2009-03-03 |
| 7496791 | Mock object generation by symbolic execution | Wolfgang Grieskamp, 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 |
| 7444622 | Access driven filtering | Wolfgang Grieskamp, Wolfram Schulte | 2008-10-28 |
| 7363202 | State exploration using multiple state groupings | Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Wolfgang Grieskamp, Wolfram Schulte | 2008-04-22 |