| 2007 |
|---|
| 12 | EE | Panagiotis Manolios,
Sudarshan K. Srinivasan,
Daron Vroon:
BAT: The Bit-Level Analysis Tool.
CAV 2007: 303-306 |
| 11 | EE | Peter C. Dillinger,
Panagiotis Manolios,
Daron Vroon,
J. Strother Moore:
ACL2s: "The ACL2 Sedan".
ICSE Companion 2007: 59-60 |
| 10 | EE | Panagiotis Manolios,
Daron Vroon,
Gayatri Subramanian:
Automating component-based system assembly.
ISSTA 2007: 61-72 |
| 9 | EE | Panagiotis Manolios,
Daron Vroon:
Efficient Circuit to CNF Conversion.
SAT 2007: 4-9 |
| 8 | EE | Peter C. Dillinger,
Panagiotis Manolios,
Daron Vroon,
J. Strother Moore:
ACL2s: "The ACL2 Sedan".
Electr. Notes Theor. Comput. Sci. 174(2): 3-18 (2007) |
| 2006 |
|---|
| 7 | EE | Panagiotis Manolios,
Daron Vroon:
Termination Analysis with Calling Context Graphs.
CAV 2006: 401-414 |
| 6 | EE | Panagiotis Manolios,
Sudarshan K. Srinivasan,
Daron Vroon:
Automatic memory reductions for RTL model verification.
ICCAD 2006: 786-793 |
| 5 | EE | Panagiotis Manolios,
Daron Vroon:
Integrating static analysis and general-purpose theorem proving for termination analysis.
ICSE 2006: 873-876 |
| 4 | EE | John Matthews,
J. Strother Moore,
Sandip Ray,
Daron Vroon:
Verification Condition Generation Via Theorem Proving.
LPAR 2006: 362-376 |
| 2005 |
|---|
| 3 | EE | Panagiotis Manolios,
Daron Vroon:
Ordinal Arithmetic: Algorithms and Mechanization.
J. Autom. Reasoning 34(4): 387-423 (2005) |
| 2004 |
|---|
| 2 | EE | Panagiotis Manolios,
Daron Vroon:
Integrating Reasoning About Ordinal Arithmetic into ACL2.
FMCAD 2004: 82-97 |
| 2003 |
|---|
| 1 | EE | Panagiotis Manolios,
Daron Vroon:
Algorithms for Ordinal Arithmetic.
CADE 2003: 243-257 |
