Skip to content

Carl R. Elks

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

4

Active years

2010–2023

Best venue rank

A

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2023DSNAn Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment.Alexander Will, Aidan G. Collins, Robert Grizzard, Smitha Gautham, Patrick Martin, Evan T. Dill, Carl R. Elks
2022SAFECOMPSTPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks
2021DSNSymPLe: 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
2020DSNFundamental Challenges of Cyber-Physical Systems Security Modeling.Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming
2020ISSRESystematic 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
2020SAFECOMPAn Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security.Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy
2020SAFECOMPMultilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering.Smitha Gautham, Athira V. Jayakumar, Carl R. Elks
2018VizSecLooking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis.Georgios Bakirtzis, Brandon J. Simon, Cody H. Fleming, Carl R. Elks
2010DSNApplication of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection system.Carl R. Elks, Michael Reynolds, Nishant J. George, Marko Miklo, Scott Bingham, Ronald D. Williams, Barry W. Johnson, Michael Waterman, Jeanne Dion
2010DSNBit-slice logic interleaving for spatial multi-bit soft-error tolerance.Nishant J. George, Carl R. Elks, Barry W. Johnson, John C. Lach
2010DSNTransient fault models and AVF estimation revisited.Nishant J. George, Carl R. Elks, Barry W. Johnson, John C. Lach