Follow
Smitha Gautham
Smitha Gautham
Verified email at vcu.edu
Title
Cited by
Cited by
Year
Understanding and fixing complex faults in embedded cyberphysical systems
A Weiss, S Gautham, AV Jayakumar, CR Elks, DR Kuhn, RN Kacker, ...
Computer 54 (1), 49-60, 2021
92021
Multilevel runtime security and safety monitoring for cyber physical systems using model-based engineering
S Gautham, AV Jayakumar, C Elks
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020
92020
Realization of a model-based DevOps process for industrial safety critical cyber physical systems
S Gautham, AV Jayakumar, A Rajagopala, C Elks
2021 4th IEEE International Conference on Industrial Cyber-Physical Systems …, 2021
82021
A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstract
S Gautham, G Bakirtzis, MT Leccadito, RH Klenke, CR Elks
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019
82019
STPA-driven multilevel runtime monitoring for In-time hazard detection
S Gautham, G Bakirtzis, A Will, AV Jayakumar, CR Elks
International Conference on Computer Safety, Reliability, and Security, 158-172, 2022
72022
Preliminary results of a bounded exhaustive testing study for software in embedded digital devices in nuclear power applications
C Elks, A Jayakumar, A Collins, R Hite, T Karles, C Deloglos, B Simmons, ...
Idaho National Laboratory US Department of Energy Office of Nuclear Energy …, 2019
52019
Systematic software testing of critical embedded digital devices in nuclear power applications
AV Jayakumar, S Gautham, R Kuhn, B Simons, A Collins, T Dirsch, ...
2020 IEEE International Symposium on Software Reliability Engineering …, 2020
42020
Achieving verifiable and high integrity instrumentation and control systems through complexity awareness and constrained design. final report
M Gibson, C Elks, A Tantawy, R Hite, S Gautham, A Jayakumar, ...
Electric Power Research Institute (EPRI), Charlotte, NC (United States), 2019
42019
Pervasive Runtime Monitoring for Detection and Assessment of Emerging Hazards for Advanced UAM Systems
C Elks, P Martin, RH Klenke, S Gautham, B Simon, A Will, P Truslow, ...
AIAA AVIATION 2022 Forum, 3541, 2022
32022
A Pseudo Exhaustive Software Testing Framework for Embedded Digital Devices in Nuclear Power
A Jayakumar, DR Kuhn, B Simons, A Collins, S Gautham, R Hite, ...
National Institute of Standards and Technology, Gaithersburg, 2021
32021
Model-based design assurance and verification in the context of iec-61508 sil-4 standard
S Gautham, A Jayakumar, R Hite, C Deloglos, A Tantawy, M Gibson, ...
ANS NPIC & HMIT, 2021
32021
SymPLe 1131: A novel architecture solution for the realization of verifiable digital I&C systems and embedded digital devices
CR Elks, T Bakker, R Hite, S Gautham, V Venkatesh, J Moore
10th International Topical Meeting on Nuclear Plant Instrumentation, Control …, 2017
32017
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems
R Hite, A Rajagopala, S Gautham, C Deloglos, A Jayakumar, A Collins, ...
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
12021
Symple: A complexity-aware approach for realizing verifiable fpga-based digital i&c for safety critical applications
R Hite, C Deloglos, A Jayakumar, S Gautham, A Collins, A Rajagopala, ...
ANS NPIC & HMIT, 2021
12021
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
S Gautham, A Rajagopala, AV Jayakumar, C Deloglos, E Karincic, C Elks
arXiv preprint arXiv:2009.09533, 2020
12020
Realization of a automated t-way combinatorial testing approach for a software based embedded digital device
DC Elks, C Deloglos, A Jayakumar, DA Tantawy, R Hite, S Gautham
Idaho National Lab.(INL), Idaho Falls, ID (United States), 2019
12019
Defining and characterizing model-based safety assessment: a review
M Sun, S Gautham, Q Ge, C Elks, C Fleming
Safety science 172, 106425, 2024
2024
An Integrated Runtime Verification and Simulation Testbed for UAM Hazard Assessment
A Will, A Collins, R Grizzard, S Gautham, P Martin, E Dill, C Elks
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023
2023
Everything You Always Wanted to Know About Embedded Trace
TB Preußer, S Gautham, AD Rajagopala, CR Elks, A Weiss
Computer 55 (2), 34-43, 2022
2022
Multilevel Runtime Verification for Safety and Security Critical Cyber Physical Systems from a Model Based Engineering Perspective
SM Gautham
2020
The system can't perform the operation now. Try again later.
Articles 1–20