Issued Patents All Time
Showing 1–16 of 16 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12376657 | Mobility assist device including exercising components, and systems and methods thereof | — | 2025-08-05 |
| 10683044 | Track changing apparatus and methods associated therewith | Guy Carrier, Camil Giguere, Michael Harris, Jr., Neil Hutton, John Beattie +1 more | 2020-06-16 |
| 9981704 | Track changing apparatus and methods associated therewith | Guy Carrier, Camil Giguere, Michael Harris, Jr., Neil Hutton, John Beattie +1 more | 2018-05-29 |
| 8798117 | Rake receiver methods and apparatus | Oliver Charlesworth | 2014-08-05 |
| 8401055 | Communications methods and apparatus | Oliver Charlesworth, Peter J. Worters | 2013-03-19 |
| 8133676 | Genetic process for multiplex terminal restriction fragment length polymorphism analysis | Brajesh Singh | 2012-03-13 |
| 8103495 | Feature oriented protocol modeling | Margus Veanes, Wolfram Schulte | 2012-01-24 |
| 7926025 | Symbolic program model compositions | Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte | 2011-04-12 |
| 7747985 | Conformance testing of multi-threaded and distributed software systems | Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann, Wolfgang Grieskamp +1 more | 2010-06-29 |
| 7665072 | Generating test cases for software with complex preconditions | Nikolai Tillman, Wolfgang Grieskamp, Lev Borisovich Nachmanson, Wolfram Schulte, Margus Veanes | 2010-02-16 |
| 7548911 | Diagnosing problems in distributed systems | Siddhartha Sen, Joseph M. Joy, Nikolai Tillmann, Margus Veanes | 2009-06-16 |
| 7500149 | Generating finite state machines for software systems with asynchronous callbacks | Wolfgang Grieskamp, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann +1 more | 2009-03-03 |
| 7493544 | Extending test sequences to accepting states | Andreas Blass, Lev Borisovich Nachmanson, Margus Veanes, Michael Barnett, Nikolai Tillmann +3 more | 2009-02-17 |
| 7363202 | State exploration using multiple state groupings | Lev Borisovich Nachmanson, Margus Veanes, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann | 2008-04-22 |
| D438703 | Container | — | 2001-03-13 |
| 5764241 | Method and system for modeling and presenting integrated media with a declarative modeling language for representing reactive behavior | Conal M. Elliott, Todd B. Knoblock, Greg Schechter, Salim AbiEzzi, Chun-Fu Ricky Yeung | 1998-06-09 |