Carl R. Elks

According to our database, Carl R. Elks authored at least 30 papers between 2010 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

2022

Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis.

Minghui Sun, Smitha Gautham, Carl R. Elks, Cody H. Fleming

CoRR, 2022

Application of Orthogonal Defect Classification for Software Reliability Analysis.

Edward Chen, Han Bao, Tate Shorthill, Carl R. Elks, Athira Varma Jayakumar, Nam Dinh

CoRR, 2022

Failure Mechanism Traceability and Application in Human System Interface of Nuclear Power Plants using RESHA.

Edward Chen, Han Bao, Tate Shorthill, Carl R. Elks, Nam Dinh

CoRR, 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

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.

Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks

Proceedings of the Computer Safety, Reliability, and Security, 2022

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

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

Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems.

Smitha Gautham, Athira Varma Jayakumar, Abhi Rajagopala, Carl R. Elks

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 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

Self-repairing hardware architecture for safety-critical cyber-physical-systems.

Shawkat Sabah Khairullah, Carl R. Elks

IET Cyper-Phys. Syst.: Theory & Appl., 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

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

Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering.

Smitha Gautham, Athira V. Jayakumar, Carl R. Elks

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security.

Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy

Proceedings of the Computer Safety, Reliability, and Security, 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

Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems.

Athira V. Jayakumar, Carl R. Elks

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

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

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

2019

Systems-theoretic security requirements modeling for cyber-physical systems.

Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming

Syst. Eng., 2019

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

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

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

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

Proceedings of the 15th IEEE Symposium on Visualization for Cyber Security, 2018

A systems approach for eliciting mission-centric security requirements.

Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

A model-based approach to security analysis for cyber-physical systems.

Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

2017

MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis.

Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming, Carl R. Elks

CoRR, 2017

2011

Design of a high performance FPGA based fault injector for real-time safety-critical systems.

Marko Miklo, Carl R. Elks, Ronald D. Williams

Proceedings of the 22nd IEEE International Conference on Application-specific Systems, 2011

2010

Transient fault models and AVF estimation revisited.

Nishant J. George, Carl R. Elks, Barry W. Johnson, John C. Lach

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Bit-slice logic interleaving for spatial multi-bit soft-error tolerance.

Nishant J. George, Carl R. Elks, Barry W. Johnson, John C. Lach

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

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

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010