M. Anthony Aiello

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 8

Top Topics

Practical Application

Top Venues

ISSRE Workshops

FM Workshops (1)

SAFECOMP Workshops

Publications

M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil
Practical Application of SPARK to OpenUxAS. FM (2019)
M. Anthony Aiello, Johannes Kanig, Taro Kurita
Call Me Back, I Have a Type Invariant. FM Workshops (1) (2019)
Ashlie B. Hocking, M. Anthony Aiello
The Measurement Library: Representing Physical Types in PVS. AFM@NFM (2017)
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
Input Space Partitioning to Enable Massively Parallel Proof. NFM (2017)
Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. NFM (2017)
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
Proving Critical Properties of Simulink Models. HASE (2016)
John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson
A Comprehensive Safety Lifecycle. SAFECOMP Workshops (2015)
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight
Static analysis of physical properties in Simulink models. ISSRE Workshops (2015)
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
Arguing Software Compliance with ISO 26262. ISSRE Workshops (2014)
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
Proving Model Equivalence in Model Based Design. ISSRE Workshops (2014)
M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill
SCT: A Safety Case Toolkit. ISSRE Workshops (2014)
Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello
Assured Reconfiguration of Fail-Stop Systems. DSN (2005)