Issued Patents All Time
Showing 1–8 of 8 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12093160 | IoT event detector correctness verification | Vaibhav Sharma, Andrew Jude Gacek, Saswat Padhi, Andrew Apicelli, Raveesh Yadav +7 more | 2024-09-17 |
| 11797317 | Transitioning legacy software to be provably correct | Sean McLaughlin, Tongtong Xiang, Matthias Schlaipfer, Neha Rungta, Serdar Tasiran +1 more | 2023-10-24 |
| 11093641 | Anonymizing sensitive data in logic problems for input to a constraint solver | Carsten Varming, Neha Rungta, Andrew Judge Gacek, Murphy Berzish | 2021-08-17 |
| 8726241 | Method and system for the development of high-assurance computing elements | Philippe M. T. Limondin, T. Douglas Hiratzka, John Mettenburg, David F. Leskowicz | 2014-05-13 |
| 8041554 | Method and system for the development of high-assurance microcode | Philippe M. T. Limondin, T. Douglas Hiratzka, David S. Hardin | 2011-10-18 |
| 7640536 | Variable graph minimization for improved model-checking performance | Steven P. Miller | 2009-12-29 |
| 7063401 | Systems and methods for determining printhead in a print position | Marcia D. Haney, David W. Hanks, Mark H. Cowan | 2006-06-20 |
| 7059702 | Systems and methods for determining printhead in a standby position | Marcia D. Haney, David W. Hanks, Mark H. Cowan | 2006-06-13 |