Follow
John Hatcliff
John Hatcliff
University Distinguished Professor, Department of Computing and Information Sciences, Kansas State
Verified email at ksu.edu - Homepage
Title
Cited by
Cited by
Year
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
15782000
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
4962011
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
3472003
Slicing software for model construction
J Hatcliff, MB Dwyer, H Zheng
Higher-order and symbolic computation 13, 315-353, 2000
2822000
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
2672003
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012
2382012
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
2052001
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
1902006
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
1852001
A generic account of continuation-passing styles
J Hatcliff, O Danvy
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
1841994
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
1641999
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
1382007
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
1142014
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
1112000
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
1102012
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
982005
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
972007
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
962004
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
952004
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
952002
The system can't perform the operation now. Try again later.
Articles 1–20