| 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 |
