38 citations · 208 across the 29 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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…
cs.SE2020★ 38 cited
An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering
Georgios Bakirtzis, Tim Sherburne, Stephen Adams +3
System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the man…