researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

johnhatcliff

Statistics

Publications: 76
Edited: 3

Aliases

Hatcliff
John Hatcliff
Hatcliff, John
Hatcliff, J.
J. Hatcliff

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

John Hatcliff's Profile

Publications

Unidentified Publications

Publications with a 'John Hatcliff' as author, editor, or advisor:

Specification and Checking of Software Contracts for Conditional Information FlowTorben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve. In David S. Hardin, editor, Design and Verification of Microprocessor Systems for High-Assurance Applications. pages 341-379, Springer, 2010. [doi]
Error Type Refinement for Assurance of Families of Platform-Based SystemsSam Procter, John Hatcliff, Sandy Weininger, Anura Fernando. safecomp 2015: 95-106 [doi]
Specification and Verification of Timing Properties in Interoperable Medical SystemsMahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff. lmcs, 18(2), 2022. [doi]
Formalization of the AADL Run-Time ServicesJohn Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage. ISoLA 2022: 105-134 [doi]
Explicating symbolic execution (xSymExe): an evidence-based verification frameworkJohn Hatcliff, Robby, Patrice Chalin, Jason Belt. ICSE 2013: 222-231 [doi]
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architecturesGeorg Jung, John Hatcliff. SCP, 75(7):615-637, 2010. [doi]
Proceedings of the 4th International Workshop on Software Engineering in Health Care, SEHC 2012, Zurich, Switzerland, June 4-5, 2012Ruth Breu, John Hatcliff, editors, IEEE, 2012. [doi]
Behavioral interface specification languagesJohn Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson. ACM Comput. Surv., 44(3):16, 2012. [doi]
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic ExecutionJason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng. NFM 2011: 58-72 [doi]
Rationale and Architecture Principles for Medical Application PlatformsJohn Hatcliff, Andrew L. King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Y. Vasserman, Sandy Weininger, Julian M. Goldman. iccps 2012: 3-12 [doi]
Prototyping closed loop physiologic control with the medical device coordination frameworkAndrew L. King, David Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, Sam Procter. ICSE 2010: 1-11 [doi]
A publish-subscribe architecture and component-based programming model for medical device interoperabilityAndrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger. sigbed, 6(2):7, 2009. [doi]
Foundational Security Principles for Medical Application Platforms - (Extended Abstract)Eugene Y. Vasserman, John Hatcliff. wisa 2014: 213-217 [doi]
Enhancing spark's contract checking facilities using symbolic executionJason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng. sigada 2011: 47-60 [doi]
Assurance Case Considerations for Interoperable Medical SystemsYi Zhang, Brian R. Larson, John Hatcliff. safecomp 2018: 42-48 [doi]
SAFE and Secure: Deeply Integrating Security in a New Hazard AnalysisSam Procter, Eugene Y. Vasserman, John Hatcliff. IEEEares 2017: [doi]
An Integrated Model-Driven Development Environment for Composing and Validating Distributed Real-Time and Embedded SystemsGabriele Trombetti, Aniruddha Gokhale, Douglas C. Schmidt, Jesse Greenwald, John Hatcliff, Georg Jung, Gurdip Singh. In Sami Beydeda, Matthias Book, Volker Gruhn, editors, Model-Driven Software Development. pages 329-361, Springer, 2005. [doi]
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa. dagstuhl-reports, 13(1):155-183, January 2023. [doi]
Introduction to special issueJohn Hatcliff, Insup Lee, Oleg Sokolsky. sigbed, 3(4), 2006. [doi]
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller PlatformsXiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan. icdcsw 2017: 37-44 [doi]
Awas: AADL Information Flow and Error Propagation Analysis FrameworkHariharan Thiagarajan, John Hatcliff, Robby. ecsa 2020: 294-310 [doi]
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with SoftwareBrian R. Larson, Patrice Chalin, John Hatcliff. NFM 2013: 276-290 [doi]
The open PCA pump project: an exemplar open source medical device as a community resourceJohn Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens. sigbed, 16(2):8-13, 2019. [doi]
Certifiably safe software-dependent systems: challenges and directionsJohn Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones. ICSE 2014: 182-200 [doi]
HAMR: An AADL Multi-platform Code Generation ToolsetJohn Hatcliff, Jason Belt, Robby, Todd Carpenter. ISoLA 2021: 274-295 [doi]
A Mechanized Semantics for Component-Based Systems in the HAMR AADL RuntimeStefan Hallerstede, John Hatcliff. facs2 2024: 45-64 [doi]
Requirements specification for apps in medical application platformsBrian R. Larson, John Hatcliff, Sam Procter, Patrice Chalin. ICSE 2012: 26-32 [doi]
Ecosphere Principles for Medical Application PlatformsYu-Jin Kim, Sam Procter, John Hatcliff, Venkatesh Prasad Ranganath, Robby. ichi 2015: 193-198 [doi]
A Reference Separation Architecture for Mixed-Criticality Medical and IoT DevicesTodd Carpenter, John Hatcliff, Eugene Y. Vasserman. sensys 2017: 14-19 [doi]
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error ModelingHariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang 0051. imbsa 2020: 34-50 [doi]
Awas: AADL information flow and error propagation analysis frameworkHariharan Thiagarajan, John Hatcliff, Robby. isse, 18(4):485-504, 2022. [doi]
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. ProceedingsJohn Hatcliff, Elena Zucca, editors, Volume 6117 of Lecture Notes in Computer Science, Springer, 2010. [doi]
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARKHariharan Thiagarajan, John Hatcliff, Jason Belt, Robby. SCAM 2012: 132-137 [doi]
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical deviceBrian R. Larson, John Hatcliff, Kim Fowler, Julien Delange. sigada 2013: 65-84 [doi]
Cyberassured Systems Engineering at ScaleDarren D. Cofer, Isaac Amundson, Junaid Babar, David S. Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton. ieeesp, 20(3):52-64, 2022. [doi]
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasanJason Belt, Patrice Chalin, John Hatcliff, Robby. sigada 2012: 3-4 [doi]
Automated Property-Based Testing from AADL Component ContractsJohn Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter. fmics 2023: 131-150 [doi]
Focused Certification of an Industrial Compilation and Static Verification ToolchainZhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu. SEFM 2017: 17-34 [doi]
Towards an AADL-Based Definition of App Architecture for Medical Application PlatformsSam Procter, John Hatcliff, Robby. FHIES 2017: 26-43 [doi]
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information FlowTorben Amtoft, Josiah Dodds, Zhi Zhang, Andrew W. Appel, Lennart Beringer, John Hatcliff, Xinming Ou, Andrew Cousino. post 2012: 369-389 [doi]
Component-based app design for platform-oriented devices in a medical device coordination frameworkKejia Li, Steve Warren, John Hatcliff. ihi 2012: 343-352 [doi]
Slang: The Sireum Programming LanguageRobby, John Hatcliff. ISoLA 2021: 253-273 [doi]
Adapting programming languages technologies for finite-state verificationMatthew B. Dwyer, John Hatcliff. sigsoft, 25(1):46-49, 2000. [doi]
Software Certification: Methods and Tools (Dagstuhl Seminar 13051)Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford. dagstuhl-reports, 3(1):111-148, 2013. [doi]
Challenges and Research Directions in Medical Cyber-Physical SystemsInsup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian. pieee, 100(1):75-90, 2012. [doi]
Towards highly optimized real-time middleware for software product-line architecturesArvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt, Venkatesh Prasad Ranganath, John Hatcliff. sigbed, 3(1):13-16, 2006. [doi]
Model-driven development for the seL4 microkernel using the HAMR frameworkJason 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. jsa, 134:102789, 2023. [doi]
Enabling Safe Interoperation by Medical Device Virtual IntegrationBrian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones. dt, 32(5):74-88, 2015. [doi]
Open source patient-controlled analgesic pump requirements documentationBrian R. Larson, John Hatcliff, Patrice Chalin. ICSE 2013: 28-34 [doi]
Towards Assurance for Plug & Play Medical SystemsAndrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee. safecomp 2015: 228-242 [doi]
Mechanization of a Large DSML: An Experiment with AADL and CoqJérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart. memocode 2022: 1-9 [doi]
An architecturally-integrated, systems-based hazard analysis for medical applicationsSam Procter, John Hatcliff. memocode 2014: 124-133 [doi]
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coqPierre Courtieu, Maria Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings. sigada 2013: 21-22 [doi]
Efficient Symbolic Execution of Value-Based Data Structures for Critical SystemsJason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng. NFM 2012: 295-309 [doi]
Communication patterns for interconnecting and composing medical systemsVenkatesh Prasad Ranganath, Yu-Jin Kim, John Hatcliff, Robby. embc 2015: 1711-1716 [doi]
A Unified Approach for Modeling, Developing, and Assuring Critical SystemsJohn Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang. ISoLA 2018: 225-245 [doi]
Model-Based Development for High-Assurance Embedded SystemsRobby, John Hatcliff, Jason Belt. ISoLA 2018: 539-545 [doi]
Home PageJohn Hatcliff.
Software certification consortium: certification methods for safety-critical softwareAlan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens Weber, John Hatcliff. cascon 2010: 434-436 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL