Login / Signup
Smitha Gautham
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 14
Top Topics
Software Testing
Physical Systems
Cyber Physical
Nuclear Power
Top Venues
CoRR
Computer
ICPS
SAFECOMP Workshops
</>
Publications
</>
Alexander Will
,
Aidan G. Collins
,
Robert Grizzard
,
Smitha Gautham
,
Patrick Martin
,
Evan Dill
,
Carl R. Elks
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment.
DSN-S
(2023)
Thomas B. Preußer
,
Smitha Gautham
,
Abhi D. Rajagopala
,
Carl R. Elks
,
Alexander Weiss
Everything You Always Wanted to Know About Embedded Trace.
Computer
55 (2) (2022)
Smitha Gautham
,
Georgios Bakirtzis
,
Alexander Will
,
Athira Varma Jayakumar
,
Carl R. Elks
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.
SAFECOMP
(2022)
Smitha Gautham
,
Georgios Bakirtzis
,
Alexander Will
,
Athira V. Jayakumar
,
Carl R. Elks
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection.
CoRR
(2022)
Minghui Sun
,
Smitha Gautham
,
Carl Elks
,
Cody H. Fleming
Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis.
CoRR
(2022)
Alexander Weiss
,
Smitha Gautham
,
Athira Varma Jayakumar
,
Carl R. Elks
,
D. Richard Kuhn
,
Raghu N. Kacker
,
Thomas B. Preußer
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems.
Computer
54 (1) (2021)
Smitha Gautham
,
Athira Varma Jayakumar
,
Abhi Rajagopala
,
Carl R. Elks
Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems.
ICPS
(2021)
Richard Hite
,
Abhi Rajagopala
,
Smitha Gautham
,
Christopher J. Deloglos
,
Athira V. Jayakumar
,
Aidan G. Collins
,
Carl R. Elks
,
Matt Gibson
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems.
DSN (Supplements)
(2021)
Alexander Weiss
,
Smitha Gautham
,
Athira Varma Jayakumar
,
Carl R. Elks
,
D. Richard Kuhn
,
Raghu N. Kacker
,
Thomas B. Preußer
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems.
CoRR
(2021)
Smitha Gautham
,
Athira V. Jayakumar
,
Carl R. Elks
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering.
SAFECOMP Workshops
(2020)
Athira Varma Jayakumar
,
Smitha Gautham
,
D. Richard Kuhn
,
Brandon J. Simon
,
Aidan G. Collins
,
Thomas Dirsch
,
Raghu Kacker
,
Carl R. Elks
Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications.
ISSRE Workshops
(2020)
Smitha Gautham
,
Abhilash Rajagopala
,
Athira Varma Jayakumar
,
Christopher J. Deloglos
,
Erwin Karincic
,
Carl R. Elks
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems.
CoRR
(2020)
Smitha Gautham
,
Georgios Bakirtzis
,
Matthew T. Leccadito
,
Robert H. Klenke
,
Carl R. Elks
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract.
ICCPS
(2019)
Smitha Gautham
,
Georgios Bakirtzis
,
Matthew T. Leccadito
,
Robert H. Klenke
,
Carl R. Elks
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems.
CoRR
(2018)