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)

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 (ICCPS, 2019)

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 (ISSRE Workshops, 2020)

Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering. - Smitha Gautham; Athira V. Jayakumar; Carl R. Elks (SAFECOMP Workshops, 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)

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 003 (DSN (Supplements), 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 (ICPS, 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)

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection. - Smitha Gautham; Georgios Bakirtzis; Alexander Will; Athira Varma Jayakumar; Carl R. Elks (SAFECOMP, 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)

Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis. - Minghui Sun; Smitha Gautham; Carl R. Elks; Cody H. Fleming (CoRR, 2022)

An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment. - Alexander Will; Aidan G. Collins; Robert Grizzard; Smitha Gautham; Patrick Martin 003; Evan Dill; Carl R. Elks (DSN-S, 2023)