| 2009 |
|---|
| 11 | EE | Matt Kaufmann,
J. Strother Moore,
Sandip Ray,
Erik Reeber:
Integrating external deduction tools with ACL2.
J. Applied Logic 7(1): 3-25 (2009) |
| 2008 |
|---|
| 10 | EE | Sandip Ray,
Warren A. Hunt Jr.,
John Matthews,
J. Strother Moore:
A Mechanical Analysis of Program Verification Strategies.
J. Autom. Reasoning 40(4): 245-269 (2008) |
| 9 | 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 |
|---|
| 8 | EE | Sandip Ray,
Jayanta Bhadra:
A Mechanized Refinement Framework for Analysis of Custom Memories.
FMCAD 2007: 239-242 |
| 7 | EE | Sandip Ray,
Warren A. Hunt Jr.:
Mechanized Certification of Secure Hardware Designs.
MTV 2007: 25-32 |
| 6 | EE | Jayanta Bhadra,
Magdy S. Abadir,
Li-C. Wang,
Sandip Ray:
A Survey of Hybrid Techniques for Functional Verification.
IEEE Design & Test of Computers 24(2): 112-122 (2007) |
| 5 | EE | Sandip Ray,
Rob Sumners:
Combining Theorem Proving with Model Checking through Predicate Abstraction.
IEEE Design & Test of Computers 24(2): 132-139 (2007) |
| 2006 |
|---|
| 4 | EE | Sandip Ray:
Quantification in tail-recursive function definitions.
ACL2 2006: 95-98 |
| 3 | EE | John Matthews,
J. Strother Moore,
Sandip Ray,
Daron Vroon:
Verification Condition Generation Via Theorem Proving.
LPAR 2006: 362-376 |
| 2004 |
|---|
| 2 | EE | Sandip Ray,
Warren A. Hunt Jr.:
Deductive Verification of Pipelined Machines Using First-Order Quantification.
CAV 2004: 31-43 |
| 1 | EE | Sandip Ray,
J. Strother Moore:
Proof Styles in Operational Semantics.
FMCAD 2004: 67-81 |
