| 12067421 |
Advanced memory tracking for kernel mode drivers |
Hyuk-Joon Kwon, Sandeep Repaka, Andrew M. Kluemke, Sebastian Lerner, Matthew John Woolman +1 more |
2024-08-20 |
| 10936469 |
Software component verification using random selection on pooled devices |
Hyuk-Joon Kwon, Vladimir A. Levin, Andrew M. Kluemke, Vikas Pabreja, Sebastian Lerner |
2021-03-02 |
| 10783058 |
Extensible device driver verification |
Hyuk-Joon Kwon, Vladimir A. Levin, Andrew M. Kluemke, Sebastian Lerner |
2020-09-22 |
| 10481969 |
Configurable system wide tests |
Conal McGarvey, Andrew D. Mikesell, Remy L. De Weduwe |
2019-11-19 |
| 10467082 |
Device driver verification |
Markus W. Mielke, Vladimir A. Levin, Remy L. De Weduwe, Hyuk-Joon Kwon, Nathan L. Deisinger +2 more |
2019-11-05 |
| 10452459 |
Device driver telemetry |
Markus W. Mielke, Vladimir A. Levin, Remy L. De Weduwe, Hyuk-Joon Kwon, Nathan L. Deisinger +2 more |
2019-10-22 |
| 9519495 |
Timed API rules for runtime verification |
Vladimir A. Levin, Juncao Li |
2016-12-13 |
| 8826238 |
Per group verification |
Adam Shapiro, Conal McGarvey, Vladimir A. Levin |
2014-09-02 |
