Aidan G. Collins

According to our database, Aidan G. Collins authored at least 4 papers between 2020 and 2023.

Collaborative distances:

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

2023

An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment.

Alexander Will, Aidan G. Collins, Robert Grizzard, Smitha Gautham, Patrick Martin, Evan Dill, Carl R. Elks

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2021

SymPLe: Complexity-Aware Design for Safety Critical I&C Systems.

Richard Hite, Abhi Rajagopala, Smitha Gautham, Christopher J. Deloglos, Athira V. Jayakumar, Aidan G. Collins, Carl R. Elks, Matt Gibson

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

Data-Driven Vulnerability Exploration for Design Phase System Analysis.

Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody Harrison Fleming, Carl R. Elks

IEEE Syst. J., 2020

Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications.

Athira Varma Jayakumar, Smitha Gautham, D. Richard Kuhn, Brandon J. Simon, Aidan G. Collins, Thomas Dirsch, Raghu Kacker, Carl R. Elks

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