John Hatcliff
John Hatcliff
University Distinguished Professor, Department of Computing and Information Sciences, Kansas State University
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 Pasareanu, H Zheng
Proceedings of the 2000 International Conference on Software Engineering …, 2000
14772000
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
3282011
Bogor: an extensible and highly-modular software model checking framework
MB Dwyer, J Hatcliff
ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003
3232003
Slicing software for model construction
J Hatcliff, MB Dwyer, H Zheng
Higher-order and symbolic computation 13 (4), 315-353, 2000
2672000
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
2442003
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
1922001
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012
1782012
Using the Bandera tool set to model-check properties of concurrent Java software
J Hatcliff, M Dwyer
International Conference on Concurrency Theory, 39-58, 2001
1652001
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
1632006
A generic account of continuation-passing styles
J Hatcliff, O Danvy
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
1571994
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
1561999
A language framework for expressing checkable properties of dynamic software
JC Corbett, MB Dwyer, J Hatcliff
International SPIN Workshop on Model Checking of Software, 205-223, 2000
1082000
Expressing checkable properties of dynamic systems: the Bandera Specification Language
JC Corbett, MB Dwyer, J Hatcliff
International Journal on Software Tools for Technology Transfer 4 (1), 34-56, 2002
992002
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
932012
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
932007
Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
MB Dwyer, J Hatcliff, VP Ranganath
Formal Methods in System Design 25 (2-3), 199-240, 2004
922004
Partial evaluation: international seminar, Dagstuhl Castle, Germany, February 12-16, 1996: selected papers
O Danvy, R Glück
Springer, 1996
90*1996
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
X Deng, MB Dwyer, J Hatcliff, M Mizuno
Proceedings of the 24th International Conference on Software Engineering …, 2002
892002
Extending JML for modular specification and verification of multi-threaded programs
E Rodríguez, M Dwyer, C Flanagan, J Hatcliff, GT Leavens
European Conference on Object-Oriented Programming, 551-576, 2005
862005
Slicing concurrent Java programs using Indus and Kaveri
VP Ranganath, J Hatcliff
International Journal on Software Tools for Technology Transfer 9 (5-6), 489-504, 2007
822007
The system can't perform the operation now. Try again later.
Articles 1–20