Adrian J. Isles

According to our database, Adrian J. Isles authored at least 4 papers between 1996 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

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

Pei-Hsin Ho, Adrian J. Isles, Timothy Kam

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

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

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

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Reachability analysis using partitioned-ROBDDs.

Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996

Verification Using Uninterpreted Functions and Finite Instantiations.

Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996