Smitha Gautham

According to our database, Smitha Gautham authored at least 12 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment.

Alexander Will, Aidan G. Collins, Robert Grizzard, Smitha Gautham, Patrick Martin, Evan Dill, Carl R. Elks

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis.

Minghui Sun, Smitha Gautham, Carl R. Elks, Cody H. Fleming

CoRR, 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

STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection.

Smitha Gautham, Georgios Bakirtzis, Alexander Will, Athira Varma Jayakumar, Carl R. Elks

Proceedings of the Computer Safety, Reliability, and Security, 2022

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

Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems.

Smitha Gautham, Athira Varma Jayakumar, Abhi Rajagopala, Carl R. Elks

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

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

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

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

Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering.

Smitha Gautham, Athira V. Jayakumar, Carl R. Elks

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

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

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

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

Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

2018

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