Carl R. Elks

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 33

Top Topics

Physical Systems

Fault Injection

Defect Classification

Top Venues

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)
Thomas B. Preußer, Smitha Gautham, Abhi D. Rajagopala, Carl R. Elks, Alexander Weiss
Everything You Always Wanted to Know About Embedded Trace. Computer 55 (2) (2022)
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection. SAFECOMP (2022)
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira V. Jayakumar, Carl R. Elks
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection. CoRR (2022)
Edward Chen, Han Bao, Tate Shorthill, Carl R. Elks, Athira Varma Jayakumar, Nam Dinh
Application of Orthogonal Defect Classification for Software Reliability Analysis. CoRR (2022)
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar, Carl R. Elks, D. Richard Kuhn, Raghu N. Kacker, Thomas B. Preußer
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems. Computer 54 (1) (2021)
Smitha Gautham, Athira Varma Jayakumar, Abhi Rajagopala, Carl R. Elks
Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems. ICPS (2021)
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)
Cody Harrison Fleming, Carl R. Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan T. Carter, Peter A. Beling, Barry M. Horowitz
Cyberphysical Security Through Resiliency: A Systems-Centric Approach. Computer 54 (6) (2021)
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar, Carl R. Elks, D. Richard Kuhn, Raghu N. Kacker, Thomas B. Preußer
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems. CoRR (2021)
Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody Fleming
Fundamental Challenges of Cyber-Physical Systems Security Modeling. DSN (Supplements) (2020)
Athira V. Jayakumar, Carl R. Elks
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems. IMBSA (2020)
Shawkat Sabah Khairullah, Carl R. Elks
Self-repairing hardware architecture for safety-critical cyber-physical-systems. IET Cyper-Phys. Syst.: Theory & Appl. 5 (1) (2020)
Smitha Gautham, Athira V. Jayakumar, Carl R. Elks
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering. SAFECOMP Workshops (2020)
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)
Cody Fleming, Carl R. Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan T. Carter, Peter A. Beling, Barry M. Horowitz
Cyber-Physical Security Through Resiliency: A Systems-centric Approach. CoRR (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, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody Harrison Fleming
Fundamental Challenges of Cyber-Physical Systems Security Modeling. CoRR (2020)
Smitha Gautham, Abhilash Rajagopala, Athira Varma Jayakumar, Christopher J. Deloglos, Erwin Karincic, Carl R. Elks
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems. CoRR (2020)
Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security. CoRR (2020)
Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security. SAFECOMP (2020)
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody Harrison Fleming
Systems-theoretic security requirements modeling for cyber-physical systems. Syst. Eng. 22 (5) (2019)
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)
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract. ICCPS (2019)
Shawkat Sabah Khairullah, Carl R. Elks
A Self-Repairing Hardware Architecture for Safety-Critical Cyber-Physical-Systems. CoRR (2019)
Georgios Bakirtzis, Brandon J. Simon, Cody Harrison Fleming, Carl R. Elks
Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis. CoRR (2018)
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems. CoRR (2018)
Georgios Bakirtzis, Brandon J. Simon, Cody Harrison Fleming, Carl R. Elks
Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis. VizSEC (2018)
Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody Harrison Fleming
A model-based approach to security analysis for cyber-physical systems. SysCon (2018)
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody Harrison Fleming
A systems approach for eliciting mission-centric security requirements. SysCon (2018)
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody Harrison Fleming
A Systems Approach for Eliciting Mission-Centric Security Requirements. CoRR (2017)
Georgios Bakirtzis, Bryan T. Carter, Cody Harrison Fleming, Carl R. Elks
MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis. CoRR (2017)
Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody Harrison Fleming
A Model-Based Approach to Security Analysis for Cyber-Physical Systems. CoRR (2017)
Marko Miklo, Carl R. Elks, Ronald D. Williams
Design of a high performance FPGA based fault injector for real-time safety-critical systems. ASAP (2011)
Nishant J. George, Carl R. Elks, Barry W. Johnson, John C. Lach
Bit-slice logic interleaving for spatial multi-bit soft-error tolerance. DSN (2010)
Carl R. Elks, Michael Reynolds, Nishant J. George, Marko Miklo, Scott Bingham, Ronald D. Williams, Barry W. Johnson, Michael Waterman, Jeanne Dion
Application of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection system. DSN (2010)
Nishant J. George, Carl R. Elks, Barry W. Johnson, John C. Lach
Transient fault models and AVF estimation revisited. DSN (2010)