Assured Reconfiguration of Fail-Stop Systems. - Elisabeth A. Strunk; John C. Knight; M. Anthony Aiello (DSN, 2005)

SCT: A Safety Case Toolkit. - M. Anthony Aiello; Ashlie B. Hocking; John C. Knight; Jonathan C. Rowanhill (ISSRE Workshops, 2014)

Proving Model Equivalence in Model Based Design. - Ashlie B. Hocking; John C. Knight; M. Anthony Aiello; Shinichi Shiraishi (ISSRE Workshops, 2014)

Arguing Software Compliance with ISO 26262. - Ashlie B. Hocking; John C. Knight; M. Anthony Aiello; Shinichi Shiraishi (ISSRE Workshops, 2014)

Static analysis of physical properties in Simulink models. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight (ISSRE Workshops, 2015)

A Comprehensive Safety Lifecycle. - John C. Knight; Jonathan C. Rowanhill; M. Anthony Aiello; Kimberly S. Wasson (SAFECOMP Workshops, 2015)

Proving Critical Properties of Simulink Models. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight; Nikos Aréchiga (HASE, 2016)

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. - Aaron W. Fifarek; Lucas G. Wagner; Jonathan A. Hoffman; Benjamin D. Rodes; M. Anthony Aiello; Jennifer A. Davis (NFM, 2017)

The Measurement Library: Representing Physical Types in PVS. - Ashlie B. Hocking; M. Anthony Aiello (AFM@NFM, 2017)

Input Space Partitioning to Enable Massively Parallel Proof. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight; Nikos Aréchiga (NFM, 2017)

Practical Application of SPARK to OpenUxAS. - M. Anthony Aiello; Claire Dross; Patrick Rogers; Laura R. Humphrey; James Hamil (FM, 2019)

Call Me Back, I Have a Type Invariant. - M. Anthony Aiello; Johannes Kanig; Taro Kurita (FM Workshops (1), 2019)