John Hatcliff
John Hatcliff
University Distinguished Professor, Department of Computing and Information Sciences, Kansas State
Verified email at - Homepage
Cited by
Cited by
Bandera: Extracting finite-state models from Java source code
JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, Robby, ...
Proceedings of the 22nd international conference on Software engineering …, 2000
Challenges and research directions in medical cyber–physical systems
I Lee, O Sokolsky, S Chen, J Hatcliff, E Jee, BG Kim, A King, ...
Proceedings of the IEEE 100 (1), 75-90, 2011
Bogor: an extensible and highly-modular software model checking framework
Robby, MB Dwyer, J Hatcliff
ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003
Slicing software for model construction
J Hatcliff, MB Dwyer, H Zheng
Higher-order and symbolic computation 13, 315-353, 2000
Cadena: An integrated development, analysis, and verification environment for component-based systems
J Hatcliff, X Deng, MB Dwyer, G Jung, VP Ranganath
25th International Conference on Software Engineering, 2003. Proceedings …, 2003
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012
Tool-supported program abstraction for finite-state verification
MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Pasreanu, RH Zheng, ...
Proceedings of the 23rd International Conference on Software Engineering …, 2001
High-confidence medical device software and systems
I Lee, GJ Pappas, R Cleaveland, J Hatcliff, BH Krogh, P Lee, H Rubin, ...
Computer 39 (4), 33-38, 2006
Using the Bandera tool set to model-check properties of concurrent Java software
J Hatcliff, M Dwyer
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
A generic account of continuation-passing styles
J Hatcliff, O Danvy
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
A formal study of slicing for multi-threaded programs with JVM concurrency primitives
J Hatcliff, J Corbett, M Dwyer, S Sokolowski, H Zheng
International Static Analysis Symposium, 1-18, 1999
A new foundation for control dependence and slicing for modern program structures
VP Ranganath, T Amtoft, A Banerjee, J Hatcliff, MB Dwyer
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 27-es, 2007
A language framework for expressing checkable properties of dynamic software
JC Corbett, MB Dwyer, J Hatcliff, Robby
International SPIN Workshop on Model Checking of Software, 205-223, 2000
Rationale and Architecture Principles for Medical Application Platforms
J Hatcliff, AL King, I Lee, A Macdonald, A Fernando, M Robkin, ...
International Conference on Cyber-Physical Systems (ICCPS 2012), 3-12, 2012
Certifiably safe software-dependent systems: challenges and directions
J Hatcliff, A Wassyng, T Kelly, C Comar, P Jones
Future of Software Engineering Proceedings, 182-200, 2014
Extending JML for modular specification and verification of multi-threaded programs
E Rodriguez, M Dwyer, C Flanagan, J Hatcliff, GT Leavens, Robby
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
Slicing concurrent Java programs using Indus and Kaveri
VP Ranganath, J Hatcliff
International Journal on Software Tools for Technology Transfer 9 (5), 489-504, 2007
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
MB Dwyer, J Hatcliff, Robby, VP Ranganath
Formal Methods in System Design 25, 199-240, 2004
Expressing checkable properties of dynamic systems: the Bandera Specification Language
JC Corbett, MB Dwyer, J Hatcliff, Robby
International Journal on Software Tools for Technology Transfer 4, 34-56, 2002
Verifying atomicity specifications for concurrent object-oriented software using model-checking
J Hatcliff, Robby, MB Dwyer
International Workshop on Verification, Model Checking, and Abstract …, 2004
The system can't perform the operation now. Try again later.
Articles 1–20