M. Anthony Aiello

According to our database, M. Anthony Aiello authored at least 12 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Call Me Back, I Have a Type Invariant.

M. Anthony Aiello, Johannes Kanig, Taro Kurita

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Practical Application of SPARK to OpenUxAS.

M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2017

Input Space Partitioning to Enable Massively Parallel Proof.

Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The Measurement Library: Representing Physical Types in PVS.

Ashlie B. Hocking, M. Anthony Aiello

Proceedings of the Automated Formal Methods, 2017

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

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Proving Critical Properties of Simulink Models.

Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

A Comprehensive Safety Lifecycle.

John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson

Proceedings of the Computer Safety, Reliability, and Security, 2015

Static analysis of physical properties in Simulink models.

Ashlie B. Hocking, M. Anthony Aiello, John C. Knight

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

2014

Arguing Software Compliance with ISO 26262.

Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Proving Model Equivalence in Model Based Design.

Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

SCT: A Safety Case Toolkit.

M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2005

Assured Reconfiguration of Fail-Stop Systems.

Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005