Issued Patents All Time
Showing 1–22 of 22 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12417509 | System and method of controlling equipment based on data transferred in-band in video via optically encoded images | — | 2025-09-16 |
| 11787144 | System and method for cutting sheets for use in the production of boxes | — | 2023-10-17 |
| 11557015 | System and method of data transfer in-band in video via optically encoded images | — | 2023-01-17 |
| 11093218 | Dynamic pattern matching code generation | Badrish Chandramouli, Jonathan D. Goldstein, James F. Terwilliger | 2021-08-17 |
| 10949427 | Stream data processing on multiple application timelines | Badrish Chandramouli, Jonathan D. Goldstein, James F. Terwilliger | 2021-03-16 |
| 9697262 | Analytical data processing engine | Badrish Chandramouli, John Wernsing, Jonathan D. Goldstein, John C. Platt | 2017-07-04 |
| 9286039 | Operating system support for contracts | John Duffy, Jared Porter Parsons, Colin Gordon, Alexander Daniel Bromfield, Martin Taillefer +1 more | 2016-03-15 |
| 8782607 | Contract failure behavior with escalation policy | Melitta Andersen, Manuel A. Fahndrich, Brian Grunkemeyer, Katherine E. King, Michael M. Magruder +2 more | 2014-07-15 |
| 8250524 | Contract programming for code error reduction | Manuel A. Fahndrich, Brian Grunkemeyer, Wolfram Schulte | 2012-08-21 |
| 7958489 | Out of band data augmentation | Henricus Johannes Maria Meijer, Jeffrey Van Gogh, Bruno S. Bozza, Brian C. Beckman, Wei Zhu | 2011-06-07 |
| 7933815 | System and method for obtaining technical support services over a network | Ian Austin Hutty, James Duncan Waltham | 2011-04-26 |
| 7926037 | Hiding irrelevant facts in verification conditions | K. Rustan M. Leino | 2011-04-12 |
| 7747985 | Conformance testing of multi-threaded and distributed software systems | Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Nikolai Tillmann, Wolfgang Grieskamp +1 more | 2010-06-29 |
| 7500149 | Generating finite state machines for software systems with asynchronous callbacks | Wolfgang Grieskamp, Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Nikolai Tillmann +1 more | 2009-03-03 |
| 7493544 | Extending test sequences to accepting states | Andreas Blass, Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Nikolai Tillmann +3 more | 2009-02-17 |
| 7337388 | Tool-based iterative document management | Jacqueline Reid, Margus Veanes, Lev Borisovich Nachmanson | 2008-02-26 |
| 7216338 | Conformance execution of non-deterministic specifications for components | Wolfram Schulte | 2007-05-08 |
| 7013264 | System and method for matching a textual input to a lexical knowledge based and for utilizing results of that match | William B. Dolan, Stephen D. Richardson, Arul A. Menezes, Lucretia H. Vanderwende | 2006-03-14 |
| 6871174 | System and method for matching a textual input to a lexical knowledge base and for utilizing results of that match | William B. Dolan, Stephen D. Richardson, Arul A. Menezes, Lucretia H. Vanderwende | 2005-03-22 |
| 6557728 | Musical toothpaste tube closure | Jeffrey Blake Anderson | 2003-05-06 |
| D341082 | Paint container groove protector | — | 1993-11-09 |
| 5167473 | Unidirectional insert lock | — | 1992-12-01 |