M. Anthony Aiello

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