John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with ArraysTorben Amtoft, John Hatcliff, Edwin RodrÃguez. ESOP 2010: 43-63 [doi]

2009

2008

Specification and Checking of Software Contracts for Conditional Information FlowTorben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve. fm 2008: 229-245 [doi]

Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial WorkflowsJohn Hatcliff. icfem 2008: 3-4 [doi]

2007

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented ProgramsXianghua Deng, Robby, John Hatcliff. sefm 2007: 273-282 [doi]

Formal Software Analysis Emerging Trends in Software Model CheckingMatthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser. ICSE 2007: 120-136 [doi]

A correlation framework for the CORBA component modelGeorg Jung, John Hatcliff. STTT, 9(5-6):417-427, 2007. [doi]

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architecturesGeorg Jung, John Hatcliff. GPCE 2007: 33-42 [doi]

A new foundation for control dependence and slicing for modern program structuresVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer. TOPLAS, 29(5), 2007. [doi]

Slicing concurrent Java programs using Indus and KaveriVenkatesh Prasad Ranganath, John Hatcliff. STTT, 9(5-6):489-504, 2007. [doi]

2006

PEPM 2006 paper abstractsMark W. Bailey, John Hatcliff, Frank Tip. SIGPLAN, 41(3):4-8, 2006. [doi]

CALM and Cadena: Metamodeling for Component-Based Product-Line DevelopmentAdam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff. Computer, 39(2):42-50, 2006. [doi]

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic ExecutionXianghua Deng, Robby, John Hatcliff. isola 2006: 137 [doi]

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented ProgramsMatthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine. TACAS 2006: 73-89 [doi]

Why you should definitely read this special sectionHubert Garavel, John Hatcliff. STTT, 8(1):1-3, 2006. [doi]

TACAS 2003 Special Issue - PrefaceHubert Garavel, John Hatcliff. TCS, 354(2):169-172, 2006. [doi]

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006John Hatcliff, Frank Tip, editors, ACM, 2006.

High-Confidence Medical Device Software and SystemsInsup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha. Computer, 39(4):33-38, 2006. [doi]

An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software (Keynote Talk - Extended Abstract)Venkatesh Prasad Ranganath, John Hatcliff. Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2006. [doi]

Bogor: A Flexible Framework for Creating Software Model CheckersRobby, Matthew B. Dwyer, John Hatcliff. taicpart 2006: 3-22 [doi]

Domain-specific Model Checking Using The Bogor FrameworkRobby, Matthew B. Dwyer, John Hatcliff. ASE 2006: 369-370 [doi]

Checking JML specifications using an extensible software model checking frameworkRobby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff. STTT, 8(3):280-299, 2006. [doi]

2005

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking FrameworkMatthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby. cav 2005: 148-152 [doi]

Translating Java for Multiple Model Checkers: The Bandera Back-EndRadu Iosif, Matthew B. Dwyer, John Hatcliff. fmsd, 26(2):137-180, 2005. [doi]

Kaveri: Delivering the Indus Java Program Slicer to EclipseGaneshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff. FASE 2005: 269-272 [doi]

A New Foundation for Control-Dependence and Slicing for Modern Program StructuresVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff. ESOP 2005: 77-93 [doi]

Extending JML for Modular Specification and Verification of Multi-threaded ProgramsEdwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby. ECOOP 2005: 551-576 [doi]

2004

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based SystemsAdam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh. FASE 2004: 160-164 [doi]

SyncGen: An Aspect-Oriented Framework for SynchronizationXianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno. TACAS 2004: 158-162 [doi]

Supporting model checking education using BOGOR/EclipseMatthew B. Dwyer, John Hatcliff, Matthew Hoosier. eclipse 2004: 88-92 [doi]

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented ProgramsMatthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath. fmsd, 25(2-3):199-240, 2004. [doi]

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-CheckingJohn Hatcliff, Robby, Matthew B. Dwyer. vmcai 2004: 175-190 [doi]

A Case Study in Domain-Customized Model Checking for Real-Time Component SoftwareMatthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff. isola 2006: 161-180 [doi]

A Case Study in Domain-customized Model Checking for Real-time Component SoftwareMatthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer. isola 2004: 261-267

A Correlation Framework for the CORBA Component ModelGeorg Jung, John Hatcliff, Venkatesh Prasad Ranganath. FASE 2004: 144-159 [doi]

Pruning Interference and Ready Dependence for Slicing Concurrent Java ProgramsVenkatesh Prasad Ranganath, John Hatcliff. CC 2004: 39-56 [doi]

Checking Strong Specifications Using an Extensible Software Model Checking FrameworkRobby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff. TACAS 2004: 404-420 [doi]

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model CheckingEdwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby. cassis 2005: 210-228 [doi]

2003

Space Reductions for Model Checking Quasi-Cyclic SystemsMatthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff. emsoft 2003: 173-189 [doi]

Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, ProceedingsHubert Garavel, John Hatcliff, editors, Volume 2619 of Lecture Notes in Computer Science, Springer, 2003.

Slicing and partial evaluation of CORBA component model designs for avionics systemJohn Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby. PEPM 2003: 1-2 [doi]

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based SystemsJohn Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath. ICSE 2003: 160-173 [doi]

Cadena: enabling CCM-based application development in EclipseVenkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh. OOPSLA 2003: 20-24 [doi]

Bogor: an extensible and highly-modular software model checking frameworkRobby, Matthew B. Dwyer, John Hatcliff. ESEC/FSE 2003: 267-276 [doi]

Space-Reduction Strategies for Model Checking Dynamic SoftwareRobby, Matthew B. Dwyer, John Hatcliff, Radu Iosif. ENTCS, 89(3), 2003. [doi]

2002

2001

2000

1999

CPS Translations and Applications: The Cube and BeyondGilles Barthe, John Hatcliff, Morten Heine Sørensen. lisp, 12(2):125-170, 1999.

Slicing Software for Model ConstructionMatthew B. Dwyer, John Hatcliff. PEPM 1999: 105-118

A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency PrimitivesJohn Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng. SAS 1999: 1-18 [doi]

1998

1997

Reflections on ReflectionsGilles Barthe, John Hatcliff, Morten Heine Sørensen. plilp 1997: 241-258

Monadic Type Systems: Pure Type Systems for Impure SettingsGilles Barthe, John Hatcliff, Peter Thiemann. ENTCS, 10, 1997. [doi]

A notion of classical pure type systemGilles Barthe, John Hatcliff, Morten Heine Sørensen. ENTCS, 6:4-59, 1997. [doi]

Thunks and the lambda-CalculusJohn Hatcliff, Olivier Danvy. JFP, 7(3):303-319, 1997.

A Computational Formalization for Partial EvaluationJohn Hatcliff, Olivier Danvy. mscs, 7(5):507-541, 1997.

1996

Reasoning about Hierarchies of Online Program Specialization SystemsJohn Hatcliff, Robert Glück. dagstuhl 1996: 161-182

1995

Mechanically Verifying the Correctness of an Offline Partial EvaluatorJohn Hatcliff. plilp 1995: 279-298

1994

A Generic Account of Continuation-Passing StylesJohn Hatcliff, Olivier Danvy. POPL 1994: 458-471

1993

On the Transformation between Direct and Continuation SemanticsOlivier Danvy, John Hatcliff. mfps 1994: 627-648

1992

Thunks (Continued)Olivier Danvy, John Hatcliff. SAS 1992: 3-11

CPS-Transformation After Strictness AnalysisOlivier Danvy, John Hatcliff. loplas, 1(3):195-212, 1992.