Adrian J. Isles

Formal verification of pipeline control using controlled token nets and abstract interpretation

Timothy Kam, Pei-Hsin Ho, Adrian J. Isles, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Reachability analysis using partitioned-ROBDDs

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Amit Narayan, 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory

Robert K. Brayton, Ramin Hojati, Adrian J. Isles, 1998, CAV.

Verification Using Uninterpreted Functions and Finite Instantiations

Robert K. Brayton, Ramin Hojati, Desmond Kirkpatrick, 1996, FMCAD.