Concepedia

Adrian J. Isles

AJ

Statistics

Publications

2

Citations

122

H-Index

2

Active since

1997

Affiliations

University of California, Berkeley(Current)

Adrian J. Isles is an author at University of California, Berkeley specializing in computer science, systems engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSystems EngineeringComputer EngineeringFlow ControlVerificationProcess Control

Publications per year

1997–1998

2

Publications

2

Reachability analysis using partitioned-ROBDDs

Amit Narayan, Adrian J. Isles, Jawahar Jain et al. · International Conference on Computer Aided Design · 1997 · 80 citations

Engineering, Reachability Problem, Survivable System +20

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

Pei-Hsin Ho, Adrian J. Isles, Timothy Kam · 1998 · 42 citations · Full text

Flow Control, Engineering, Verification +19

1–2 of 2