| 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 | 1575 | 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 | 492 | 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 | 347 | 2003 |
| Slicing software for model construction J Hatcliff, MB Dwyer, H Zheng Higher-order and symbolic computation 13, 315-353, 2000 | 282 | 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 | 266 | 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 | 236 | 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 | 205 | 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 | 190 | 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 | 185 | 2001 |
| A generic account of continuation-passing styles J Hatcliff, O Danvy Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994 | 183 | 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 | 163 | 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 | 137 | 2007 |
| 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 | 112 | 2014 |
| 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 | 111 | 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 | 110 | 2012 |
| 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 | 98 | 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 | 97 | 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 | 96 | 2004 |
| 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 | 94 | 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 | 94 | 2002 |
