| 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 |
$196,769,000 |
| 10949427 |
Stream data processing on multiple application timelines |
Badrish Chandramouli, Jonathan D. Goldstein, James F. Terwilliger |
2021-03-16 |
$232,547,000 |
| 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 |
$43,879,000 |
| 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 |
$37,194,000 |
| 8250524 |
Contract programming for code error reduction |
Manuel A. Fahndrich, Brian Grunkemeyer, Wolfram Schulte |
2012-08-21 |
$14,505,000 |
| 7958489 |
Out of band data augmentation |
Henricus Johannes Maria Meijer, Jeffrey Van Gogh, Bruno S. Bozza, Brian C. Beckman, Wei Zhu |
2011-06-07 |
$21,540,000 |
| 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 |
$11,368,000 |
| 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 |
$14,156,000 |
| 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 |
$17,333,000 |
| 7493544 |
Extending test sequences to accepting states |
Andreas Blass, Colin Campbell, Lev Borisovich Nachmanson, Margus Veanes, Nikolai Tillmann +3 more |
2009-02-17 |
$27,209,000 |
| 7337388 |
Tool-based iterative document management |
Jacqueline Reid, Margus Veanes, Lev Borisovich Nachmanson |
2008-02-26 |
$32,154,000 |
| 7216338 |
Conformance execution of non-deterministic specifications for components |
Wolfram Schulte |
2007-05-08 |
$50,101,000 |
| 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 |
$49,415,000 |
| 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 |
$61,729,000 |
| 6557728 |
Musical toothpaste tube closure |
Jeffrey Blake Anderson |
2003-05-06 |
$96,019,000 |
| D341082 |
Paint container groove protector |
— |
1993-11-09 |
|
| 5167473 |
Unidirectional insert lock |
— |
1992-12-01 |
$4,922,000 |
