 | 2009 |
|---|
| 6 |       | Peter C. Dillinger,
Panagiotis Manolios:
Fast, All-Purpose State Storage.
SPIN 2009: 12-31 |
| 2007 |
|---|
| 5 | | Peter C. Dillinger,
Panagiotis Manolios,
Daron Vroon,
J. Strother Moore:
ACL2s: "The ACL2 Sedan".
ICSE Companion 2007: 59-60 |
| 4 | | Peter C. Dillinger,
Panagiotis Manolios,
Daron Vroon,
J. Strother Moore:
ACL2s: "The ACL2 Sedan".
Electr. Notes Theor. Comput. Sci. 174(2): 3-18 (2007) |
| 2005 |
|---|
| 3 | | Peter C. Dillinger,
Panagiotis Manolios:
Enhanced Probabilistic Verification with 3Spin and 3Murphi.
SPIN 2005: 272-276 |
| 2004 |
|---|
| 2 | | Peter C. Dillinger,
Panagiotis Manolios:
Bloom Filters in Probabilistic Verification.
FMCAD 2004: 367-381 |
| 1 | | Peter C. Dillinger,
Panagiotis Manolios:
Fast and Accurate Bitstate Verification for SPIN.
SPIN 2004: 57-75 |
