Adrian J. Isles

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Pei-Hsin Ho, Adrian J. Isles, Timothy Kam
Formal verification of pipeline control using controlled token nets and abstract interpretation. ICCAD (1998)
Adrian J. Isles, Ramin Hojati, Robert K. Brayton
Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. CAV (1998)
Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Reachability analysis using partitioned-ROBDDs. ICCAD (1997)
Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton
Verification Using Uninterpreted Functions and Finite Instantiations. FMCAD (1996)