Search the dblp DataBase
John Hatcliff :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
John Hatcliff , Matthew B. Dwyer , Corina S. Pasareanu , Robby Foundations of the Bandera Abstraction Tools. [Citation Graph (0, 0)][DBLP ] The Essence of Computation, 2002, pp:172-203 [Conf ] Edwin Rodríguez , Matthew B. Dwyer , John Hatcliff , Robby A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. [Citation Graph (0, 0)][DBLP ] CASSIS, 2004, pp:210-228 [Conf ] Matthew B. Dwyer , John Hatcliff , Matthew Hoosier , Robby Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. [Citation Graph (0, 0)][DBLP ] CAV, 2005, pp:148-152 [Conf ] Venkatesh Prasad Ranganath , John Hatcliff Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. [Citation Graph (0, 0)][DBLP ] CC, 2004, pp:39-56 [Conf ] John Hatcliff , Matthew B. Dwyer Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. [Citation Graph (0, 0)][DBLP ] CONCUR, 2001, pp:39-58 [Conf ] John Hatcliff , Robert Glück Reasoning about Hierarchies of Online Program Specialization Systems. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Partial Evaluation, 1996, pp:161-182 [Conf ] Edwin Rodríguez , Matthew B. Dwyer , Cormac Flanagan , John Hatcliff , Gary T. Leavens , Robby Extending JML for Modular Specification and Verification of Multi-threaded Programs. [Citation Graph (0, 0)][DBLP ] ECOOP, 2005, pp:551-576 [Conf ] Matthew B. Dwyer , Robby , Xianghua Deng , John Hatcliff Space Reductions for Model Checking Quasi-Cyclic Systems. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2003, pp:173-189 [Conf ] Venkatesh Prasad Ranganath , Torben Amtoft , Anindya Banerjee , Matthew B. Dwyer , John Hatcliff A New Foundation for Control-Dependence and Slicing for Modern Program Structures. [Citation Graph (0, 0)][DBLP ] ESOP, 2005, pp:77-93 [Conf ] Adam Childs , Jesse Greenwald , Venkatesh Prasad Ranganath , Xianghua Deng , Matthew B. Dwyer , John Hatcliff , Georg Jung , Prashant Shanti , Gurdip Singh Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. [Citation Graph (0, 0)][DBLP ] FASE, 2004, pp:160-164 [Conf ] Ganeshan Jayaraman , Venkatesh Prasad Ranganath , John Hatcliff Kaveri: Delivering the Indus Java Program Slicer to Eclipse. [Citation Graph (0, 0)][DBLP ] FASE, 2005, pp:269-272 [Conf ] Georg Jung , John Hatcliff , Venkatesh Prasad Ranganath A Correlation Framework for the CORBA Component Model. [Citation Graph (0, 0)][DBLP ] FASE, 2004, pp:144-159 [Conf ] Xianghua Deng , Matthew B. Dwyer , John Hatcliff , Georg Jung , Robby , Gurdip Singh Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP ] FMCO, 2002, pp:154-181 [Conf ] James C. Corbett , Matthew B. Dwyer , John Hatcliff , Shawn Laubach , Corina S. Pasareanu , Robby , Hongjun Zheng Bandera: extracting finite-state models from Java source code. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:439-448 [Conf ] James C. Corbett , Matthew B. Dwyer , John Hatcliff , Robby Bandera: a source-level interface for model checking Java programs. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:762-765 [Conf ] Xianghua Deng , Matthew B. Dwyer , John Hatcliff , Masaaki Mizuno Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. [Citation Graph (0, 0)][DBLP ] ICSE, 2002, pp:442-452 [Conf ] Matthew B. Dwyer , John Hatcliff , Roby Joehanes , Shawn Laubach , Corina S. Pasareanu , Robby , Hongjun Zheng , Willem Visser Tool-Supported Program Abstraction for Finite-State Verification. [Citation Graph (0, 0)][DBLP ] ICSE, 2001, pp:177-187 [Conf ] John Hatcliff , Xinghua Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 2003, pp:160-173 [Conf ] Matthew Hoosier , Matthew B. Dwyer , Robby , John Hatcliff A Case Study in Domain-Customized Model Checking for Real-Time Component Software. [Citation Graph (0, 0)][DBLP ] ISoLA, 2004, pp:161-180 [Conf ] Robby , Matthew B. Dwyer , John Hatcliff Domain-specific Model Checking Using The Bogor Framework. [Citation Graph (0, 0)][DBLP ] ASE, 2006, pp:369-370 [Conf ] Robert Glück , John Hatcliff , Jesper Jørgensen Generalization in Hierarchies of Online Program Specialization Systems. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1998, pp:179-198 [Conf ] Olivier Danvy , John Hatcliff On the Transformation between Direct and Continuation Semantics. [Citation Graph (0, 0)][DBLP ] MFPS, 1993, pp:627-648 [Conf ] Venkatesh Prasad Ranganath , Adam Childs , Jesse Greenwald , Matthew B. Dwyer , John Hatcliff , Gurdip Singh Cadena: enabling CCM-based application development in Eclipse. [Citation Graph (0, 0)][DBLP ] OOPSLA Workshop on Eclipse Technology eXchange, 2003, pp:20-24 [Conf ] Matthew B. Dwyer , John Hatcliff Slicing Software for Model Construction. [Citation Graph (0, 0)][DBLP ] PEPM, 1999, pp:105-118 [Conf ] John Hatcliff An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. [Citation Graph (0, 0)][DBLP ] Partial Evaluation, 1998, pp:20-82 [Conf ] John Hatcliff , William Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath , Robby Slicing and partial evaluation of CORBA component model designs for avionics system. [Citation Graph (0, 0)][DBLP ] PEPM, 2003, pp:1-2 [Conf ] Gilles Barthe , John Hatcliff , Morten Heine Sørensen Reflections on Reflections. [Citation Graph (0, 0)][DBLP ] PLILP, 1997, pp:241-258 [Conf ] John Hatcliff Mechanically Verifying the Correctness of an Offline Partial Evaluator [Citation Graph (0, 0)][DBLP ] PLILP, 1995, pp:279-298 [Conf ] John Hatcliff , Matthew B. Dwyer , Shawn Laubach Staging Static Analyses Using Abstraction-Based Program Specialization. [Citation Graph (0, 0)][DBLP ] PLILP/ALP, 1998, pp:134-151 [Conf ] John Hatcliff , Olivier Danvy A Generic Account of Continuation-Passing Styles. [Citation Graph (0, 0)][DBLP ] POPL, 1994, pp:458-471 [Conf ] Olivier Danvy , John Hatcliff Thunks (Continued). [Citation Graph (0, 0)][DBLP ] WSA, 1992, pp:3-11 [Conf ] John Hatcliff , James C. Corbett , Matthew B. Dwyer , Stefan Sokolowski , Hongjun Zheng A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. [Citation Graph (0, 0)][DBLP ] SAS, 1999, pp:1-18 [Conf ] Robby , Matthew B. Dwyer , John Hatcliff Bogor: an extensible and highly-modular software model checking framework. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2003, pp:267-276 [Conf ] James C. Corbett , Matthew B. Dwyer , John Hatcliff , Robby A Language Framework for Expressing Checkable Properties of Dynamic Software. [Citation Graph (0, 0)][DBLP ] SPIN, 2000, pp:205-223 [Conf ] Xianghua Deng , Matthew B. Dwyer , John Hatcliff , Masaaki Mizuno SyncGen: An Aspect-Oriented Framework for Synchronization. [Citation Graph (0, 0)][DBLP ] TACAS, 2004, pp:158-162 [Conf ] Matthew B. Dwyer , John Hatcliff , Matthew Hoosier , Venkatesh Prasad Ranganath , Robby , Todd Wallentine Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:73-89 [Conf ] Robby , Edwin Rodríguez , Matthew B. Dwyer , John Hatcliff Checking Strong Specifications Using an Extensible Software Model Checking Framework. [Citation Graph (0, 0)][DBLP ] TACAS, 2004, pp:404-420 [Conf ] Robby , Matthew B. Dwyer , John Hatcliff Bogor: A Flexible Framework for Creating Software Model Checkers. [Citation Graph (0, 0)][DBLP ] TAIC PART, 2006, pp:3-22 [Conf ] John Hatcliff , Robby , Matthew B. Dwyer Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. [Citation Graph (0, 0)][DBLP ] VMCAI, 2004, pp:175-190 [Conf ] Adam Childs , Jesse Greenwald , Georg Jung , Matthew Hoosier , John Hatcliff CALM and Cadena: Metamodeling for Component-Based Product-Line Development. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2006, v:39, n:2, pp:42-50 [Journal ] Insup Lee , George J. Pappas , Rance Cleaveland , John Hatcliff , Bruce H. Krogh , Peter Lee , Harvey Rubin , Lui Sha High-Confidence Medical Device Software and Systems. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 2006, v:39, n:4, pp:33-38 [Journal ] Matthew B. Dwyer , John Hatcliff , Muhammad Nanda Using Partial Evaluation to Enable Verification of Concurrent Software. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1998, v:30, n:3es, pp:22- [Journal ] John Hatcliff Foundations for Partial Evaluation of Functional Programs with Computational Effects. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1998, v:30, n:3es, pp:13- [Journal ] Gilles Barthe , John Hatcliff , Morten Heine Sørensen A notion of classical pure type system. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:4-59 [Journal ] Gilles Barthe , John Hatcliff , Peter Thiemann Monadic Type Systems: Pure Type Systems for Impure Settings. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal ] Robby , Matthew B. Dwyer , John Hatcliff , Radu Iosif Space-Reduction Strategies for Model Checking Dynamic Software. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal ] Matthew B. Dwyer , John Hatcliff , Robby , Venkatesh Prasad Ranganath Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2004, v:25, n:2-3, pp:199-240 [Journal ] Radu Iosif , Matthew B. Dwyer , John Hatcliff Translating Java for Multiple Model Checkers: The Bandera Back-End. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2005, v:26, n:2, pp:137-180 [Journal ] John Hatcliff , Olivier Danvy Thunks and the lambda-Calculus. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1997, v:7, n:3, pp:303-319 [Journal ] Gilles Barthe , John Hatcliff , Morten Heine Sørensen CPS Translations and Applications: The Cube and Beyond. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 1999, v:12, n:2, pp:125-170 [Journal ] John Hatcliff , Matthew B. Dwyer , Hongjun Zheng Slicing Software for Model Construction. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:315-353 [Journal ] Olivier Danvy , John Hatcliff CPS-Transformation After Strictness Analysis. [Citation Graph (0, 0)][DBLP ] LOPLAS, 1992, v:1, n:3, pp:195-212 [Journal ] John Hatcliff , Olivier Danvy A Computational Formalization for Partial Evaluation. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:507-541 [Journal ] Mark W. Bailey , John Hatcliff , Frank Tip PEPM 2006 paper abstracts. [Citation Graph (0, 0)][DBLP ] SIGPLAN Notices, 2006, v:41, n:3, pp:4-8 [Journal ] James C. Corbett , Matthew B. Dwyer , John Hatcliff , Robby Expressing checkable properties of dynamic systems: the Bandera Specification Language. [Citation Graph (0, 0)][DBLP ] STTT, 2002, v:4, n:1, pp:34-56 [Journal ] Robby , Edwin Rodríguez , Matthew B. Dwyer , John Hatcliff Checking JML specifications using an extensible software model checking framework. [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:3, pp:280-299 [Journal ] Hubert Garavel , John Hatcliff Why you should definitely read this special section. [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:1, pp:1-3 [Journal ] Gilles Barthe , John Hatcliff , Morten Heine Sørensen An induction principle for pure type systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:266, n:1-2, pp:773-818 [Journal ] Gilles Barthe , John Hatcliff , Morten Heine Sørensen Weak normalization implies strong normalization in a class of non-dependent pure type systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:269, n:1-2, pp:317-361 [Journal ] Hubert Garavel , John Hatcliff TACAS 2003 Special Issue - Preface. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:354, n:2, pp:169-172 [Journal ] Venkatesh Prasad Ranganath , Torben Amtoft , Anindya Banerjee , John Hatcliff , Matthew B. Dwyer A new foundation for control dependence and slicing for modern program structures. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal ] Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. [Citation Graph (, )][DBLP ] Specification and Checking of Software Contracts for Conditional Information Flow. [Citation Graph (, )][DBLP ] A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. [Citation Graph (, )][DBLP ] Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. [Citation Graph (, )][DBLP ] Formal Software Analysis Emerging Trends in Software Model Checking. [Citation Graph (, )][DBLP ] An open test bed for medical device integration and coordination. [Citation Graph (, )][DBLP ] Demonstration of a medical device integration and coordination framework. [Citation Graph (, )][DBLP ] A Case Study in Domain-customized Model Checking for Real-time Component Software. [Citation Graph (, )][DBLP ] Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. [Citation Graph (, )][DBLP ] Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. [Citation Graph (, )][DBLP ] Supporting model checking education using BOGOR/Eclipse. [Citation Graph (, )][DBLP ] A Software Certification Consortium and its Top 9 Hurdles. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.491secs