7 citations · 8 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022★ 1 cited
Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis
Minghui Suna, Smitha Gauthamb, Carl Elksb +1
Model-based safety assessment has been one of the leading research thrusts of the System Safety Engineering community for over two decades. However, there is still a lack of consen…
cs.SE2022
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
Smitha Gautham, Georgios Bakirtzis, Alexander Will +2
Runtime verification or runtime monitoring equips safety-critical cyber-physical systems to augment design assurance measures and ensure operational safety and security. Cyber-phys…