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 (ISSRE Workshops, 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)

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 003 (DSN (Supplements), 2021)

An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment. - Alexander Will; Aidan G. Collins; Robert Grizzard; Smitha Gautham; Patrick Martin 003; Evan Dill; Carl R. Elks (DSN-S, 2023)