| 2007 |
|---|
| 7 | EE | Sandip Ray,
Jayanta Bhadra:
A Mechanized Refinement Framework for Analysis of Custom Memories.
FMCAD 2007: 239-242 |
| 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 |
