| * | 2008 |
|---|
| 6 | EE | David A. Greve,
Matt Kaufmann,
Panagiotis Manolios,
J. Strother Moore,
Sandip Ray,
José-Luis Ruiz-Reina,
Rob Sumners,
Daron Vroon,
Matthew Wilding:
Efficient execution in an automated reasoning environment.
J. Funct. Program. 18(1): 15-46 (2008) |
| 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) |
| 4 | EE | Shobha Vasudevan,
Vinod Viswanath,
Robert W. Sumners,
Jacob A. Abraham:
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems.
IEEE Trans. Computers 56(10): 1401-1414 (2007) |
| 2000 |
|---|
| 3 | EE | Robert W. Sumners,
Jayanta Bhadra,
Jacob A. Abraham:
Automatic Validation Test Generation Using Extracted Control Models.
VLSI Design 2000: 312- |
| 1999 |
|---|
| 2 | EE | Robert W. Sumners,
Jayanta Bhadra,
Jacob A. Abraham:
Improving Witness Search Using Orders on States.
ICCD 1999: 452-457 |
| 1997 |
|---|
| 1 | EE | Robert W. Sumners,
Jacob A. Abraham:
Hierarchical Specification of System Behavior.
HASE 1997: 134-140 |
