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)

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 003 (DSN (Supplements), 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 (ICPS, 2021)