Suivre
John Hatcliff
John Hatcliff
University Distinguished Professor, Department of Computing and Information Sciences, Kansas State University
Adresse e-mail validée de ksu.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Bandera: Extracting finite-state models from Java source code
JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, H Zheng
Proceedings of the 22nd international conference on Software engineering …, 2000
15572000
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
4472011
Bogor: an extensible and highly-modular software model checking framework
MB Dwyer, J Hatcliff
ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003
3422003
Slicing software for model construction
J Hatcli, MB Dwyer, H Zheng
Higher-order and symbolic computation 13 (4), 315-254, 2000
2792000
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
2652003
Behavioral interface specification languages
J Hatcliff, GT Leavens, KRM Leino, P Müller, M Parkinson
ACM Computing Surveys (CSUR) 44 (3), 1-58, 2012
2102012
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
2032001
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
1832006
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
1802001
A generic account of continuation-passing styles
J Hatcliff, O Danvy
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
1701994
A formal study of slicing for multi-threaded programs with JVM concurrency primitives
J Hatcliff, J Corbett, M Dwyer, S Sokolowski, H Zheng
Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999
1601999
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
1182007
A language framework for expressing checkable properties of dynamic software
JC Corbett, MB Dwyer, J Hatcliff
SPIN Model Checking and Software Verification: 7th International SPIN …, 2000
1142000
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
1072012
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
1022014
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, 34-56, 2002
972002
Extending JML for modular specification and verification of multi-threaded programs
E Rodriguez, M Dwyer, C Flanagan, J Hatcliff, GT Leavens
ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005
962005
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, 199-240, 2004
952004
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
932007
Verifying atomicity specifications for concurrent object-oriented software using model-checking
J Hatcliff, MB Dwyer
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004
902004
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20