Everything You Always Wanted to Know About Embedded Trace
Preuser, Thomas B., Gautham, Smitha, Rajagopala, Abhi D., Elks, Carl R., Weiss, Alexander
Published in Computer (Long Beach, Calif.) (01.02.2022)
Published in Computer (Long Beach, Calif.) (01.02.2022)
Get full text
Journal Article
Cyberphysical Security Through Resiliency: A Systems-Centric Approach
Fleming, Cody H, Elks, Carl, Bakirtzis, Georgios, Adams, Stephen, Carter, Bryan, Beling, Peter, Horowitz, Barry
Published in Computer (Long Beach, Calif.) (01.06.2021)
Published in Computer (Long Beach, Calif.) (01.06.2021)
Get full text
Journal Article
Data-Driven Vulnerability Exploration for Design Phase System Analysis
Bakirtzis, Georgios, Simon, Brandon J., Collins, Aidan G., Fleming, Cody Harrison, Elks, Carl R.
Published in IEEE systems journal (01.12.2020)
Published in IEEE systems journal (01.12.2020)
Get full text
Journal Article
Self-repairing hardware architecture for safety-critical cyber-physical-systems
Khairullah, Shawkat S, Elks, Carl R
Published in IET Cyber-Physical Systems: Theory & Applications (01.03.2020)
Published in IET Cyber-Physical Systems: Theory & Applications (01.03.2020)
Get full text
Journal Article
Systems‐theoretic security requirements modeling for cyber‐physical systems
Carter, Bryan T., Bakirtzis, Georgios, Elks, Carl R., Fleming, Cody H.
Published in Systems engineering (01.09.2019)
Published in Systems engineering (01.09.2019)
Get full text
Journal Article
Deep-Learning-Based Digitization of Protein-Self-Assembly to Print Biodegradable Physically Unclonable Labels for Device Security
Pradhan, Sayantan, Rajagopala, Abhi D., Meno, Emma, Adams, Stephen, Elks, Carl R., Beling, Peter A., Yadavalli, Vamsi K.
Published in Micromachines (Basel) (28.08.2023)
Published in Micromachines (Basel) (28.08.2023)
Get full text
Journal Article
Fundamental Challenges of Cyber-Physical Systems Security Modeling
Bakirtzis, Georgios, Ward, Garrett, Deloglos, Christopher, Elks, Carl, Horowitz, Barry, Fleming, Cody
Published in 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S) (01.06.2020)
Published in 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S) (01.06.2020)
Get full text
Conference Proceeding
Defining and characterizing model-based safety assessment: A review
Sun, Minghui, Gautham, Smitha, Ge, Quanbo, Elks, Carl, Fleming, Cody
Published in Safety science (01.04.2024)
Published in Safety science (01.04.2024)
Get full text
Journal Article
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems
Hite, Richard, Rajagopala, Abhi, Gautham, Smitha, Deloglos, Christopher, Jayakumar, Athira, Collins, Aidan, Elks, Carl, Gibson, Matt
Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01.06.2021)
Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01.06.2021)
Get full text
Conference Proceeding
Self-Repairing Hardware Architecture for Safety-Critical Cyber-Physical-Systems
Get full text
Paper
Journal Article
Transient fault models and AVF estimation revisited
George, N J, Elks, C R, Johnson, B W, Lach, J
Published in 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) (01.06.2010)
Published in 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN) (01.06.2010)
Get full text
Conference Proceeding
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment
Will, Alexander, Collins, Aidan, Grizzard, Robert, Gautham, Smitha, Martin, Patrick, Dill, Evan, Elks, Carl
Published in 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01.06.2023)
Published in 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01.06.2023)
Get full text
Conference Proceeding
Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems
Gautham, Smitha, Jayakumar, Athira Varma, Rajagopala, Abhi, Elks, Carl
Published in 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) (10.05.2021)
Published in 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) (10.05.2021)
Get full text
Conference Proceeding