John Hatcliff

Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

Computing, Computer Science, Formal Methods +15

Challenges and Research Directions in Medical Cyber–Physical Systems

Insup Lee, Oleg Sokolsky, Sanjian Chen et al. · Proceedings of the IEEE · 2011 · 366 citations · Full text

Engineering, Autonomous Systems, Systems Engineering +17

Bogor

Robby, Matthew B. Dwyer, John Hatcliff · 2003 · 208 citations

Computing, Computer Science, Formal Methods +12

Slicing Software for Model Construction

John Hatcliff, Matthew B. Dwyer, Hongjun Zheng · LISP and Symbolic Computation · 2000 · 158 citations

Engineering, Computer Science, Systems Engineering +12

Bandera: extracting finite-state models from Java source code

J.C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium · 2002 · 147 citations

Computing, Computer Engineering, Computer Science +16