| 1998 |
|---|
| 4 | | Adrian J. Isles,
Ramin Hojati,
Robert K. Brayton:
Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory.
CAV 1998: 256-267 |
| 3 | EE | Pei-Hsin Ho,
Adrian J. Isles,
Timothy Kam:
Formal verification of pipeline control using controlled token nets and abstract interpretation.
ICCAD 1998: 529-536 |
| 1997 |
|---|
| 2 | EE | Amit Narayan,
Adrian J. Isles,
Jawahar Jain,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Reachability analysis using partitioned-ROBDDs.
ICCAD 1997: 388-393 |
| 1996 |
|---|
| 1 | | Ramin Hojati,
Adrian J. Isles,
Desmond Kirkpatrick,
Robert K. Brayton:
Verification Using Uninterpreted Functions and Finite Instantiations.
FMCAD 1996: 218-232 |
