Carl R. Elks - RankMe

39 papers A 3B 2C 1Journal 22Unranked 11

Year	Rank	Type	Title / 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