2008 |
13 | EE | David A. Greve,
Matt Kaufmann,
Panagiotis Manolios,
J. Strother Moore,
Sandip Ray,
José-Luis Ruiz-Reina,
R. O. B. Sumners,
Daron Vroon,
Matthew Wilding:
Efficient execution in an automated reasoning environment.
J. Funct. Program. 18(1): 15-46 (2008) |
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 |