Aidan G. Collins

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Fault Localization

Safety Critical

Top Venues

ISSRE Workshops

DSN (Supplements)

Publications

Alexander Will, Aidan G. Collins, Robert Grizzard, Smitha Gautham, Patrick Martin, Evan Dill, Carl R. Elks
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment. DSN-S (2023)
Richard Hite, Abhi Rajagopala, Smitha Gautham, Christopher J. Deloglos, Athira V. Jayakumar, Aidan G. Collins, Carl R. Elks, Matt Gibson
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems. DSN (Supplements) (2021)
Athira Varma Jayakumar, Smitha Gautham, D. Richard Kuhn, Brandon J. Simon, Aidan G. Collins, Thomas Dirsch, Raghu Kacker, Carl R. Elks
Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications. ISSRE Workshops (2020)
Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody Harrison Fleming, Carl R. Elks
Data-Driven Vulnerability Exploration for Design Phase System Analysis. IEEE Syst. J. 14 (4) (2020)
Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody Harrison Fleming, Carl R. Elks
Data Driven Vulnerability Exploration for Design Phase System Analysis. CoRR (2019)