Smitha Gautham

14 papers B 1Journal 7Unranked 6
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
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 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 — 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 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
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 — 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
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