default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn Hatcliff
Person information
- affiliation: Kansas State Uniersity, Manhattan, KS, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
[j34]Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod:
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134: 102789 (2023)- 2022
- [j33]Darren D. Cofer
, Isaac Amundson, Junaid Babar, David S. Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton:
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20(3): 52-64 (2022) - [j32]Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL information flow and error propagation analysis framework. Innov. Syst. Softw. Eng. 18(4): 485-504 (2022) - [j31]Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff:
Specification and Verification of Timing Properties in Interoperable Medical Systems. Log. Methods Comput. Sci. 18(2) (2022) - 2019
- [j30]John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens:
The open PCA pump project: an exemplar open source medical device as a community resource. SIGBED Rev. 16(2): 8-13 (2019) - 2015
- [j29]Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones:
Enabling Safe Interoperation by Medical Device Virtual Integration. IEEE Des. Test 32(5): 74-88 (2015) - 2012
- [j28]John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson:
Behavioral interface specification languages. ACM Comput. Surv. 44(3): 16:1-16:58 (2012) - [j27]Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian:
Challenges and Research Directions in Medical Cyber-Physical Systems. Proc. IEEE 100(1): 75-90 (2012) - 2010
- [j26]Georg Jung, John Hatcliff:
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. Sci. Comput. Program. 75(7): 615-637 (2010) - 2009
- [j25]Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
A publish-subscribe architecture and component-based programming model for medical device interoperability. SIGBED Rev. 6(2): 7 (2009) - 2007
- [j24]Georg Jung, John Hatcliff:
A correlation framework for the CORBA component model. Int. J. Softw. Tools Technol. Transf. 9(5-6): 417-427 (2007) - [j23]Venkatesh Prasad Ranganath, John Hatcliff:
Slicing concurrent Java programs using Indus and Kaveri. Int. J. Softw. Tools Technol. Transf. 9(5-6): 489-504 (2007) - [j22]Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer:
A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5): 27 (2007) - 2006
- [j21]Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff:
CALM and Cadena: Metamodeling for Component-Based Product-Line Development. Computer 39(2): 42-50 (2006) - [j20]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. Computer 39(4): 33-38 (2006) - [j19]Arvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath, John Hatcliff:
Towards highly optimized real-time middleware for software product-line architectures. SIGBED Rev. 3(1): 13-16 (2006) - [j18]John Hatcliff, Insup Lee, Oleg Sokolsky:
Introduction to special issue. SIGBED Rev. 3(4) (2006) - [j17]Mark W. Bailey, John Hatcliff, Frank Tip:
PEPM 2006 paper abstracts. ACM SIGPLAN Notices 41(3): 4-8 (2006) - [j16]Hubert Garavel, John Hatcliff:
Why you should definitely read this special section. Int. J. Softw. Tools Technol. Transf. 8(1): 1-3 (2006) - [j15]Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff:
Checking JML specifications using an extensible software model checking framework. Int. J. Softw. Tools Technol. Transf. 8(3): 280-299 (2006) - [j14]Hubert Garavel, John Hatcliff:
TACAS 2003 Special Issue - Preface. Theor. Comput. Sci. 354(2): 169-172 (2006) - 2005
- [j13]Radu Iosif, Matthew B. Dwyer, John Hatcliff:
Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods Syst. Des. 26(2): 137-180 (2005) - 2004
- [j12]Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath:
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods Syst. Des. 25(2-3): 199-240 (2004) - 2002
- [j11]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
Expressing checkable properties of dynamic systems: the Bandera Specification Language. Int. J. Softw. Tools Technol. Transf. 4(1): 34-56 (2002) - 2001
- [j10]Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
An induction principle for pure type systems. Theor. Comput. Sci. 266(1-2): 773-818 (2001) - [j9]Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
Weak normalization implies strong normalization in a class of non-dependent pure type systems. Theor. Comput. Sci. 269(1-2): 317-361 (2001) - 2000
- [j8]John Hatcliff, Matthew B. Dwyer, Hongjun Zheng:
Slicing Software for Model Construction. High. Order Symb. Comput. 13(4): 315-353 (2000) - [j7]Matthew B. Dwyer, John Hatcliff:
Adapting programming languages technologies for finite-state verification. ACM SIGSOFT Softw. Eng. Notes 25(1): 46-49 (2000) - 1999
- [j6]Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
CPS Translations and Applications: The Cube and Beyond. High. Order Symb. Comput. 12(2): 125-170 (1999) - 1998
- [j5]John Hatcliff:
Foundations for Partial Evaluation of Functional Programs with Computational Effects. ACM Comput. Surv. 30(3es): 13 (1998) - [j4]Matthew B. Dwyer, John Hatcliff, Muhammad Nanda:
Using Partial Evaluation to Enable Verification of Concurrent Software. ACM Comput. Surv. 30(3es): 22 (1998) - 1997
- [j3]John Hatcliff, Olivier Danvy:
Thunks and the lambda-Calculus. J. Funct. Program. 7(3): 303-319 (1997) - [j2]John Hatcliff, Olivier Danvy:
A Computational Formalization for Partial Evaluation. Math. Struct. Comput. Sci. 7(5): 507-541 (1997) - 1992
- [j1]Olivier Danvy, John Hatcliff:
CPS-Transformation After Strictness Analysis. LOPLAS 1(3): 195-212 (1992)
Conference and Workshop Papers
- 2025
- [c97]John Hatcliff, Jason Belt:
The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering. The Combined Power of Research, Education, and Dissemination 2025: 93-117 - 2024
- [c96]Robby, John Hatcliff, Jason Belt:
Logika: The Sireum Verification Framework. FMICS 2024: 97-116 - [c95]John Hatcliff, Jason Belt, Robby, David S. Hardin:
Integrated Contract-Based Unit and System Testing for Component-Based Systems. NFM 2024: 406-426 - [c94]Stefan Hallerstede, John Hatcliff, Robby:
Teaching with Logika: Conceiving and Constructing Correct Software. FMTea 2024: 106-123 - 2023
- [c93]Stefan Hallerstede, John Hatcliff:
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. FACS 2023: 45-64 - [c92]John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. FMICS 2023: 131-150 - 2022
- [c91]John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage:
Formalization of the AADL Run-Time Services. ISoLA (2) 2022: 105-134 - [c90]Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart:
Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE 2022: 1-9 - 2021
- [c89]Robby, John Hatcliff:
Slang: The Sireum Programming Language. ISoLA 2021: 253-273 - [c88]John Hatcliff, Jason Belt, Robby, Todd Carpenter:
HAMR: An AADL Multi-platform Code Generation Toolset. ISoLA 2021: 274-295 - 2020
- [c87]Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL Information Flow and Error Propagation Analysis Framework. ECSA Companion 2020: 294-310 - [c86]Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang:
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. IMBSA 2020: 34-50 - 2018
- [c85]John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang:
A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) 2018: 225-245 - [c84]Robby, John Hatcliff, Jason Belt:
Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) 2018: 539-545 - [c83]Yi Zhang, Brian R. Larson, John Hatcliff:
Assurance Case Considerations for Interoperable Medical Systems. SAFECOMP Workshops 2018: 42-48 - 2017
- [c82]Sam Procter, Eugene Y. Vasserman, John Hatcliff:
SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis. ARES 2017: 66:1-66:10 - [c81]Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan:
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. ICDCS Workshops 2017: 37-44 - [c80]Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu:
Focused Certification of an Industrial Compilation and Static Verification Toolchain. SEFM 2017: 17-34 - [c79]Todd Carpenter, John Hatcliff, Eugene Y. Vasserman:
A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices. SafeThings@SenSys 2017: 14-19 - 2015
- [c78]Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby:
Communication patterns for interconnecting and composing medical systems. EMBC 2015: 1711-1716 - [c77]Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby:
Ecosphere Principles for Medical Application Platforms. ICHI 2015: 193-198 - [c76]Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando:
Error Type Refinement for Assurance of Families of Platform-Based Systems. SAFECOMP Workshops 2015: 95-106 - [c75]Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee:
Towards Assurance for Plug & Play Medical Systems. SAFECOMP 2015: 228-242 - 2014
- [c74]Sam Procter, John Hatcliff, Robby:
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. FHIES/SEHC 2014: 26-43 - [c73]John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones:
Certifiably safe software-dependent systems: challenges and directions. FOSE 2014: 182-200 - [c72]Sam Procter, John Hatcliff:
An architecturally-integrated, systems-based hazard analysis for medical applications. MEMOCODE 2014: 124-133 - 2013
- [c71]Brian R. Larson, John Hatcliff, Patrice Chalin:
Open source patient-controlled analgesic pump requirements documentation. SEHC@ICSE 2013: 28-34 - [c70]John Hatcliff, Robby, Patrice Chalin, Jason Belt:
Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE 2013: 222-231 - [c69]Brian R. Larson, Patrice Chalin, John Hatcliff:
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software. NASA Formal Methods 2013: 276-290 - [c68]Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings:
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT 2013: 21-22 - [c67]Brian R. Larson, John Hatcliff, Kim R. Fowler, Julien Delange:
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. HILT 2013: 65-84 - [c66]Eugene Y. Vasserman, John Hatcliff:
Foundational Security Principles for Medical Application Platforms - (Extended Abstract). WISA 2013: 213-217 - 2012
- [c65]John Hatcliff, Andrew L. King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Y. Vasserman, Sandy Weininger, Julian M. Goldman:
Rationale and Architecture Principles for Medical Application Platforms. ICCPS 2012: 3-12 - [c64]Brian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin:
Requirements specification for apps in medical application platforms. SEHC@ICSE 2012: 26-32 - [c63]Kejia Li, Steve Warren, John Hatcliff:
Component-based app design for platform-oriented devices in a medical device coordination framework. IHI 2012: 343-352 - [c62]Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng:
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods 2012: 295-309 - [c61]Torben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino:
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow. POST 2012: 369-389 - [c60]Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby:
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. SCAM 2012: 132-137 - [c59]Jason Belt, Patrice Chalin, John Hatcliff, Robby:
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT 2012: 3-4 - 2011
- [c58]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods 2011: 58-72 - [c57]Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60 - 2010
- [c56]Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff:
Software certification consortium: certification methods for safety-critical software. CASCON 2010: 434-436 - [c55]Torben Amtoft, John Hatcliff, Edwin Rodríguez:
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. ESOP 2010: 43-63 - [c54]Andrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter:
Prototyping closed loop physiologic control with the medical device coordination framework. SEHC@ICSE 2010: 1-11 - 2009
- [c53]Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
An open test bed for medical device integration and coordination. ICSE Companion 2009: 141-151 - [c52]Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
Demonstration of a medical device integration and coordination framework. ICSE Companion 2009: 433-434 - 2008
- [c51]Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve:
Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245 - [c50]John Hatcliff:
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. ICFEM 2008: 3-4 - [c49]John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden:
A Software Certification Consortium and its Top 9 Hurdles. SafeCert@ETAPS 2008: 11-17 - 2007
- [c48]Georg Jung, John Hatcliff:
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. GPCE 2007: 33-42 - [c47]Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser:
Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136 - [c46]Xianghua Deng, Robby, John Hatcliff:
Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM 2007: 273-282 - 2006
- [c45]Xianghua Deng, Robby, John Hatcliff:
Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA 2006: 137 - [c44]Robby, Matthew B. Dwyer, John Hatcliff:
Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370 - [c43]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. TACAS 2006: 73-89 - [c42]Robby, Matthew B. Dwyer, John Hatcliff:
Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22 - 2005
- [c41]Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby:
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV 2005: 148-152 - [c40]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. ECOOP 2005: 551-576 - [c39]Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff:
A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93 - [c38]Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff:
Kaveri: Delivering the Indus Java Program Slicer to Eclipse. FASE 2005: 269-272 - 2004
- [c37]Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby:
A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS 2004: 210-228 - [c36]Venkatesh Prasad Ranganath, John Hatcliff:
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. CC 2004: 39-56 - [c35]Matthew B. Dwyer, John Hatcliff, Matthew Hoosier:
Supporting model checking education using BOGOR/Eclipse. eTX 2004: 88-92 - [c34]Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath:
A Correlation Framework for the CORBA Component Model. FASE 2004: 144-159 - [c33]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. FASE 2004: 160-164 - [c32]Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff:
A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA 2004: 161-180 - [c31]Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer:
A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) 2004: 261-267 - [c30]Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno:
SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS 2004: 158-162 - [c29]Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff:
Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420 - [c28]John Hatcliff, Robby, Matthew B. Dwyer:
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190 - 2003
- [c27]Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff:
Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189 - [c26]John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath:
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE 2003: 160-173 - [c25]Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh:
Cadena: enabling CCM-based application development in Eclipse. eTX 2003: 20-24 - [c24]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. PEPM 2003: 1-2 - [c23]Robby, Matthew B. Dwyer, John Hatcliff:
Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276 - [c22]Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif:
Space-Reduction Strategies for Model Checking Dynamic Software. SoftMC@CAV 2003: 499-517 - 2002
- [c21]John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby:
Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203 - [c20]Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh:
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO 2002: 154-181 - [c19]Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno:
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE 2002: 442-452 - 2001
- [c18]John Hatcliff, Matthew B. Dwyer:
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. CONCUR 2001: 39-58 - [c17]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. ICSE 2001: 177-187 - 2000
- [c16]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. ICSE 2000: 439-448 - [c15]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765 - [c14]James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223 - 1999
- [c13]Matthew B. Dwyer, John Hatcliff:
Slicing Software for Model Construction. PEPM 1999: 105-118 - [c12]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. SAS 1999: 1-18 - 1998
- [c11]Robert Glück, John Hatcliff, Jesper Jørgensen:
Generalization in Hierarchies of Online Program Specialization Systems. LOPSTR 1998: 179-198 - [c10]John Hatcliff:
An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. Partial Evaluation 1998: 20-82 - [c9]John Hatcliff, Matthew B. Dwyer, Shawn Laubach:
Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151 - 1997
- [c8]Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
Reflections on Reflections. PLILP 1997: 241-258 - [c7]Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
A notion of classical pure type system. MFPS 1997: 4-59 - [c6]Gilles Barthe, John Hatcliff, Peter Thiemann:
Monadic Type Systems: Pure Type Systems for Impure Settings. HOOTS 1997: 54-120 - 1996
- [c5]John Hatcliff, Robert Glück:
Reasoning about Hierarchies of Online Program Specialization Systems. Dagstuhl Seminar on Partial Evaluation 1996: 161-182 - 1995
- [c4]John Hatcliff:
Mechanically Verifying the Correctness of an Offline Partial Evaluator. PLILP 1995: 279-298 - 1994
- [c3]John Hatcliff, Olivier Danvy:
A Generic Account of Continuation-Passing Styles. POPL 1994: 458-471 - 1993
- [c2]Olivier Danvy, John Hatcliff:
On the Transformation between Direct and Continuation Semantics. MFPS 1993: 627-648 - 1992
- [c1]Olivier Danvy, John Hatcliff:
Thunks (Continued). WSA 1992: 3-11
Parts in Books or Collections
- 2010
- [p2]Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve:
Specification and Checking of Software Contracts for Conditional Information Flow. Design and Verification of Microprocessor Systems for High-Assurance Applications 2010: 341-379 - 2005
- [p1]Gabriele Trombetti, Aniruddha Gokhale, Douglas C. Schmidt, Jesse Greenwald, John Hatcliff, Georg Jung, Gurdip Singh:
An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded Systems. Model-Driven Software Development 2005: 329-361
Editorship
- 2013
- [e6]Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff:
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013. EPTCS 129, 2013 [contents] - 2012
- [e5]Ruth Breu, John Hatcliff:
Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1843-3 [contents] - 2010
- [e4]John Hatcliff, Elena Zucca:
Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6117, Springer 2010, ISBN 978-3-642-13463-0 [contents] - 2006
- [e3]John Hatcliff, Frank Tip:
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. ACM 2006, ISBN 1-59593-196-1 [contents] - 2003
- [e2]Hubert Garavel, John Hatcliff:
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, Proceedings. Lecture Notes in Computer Science 2619, Springer 2003, ISBN 3-540-00898-5 [contents] - 1999
- [e1]John Hatcliff, Torben Æ. Mogensen, Peter Thiemann:
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998. Lecture Notes in Computer Science 1706, Springer 1999, ISBN 3-540-66710-5 [contents]
Informal and Other Publications
- 2023
- [i3]Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa:
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports 13(1): 155-183 (2023) - 2020
- [i2]Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff:
Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR abs/2012.04025 (2020) - 2013
- [i1]Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford:
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3(1): 111-148 (2013)
Coauthor Index
Venkatesh Prasad Ranganath
aka: Venkatesh-Prasad Ranganath
aka: Venkatesh-Prasad Ranganath
[j34] [j33] [j32] [j15] [j12] [j11] [c96] [c95] [c94] [c92] [c89] [c88] [c87] [c85] [c84] [c80] [c78] [c77] [c74] [c70] [c68] [c62] [c60] [c59] [c58] [c57] [c51] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c40] [c37] [c32] [c31] [c29] [c28] [c27] [c24] [c23] [c22] [c21] [c20] [c17] [c16] [c15] [c14] [p2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
