| TRANSIT: specifying protocols with concolic snippets | 29 | 1.00 | 2013 |
| An axiomatic memory model for POWER multiprocessors | 48 | 1.26 | 2012 |
| Litmus tests for comparing memory consistency models: how long do they need to be? | 5 | 0.43 | 2011 |
| Generating litmus tests for contrasting memory consistency models | 23 | 0.82 | 2010 |
| Formal verification of backward compatibility of microcode | 24 | 1.29 | 2005 |
| Multiple-counterexample guided iterative abstraction refinement: an industrial evaluation | 39 | 1.47 | 2003 |
| Input Elimination and Abstraction in Model Checking | 6 | 0.60 | 1998 |
