| 2003 |
|---|
| 6 | EE | Alan J. Hu,
Jeremy Casas,
Jin Yang:
Reasoning about GSTE Assertion Graphs.
CHARME 2003: 170-184 |
| 5 | EE | Alan J. Hu,
Jeremy Casas,
Jin Yang:
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.
ICCAD 2003: 154-160 |
| 2000 |
|---|
| 4 | EE | Venkatram Krishnaswamy,
Jeremy Casas,
Thomas Tetzlaff:
A switch level fault simulation environment.
DAC 2000: 780-785 |
| 1999 |
|---|
| 3 | EE | Jeremy Casas,
Hannah Honghua Yang,
Manpreet Khaira,
Mandar Joshi,
Thomas Tetzlaff,
Steve W. Otto,
Erik Seligman:
Logic Verification of Very Large Circuits Using Shark.
VLSI Design 1999: 310-317 |
| 1995 |
|---|
| 2 | | Jeremy Casas,
Dan L. Clark,
Ravi B. Konuru,
Steve W. Otto,
Robert M. Prouty,
Jonathan Walpole:
MPVM: A Migration Transparent Version of PVM.
Computing Systems 8(2): 171-216 (1995) |
| 1994 |
|---|
| 1 | EE | Jeremy Casas,
Ravi B. Konuru,
Steve W. Otto,
Robert M. Prouty,
Jonathan Walpole:
Adaptive load migration systems for PVM.
SC 1994: 390-399 |
