M. Anthony Aiello
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2005–2019
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FM | Practical Application of SPARK to OpenUxAS. | M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura R. Humphrey, James Hamil |
| 2019 | FM | Call Me Back, I Have a Type Invariant. | M. Anthony Aiello, Johannes Kanig, Taro Kurita |
| 2015 | ISSRE | Static analysis of physical properties in Simulink models. | Ashlie B. Hocking, M. Anthony Aiello, John C. Knight |
| 2015 | SAFECOMP | A Comprehensive Safety Lifecycle. | John C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson |
| 2014 | ISSRE | SCT: A Safety Case Toolkit. | M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill |
| 2014 | ISSRE | Proving Model Equivalence in Model Based Design. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2014 | ISSRE | Arguing Software Compliance with ISO 26262. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2005 | DSN | Assured Reconfiguration of Fail-Stop Systems. | Elisabeth A. Strunk, John C. Knight, M. Anthony Aiello |