| Effective Verification for Low-Level Software with Competing Interrupts. | 1 | 0.48 | 2018 |
| Verification of tree-based hierarchical read-copy update in the Linux kernel | 3 | 0.36 | 2018 |
| Effective verification of low-level software with nested interrupts | 8 | 0.52 | 2015 |
