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. JSA 134: 102789, 2023.
John Hatcliff, Danielle Stewart, Jason Belt, Robby: An AADL Contract Language Supporting Integrated Model- and Code-Level Verification. HILT 2022 (to appear).
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, 2022.
John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage: Formalization of the AADL Run-Time Services. ISoLA (2) 2022: 105-134.
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.
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]
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.