Application 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 (DSN, 2010)

Bit-slice logic interleaving for spatial multi-bit soft-error tolerance. - Nishant J. George; Carl R. Elks; Barry W. Johnson; John C. Lach (DSN, 2010)

Transient fault models and AVF estimation revisited. - Nishant J. George; Carl R. Elks; Barry W. Johnson; John C. Lach (DSN, 2010)

Design of a high performance FPGA based fault injector for real-time safety-critical systems. - Marko Miklo; Carl R. Elks; Ronald D. Williams (ASAP, 2011)

MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis. - Georgios Bakirtzis; Bryan T. Carter; Cody H. Fleming; Carl R. Elks (CoRR, 2017)

A model-based approach to security analysis for cyber-physical systems. - Georgios Bakirtzis; Bryan T. Carter; Carl R. Elks; Cody H. Fleming (SysCon, 2018)

A systems approach for eliciting mission-centric security requirements. - Bryan T. Carter; Georgios Bakirtzis; Carl R. Elks; Cody H. Fleming (SysCon, 2018)

Looking 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 (VizSEC, 2018)

A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems. - Smitha Gautham; Georgios Bakirtzis; Matthew T. Leccadito; Robert H. Klenke; Carl R. Elks (CoRR, 2018)

A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract. - Smitha Gautham; Georgios Bakirtzis; Matthew T. Leccadito; Robert H. Klenke; Carl R. Elks (ICCPS, 2019)

Systems-theoretic security requirements modeling for cyber-physical systems. - Bryan T. Carter; Georgios Bakirtzis; Carl R. Elks; Cody H. Fleming (Syst. Eng., 2019)

Fundamental Challenges of Cyber-Physical Systems Security Modeling. - Georgios Bakirtzis; Garrett L. Ward; Christopher J. Deloglos; Carl R. Elks; Barry M. Horowitz; Cody H. Fleming (DSN (Supplements), 2020)

Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems. - Athira V. Jayakumar; Carl R. Elks (IMBSA, 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 (ISSRE Workshops, 2020)

An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security. - Christopher J. Deloglos; Carl R. Elks; Ashraf Tantawy (SAFECOMP, 2020)

Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering. - Smitha Gautham; Athira V. Jayakumar; Carl R. Elks (SAFECOMP Workshops, 2020)

Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems. - Smitha Gautham; Abhilash Rajagopala; Athira Varma Jayakumar; Christopher J. Deloglos; Erwin Karincic; Carl R. Elks (CoRR, 2020)

Cyber-Physical Security Through Resiliency: A Systems-centric Approach. - Cody H. Fleming; Carl R. Elks; Georgios Bakirtzis; Stephen C. Adams; Bryan T. Carter; Peter A. Beling; Barry M. Horowitz (CoRR, 2020)

Self-repairing hardware architecture for safety-critical cyber-physical-systems. - Shawkat Sabah Khairullah; Carl R. Elks (IET Cyper-Phys. Syst.: Theory & Appl., 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)

Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems. - Smitha Gautham; Athira Varma Jayakumar; Abhi Rajagopala; Carl R. Elks (ICPS, 2021)

Cyberphysical Security Through Resiliency: A Systems-Centric Approach. - Cody H. Fleming; Carl R. Elks; Georgios Bakirtzis; Stephen C. Adams; Bryan T. Carter; Peter A. Beling; Barry M. Horowitz (Computer, 2021)

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems. - Alexander Weiss; Smitha Gautham; Athira Varma Jayakumar; Carl R. Elks; D. Richard Kuhn; Raghu N. Kacker; Thomas B. Preußer (Computer, 2021)

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection. - Smitha Gautham; Georgios Bakirtzis; Alexander Will; Athira Varma Jayakumar; Carl R. Elks (SAFECOMP, 2022)

Everything You Always Wanted to Know About Embedded Trace. - Thomas B. Preußer; Smitha Gautham; Abhi D. Rajagopala; Carl R. Elks; Alexander Weiss (Computer, 2022)

Failure Mechanism Traceability and Application in Human System Interface of Nuclear Power Plants using RESHA. - Edward Chen; Han Bao 004; Tate Shorthill; Carl R. Elks; Nam Dinh (CoRR, 2022)

Application of Orthogonal Defect Classification for Software Reliability Analysis. - Edward Chen; Han Bao 004; Tate Shorthill; Carl R. Elks; Athira Varma Jayakumar; Nam Dinh (CoRR, 2022)

Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis. - Minghui Sun; Smitha Gautham; Carl R. Elks; Cody H. Fleming (CoRR, 2022)

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)