John Hatcliff
Kansas State University
H-index: 43
North America-United States
Top articles of John Hatcliff
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering | Erika Abraham Stefan Hallerstede John Hatcliff Danielle Stewart Noah Abou El Wafa | 2023/9/18 | |
Automated property-based testing from AADL component contracts | John Hatcliff Jason Belt Robby Jacob Legg Danielle Stewart | 2023/9/17 | |
An AADL Contract Language Supporting Integrated Model-and Code-Level Verification | ACM SIGAda Ada Letters | John Hatcliff Danielle Stewart Jason Belt August Schwerdfeger | 2023/4/5 |
Model-driven development for the seL4 microkernel using the HAMR framework | Journal of Systems Architecture | Jason Belt John Hatcliff John Shackleton Jim Carciofini Todd Carpenter | 2023/1/1 |
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime | Stefan Hallerstede John Hatcliff | 2023/10/26 | |
Awas: AADL information flow and error propagation analysis framework | Innovations in Systems and Software Engineering | Hariharan Thiagarajan John Hatcliff Robby | 2022/12 |
Formalization of the AADL run-time services | John Hatcliff Jerome Hugues Danielle Stewart Lutz Wrage | 2022/10/17 | |
Mechanization of a large DSML: an experiment with AADL and coq | Jérôme Hugues Lutz Wrage John Hatcliff Danielle Stewart | 2022/10/13 | |
Specification and verification of timing properties in interoperable medical systems | Logical Methods in Computer Science | Mahsa Zarneshan Fatemeh Ghassemi Ehsan Khamespanah Marjan Sirjani John Hatcliff | 2022/6/1 |
Cyberassured systems engineering at scale | IEEE Security & Privacy | Darren Cofer Isaac Amundson Junaid Babar David Hardin Konrad Slind | 2022/3/15 |
Slang: The SIREUM programming language | Robby John Hatcliff | 2021/10/12 | |
HAMR: an AADL multi-platform code generation toolset | John Hatcliff Jason Belt Robby Todd Carpenter | 2021 | |
Model-based risk analysis for an open-source PCA pump using AADL error modeling | Hariharan Thiagarajan Brian Larson John Hatcliff Yi Zhang | 2020/9/4 |
