Carl R. Elks

39 papers A 3B 2C 1Journal 22Unranked 11
YearRankTypeTitle / Venue / Authors
2023 — conf
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment.
DSN-S
Alexander Will, Aidan G. Collins, Robert Grizzard, Smitha Gautham, Patrick Martin, Evan Dill, Carl R. Elks
2022 J jnl
Application of Orthogonal Defect Classification for Software Reliability Analysis.
CoRR
Edward Chen, Han Bao, Tate Shorthill, Carl R. Elks, Athira Varma Jayakumar, Nam Dinh
2022 J jnl
Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis.
CoRR
Minghui Sun, Smitha Gautham, Carl R. Elks, Cody H. Fleming
2022 J jnl
Everything You Always Wanted to Know About Embedded Trace.
Computer
Thomas B. Preußer, Smitha Gautham, Abhi D. Rajagopala, Carl R. Elks, Alexander Weiss
2022 J jnl
Failure Mechanism Traceability and Application in Human System Interface of Nuclear Power Plants using RESHA.
CoRR
Edward Chen, Han Bao, Tate Shorthill, Carl R. Elks, Nam Dinh
2022 B conf
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.
SAFECOMP
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks
2022 J jnl
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection.
CoRR
Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira V. Jayakumar, Carl R. Elks
2021 J jnl
Cyberphysical Security Through Resiliency: A Systems-Centric Approach.
Computer
Cody H. Fleming, Carl R. Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan T. Carter, Peter A. Beling, Barry M. Horowitz
2021 — conf
Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems.
ICPS
Smitha Gautham, Athira Varma Jayakumar, Abhi Rajagopala, Carl R. Elks
2021 — conf
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems.
DSN (Supplements)
Richard Hite, Abhi Rajagopala, Smitha Gautham, Christopher J. Deloglos, Athira V. Jayakumar, Aidan G. Collins, Carl R. Elks, Matt Gibson
2021 J jnl
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems.
Computer
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar, Carl R. Elks, D. Richard Kuhn, Raghu N. Kacker, Thomas B. Preußer
2021 J jnl
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems.
CoRR
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar, Carl R. Elks, D. Richard Kuhn, Raghu N. Kacker, Thomas B. Preußer
2020 B conf
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security.
SAFECOMP
Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy
2020 J jnl
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security.
CoRR
Christopher J. Deloglos, Carl R. Elks, Ashraf Tantawy
2020 J jnl
Cyber-Physical Security Through Resiliency: A Systems-centric Approach.
CoRR
Cody H. Fleming, Carl R. Elks, Georgios Bakirtzis, Stephen C. Adams, Bryan T. Carter, Peter A. Beling, Barry M. Horowitz
2020 J jnl
Data-Driven Vulnerability Exploration for Design Phase System Analysis.
IEEE Syst. J.
Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody Harrison Fleming, Carl R. Elks
2020 — conf
Fundamental Challenges of Cyber-Physical Systems Security Modeling.
DSN (Supplements)
Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming
2020 J jnl
Fundamental Challenges of Cyber-Physical Systems Security Modeling.
CoRR
Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming
2020 J jnl
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems.
CoRR
Smitha Gautham, Abhilash Rajagopala, Athira Varma Jayakumar, Christopher J. Deloglos, Erwin Karincic, Carl R. Elks
2020 — conf
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering.
SAFECOMP Workshops
Smitha Gautham, Athira V. Jayakumar, Carl R. Elks
2020 — conf
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems.
IMBSA
Athira V. Jayakumar, Carl R. Elks
2020 J jnl
Self-repairing hardware architecture for safety-critical cyber-physical-systems.
IET Cyper-Phys. Syst.: Theory & Appl.
Shawkat Sabah Khairullah, Carl R. Elks
2020 — conf
Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications.
ISSRE Workshops
Athira Varma Jayakumar, Smitha Gautham, D. Richard Kuhn, Brandon J. Simon, Aidan G. Collins, Thomas Dirsch, Raghu Kacker, Carl R. Elks
2019 J jnl
A Self-Repairing Hardware Architecture for Safety-Critical Cyber-Physical-Systems.
CoRR
Shawkat Sabah Khairullah, Carl R. Elks
2019 — conf
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract.
ICCPS
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks
2019 J jnl
Data Driven Vulnerability Exploration for Design Phase System Analysis.
CoRR
Georgios Bakirtzis, Brandon J. Simon, Aidan G. Collins, Cody H. Fleming, Carl R. Elks
2019 J jnl
Systems-theoretic security requirements modeling for cyber-physical systems.
Syst. Eng.
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming
2018 J jnl
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems.
CoRR
Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks
2018 — conf
A model-based approach to security analysis for cyber-physical systems.
SysCon
Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming
2018 — conf
A systems approach for eliciting mission-centric security requirements.
SysCon
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming
2018 C conf
Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis.
VizSEC
Georgios Bakirtzis, Brandon J. Simon, Cody H. Fleming, Carl R. Elks
2018 J jnl
Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis.
CoRR
Georgios Bakirtzis, Brandon J. Simon, Cody H. Fleming, Carl R. Elks
2017 J jnl
A Model-Based Approach to Security Analysis for Cyber-Physical Systems.
CoRR
Georgios Bakirtzis, Bryan T. Carter, Carl R. Elks, Cody H. Fleming
2017 J jnl
A Systems Approach for Eliciting Mission-Centric Security Requirements.
CoRR
Bryan T. Carter, Georgios Bakirtzis, Carl R. Elks, Cody H. Fleming
2017 J jnl
MISSION AWARE: Evidence-Based, Mission-Centric Cybersecurity Analysis.
CoRR
Georgios Bakirtzis, Bryan T. Carter, Cody H. Fleming, Carl R. Elks
2011 — conf
Design of a high performance FPGA based fault injector for real-time safety-critical systems.
ASAP
Marko Miklo, Carl R. Elks, Ronald D. Williams
2010 A conf
Application of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection system.
DSN
Carl R. Elks, Michael Reynolds, Nishant J. George, Marko Miklo, Scott Bingham, Ronald D. Williams, Barry W. Johnson, Michael Waterman, Jeanne Dion
2010 A conf
Bit-slice logic interleaving for spatial multi-bit soft-error tolerance.
DSN
Nishant J. George, Carl R. Elks, Barry W. Johnson, John C. Lach
2010 A conf
Transient fault models and AVF estimation revisited.
DSN
Nishant J. George, Carl R. Elks, Barry W. Johnson, John C. Lach