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 | 9 | 2021 |
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 | 9 | 2020 |
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 | 8 | 2021 |
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 | 8 | 2019 |
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 | 7 | 2022 |
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 | 5 | 2019 |
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 | 4 | 2022 |
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 | 4 | 2020 |
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 | 4 | 2019 |
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 | 3 | 2021 |
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 | 3 | 2021 |
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 | 3 | 2017 |
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 | 1 | 2021 |
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 | 1 | 2021 |
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 | 1 | 2020 |
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 | 1 | 2019 |
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 |