7 citations · 9 across the 3 of their papers we have counts for
3 papers
Application of Orthogonal Defect Classification for Software Reliability Analysis
Edward Chen, Han Bao, Tate Shorthill +3
The modernization of existing and new nuclear power plants with digital instrumentation and control systems (DI&C) is a recent and highly trending topic. However, there lacks stron…
Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems
Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar +4
Understanding fault types can lead to novel approaches to debugging and runtime verification. Dealing with complex faults, particularly in the challenging area of embedded systems,…
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
Smitha Gautham, Abhilash Rajagopala, Athira Varma Jayakumar +3
Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are comprised of mu…