Recent Papers

Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren Cofer, David Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent Mcleod. “Model-Driven Development for the seL4 Microkernel Using the HAMR Framework”. Journal of Systems Architecture 134 (102789), January 2023.

John Hatcliff, Jerome Hugues, Danielle Stewart, and Lutz Wrage. “Formalization of the AADL Run-Time Services”. 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation” (ISoLA 2022) LNCS 13702. pp 105-134.

Darren Cofer, Isaac Amundson, Junaid Babar, David Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton: Cyberassured Systems Engineering at Scale. IEEE S&P: 2-14.

John Hatcliff, Danielle Stewart, Jason Belt, Robby, August Schwerdfeger, “An AADL Contract Language Supporting Integrated Model- and Code-Level Verification”, Proceedings of the 2022 ACM Workshop on High-Integrity Language Technology (HILT 2022).

Jerome Hugues, Lutz Wrage, John Hatcliff and Danielle Stewart. “Mechanization of a large DSML, an experiment with AADL and Coq”, Proceedings of 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).

Robby, John Hatcliff: Slang: The Sireum Programming Language. ISoLA 2021: 253-273. [presentation]

John Hatcliff, Jason Belt, Robby, Todd Carpenter: HAMR: An AADL Multi-Platform Code Generation Toolset. ISoLA 2021: 274-295. [presentation]

Hariharan Thiagarajan, John Hatcliff, Robby: Awas: An Information Flow and Error Propagation Analysis Framework for the AADL Modeling Language. ISSE 2021.

Hariharan Thiagarajan, John Hatcliff, Robby: Awas: AADL Information Flow and Error Propagation Analysis Framework. DETECT: 294-310, 2020.

John Hatcliff. “Challenges and Directions for Lifecycle Processes Supporting Conformity Assessment of Interoperable Medical Products.” 2019 IEEE International Symposium on Product Compliance Engineering (ISPCE). May, 2019.

John Hatcliff, Yi Zhang, Julian Goldman. “Risk Management Objectives for Distributed Development of Interoperable Medical Products.” 2019 IEEE Symposium on Product Compliance Engineering (SPCE). November, 2019.

John Hatcliff, Eugene Vasserman, Todd Carpenter, Rand Whillock. “Challenges of Distributed Risk Management for Medical Application Platforms”. Proceedings of the 2018 IEEE Symposium on Product Safety Engineering, May 2018.

Todd Carpenter, Steve Harp, John Hatcliff. A Reference Architecture for Secure Medical Devices.
AAMI Biomedical Instramentation and Technology (AAMI BIT). Volume 52, Issue 5 (September/October 2018).

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.

Robby, John Hatcliff, Jason Belt: Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) 2018: 539-545.

Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu: Focused Certification of an Industrial Compilation and Static Verification Toolchain. SEFM 2017: 17-34. [Coq proofs and experiment data]

Todd Carpenter, John Hatcliff, and Eugene Y. Vasserman. “A reference separation architecture for mixed-criticality medical and IoT devices.” In Proceedings of the ACM Workshop on the Internet of Safe Things (SafeThings), 2017.

Other Notable Papers From the Non-so-distant Past

John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, and Paul Jones, “Certifiably Safe Software-Dependent Systems: Challenges and Directions”. In Future of Software Engineering, 2014 International Conference on Software Engineering (ICSE 2014).

John Hatcliff, Andrew King, Insup Lee, Alisdair Macdonald, Anura Fernando, Michael Robkin, Eugene Vasserman, Sandy Weininger, Julian Goldman. “Rationale and Architecture Principles for Medical Application Platforms”, Proceedings of the 2012 International Conference on Cyber-Physical Systems, pp. 3-12, April, 2012.

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 (2012)

Insup Lee, Oleg Sokolsky, S. Chen, John Hatcliff, E. Jee, B. Kim, Andrew King, M. Fortino-Mullen, S. Park, A. Roederer, and K. K. Venkatasubramanian, “Challenges and Research Directions in Medical Cyber-Physical Systems”, In Proceedings of the IEEE, 100 (1), pp. 75 - 90, January 2012.