research
∙
04/19/2022
STPA-driven Multilevel Runtime Monitoring for In-time Hazard Detection
Runtime verification or runtime monitoring equips safety-critical cyber-...
share
research
∙
09/20/2020
Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
Advanced embedded system technology is one of the key driving forces beh...
research
∙
12/08/2018
