| 10936469 |
Software component verification using random selection on pooled devices |
Hyuk-Joon Kwon, Jakob F. Lichtenberg, Andrew M. Kluemke, Vikas Pabreja, Sebastian Lerner |
2021-03-02 |
| 10783058 |
Extensible device driver verification |
Hyuk-Joon Kwon, Jakob F. Lichtenberg, Andrew M. Kluemke, Sebastian Lerner |
2020-09-22 |
| 10467082 |
Device driver verification |
Markus W. Mielke, Jakob F. Lichtenberg, Remy L. De Weduwe, Hyuk-Joon Kwon, Nathan L. Deisinger +2 more |
2019-11-05 |
| 10452459 |
Device driver telemetry |
Markus W. Mielke, Jakob F. Lichtenberg, Remy L. De Weduwe, Hyuk-Joon Kwon, Nathan L. Deisinger +2 more |
2019-10-22 |
| 9519495 |
Timed API rules for runtime verification |
Juncao Li, Jakob F. Lichtenberg |
2016-12-13 |
| 8826238 |
Per group verification |
Adam Shapiro, Conal McGarvey, Jakob F. Lichtenberg |
2014-09-02 |
| 8595707 |
Processing predicates including pointer information |
Eleonora O. Bounimova, Leonardo M. de Moura, Thomas J. Ball |
2013-11-26 |
| 8402444 |
Program analysis through predicate abstraction and refinement |
Thomas J. Ball, Eleonora O. Bounimova, Rahul Kumar |
2013-03-19 |
| 8074205 |
Binary verification service |
Shankara M. C. Shastry, Perraju Bendapudi, Narayanan Ganapathy |
2011-12-06 |
| 7650595 |
Sound transaction-based reduction without cycle detection |
Shaz Qadeer, Sriram K. Rajamani, Robert A. Palmer, Jr. |
2010-01-19 |
