Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems
Weiss, Alexander, Gautham, Smitha, Athira Varma Jayakumar, Elks, Carl, Kuhn, D Richard, Kacker, Raghu N, Preusser, Thomas B
Published in arXiv.org (05.02.2021)
Published in arXiv.org (05.02.2021)
Get full text
Paper
Journal Article
SymPLe: Complexity-Aware Design for Safety Critical I&C Systems
Hite, Richard, Rajagopala, Abhi, Gautham, Smitha, Deloglos, Christopher, Jayakumar, Athira, Collins, Aidan, Elks, Carl, Gibson, Matt
Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01.06.2021)
Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) (01.06.2021)
Get full text
Conference Proceeding
Realization of a Model-Based DevOps Process for Industrial Safety Critical Cyber Physical Systems
Gautham, Smitha, Jayakumar, Athira Varma, Rajagopala, Abhi, Elks, Carl
Published in 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) (10.05.2021)
Published in 2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) (10.05.2021)
Get full text
Conference Proceeding
Application of Orthogonal Defect Classification for Software Reliability Analysis
Chen, Edward, Bao, Han, Shorthill, Tate, Elks, Carl, Jayakumar, Athira Varma, Dinh, Nam
Year of Publication 24.05.2022
Year of Publication 24.05.2022
Get full text
Journal Article
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
Gautham, Smitha, Bakirtzis, Georgios, Will, Alexander, Jayakumar, Athira V, Elks, Carl R
Year of Publication 19.04.2022
Year of Publication 19.04.2022
Get full text
Journal Article
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
Gautham, Smitha, Rajagopala, Abhilash, Jayakumar, Athira Varma, Deloglos, Christopher, Karincic, Erwin, Elks, Carl
Year of Publication 20.09.2020
Year of Publication 20.09.2020
Get full text
Journal Article
Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications
Jayakumar, Athira Varma, Gautham, Smitha, Kuhn, Richard, Simons, Brandon, Collins, Aidan, Dirsch, Thomas, Kacker, Raghu, Elks, Carl
Published in 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2020)
Published in 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2020)
Get full text
Conference Proceeding
OVERLAYS FOR SOFTWARE AND HARDWARE VERIFICATION
JAYAKUMAR, Athira, HITE, Richard, RAJAGOPALA, Abhilash Devalapura, GAUTHAM, Smitha, ELKS, Carl, DELOGLOS, Christopher, GIBSON, JR., Thomas Monroe
Year of Publication 07.02.2024
Get full text
Year of Publication 07.02.2024
Patent
OVERLAYS FOR SOFTWARE AND HARDWARE VERIFICATION
JAYAKUMAR, Athira, HITE, Richard, RAJAGOPALA, Abhilash Devalapura, GAUTHAM, Smitha, GIBSON, JR, ELKS, Carl, DELOGLOS, Christopher
Year of Publication 06.10.2022
Get full text
Year of Publication 06.10.2022
Patent