research
∙
11/09/2021
RTLola on Board: Testing Real Driving Emissions on your Phone
This paper is about shipping runtime verification to the masses. It pres...
share
research
∙
12/15/2020
Monitoring Cyber-Physical Systems: From Design to Integration
Cyber-physical systems are inherently safety-critical. The deployment of...
research
∙
12/15/2020
Verified Rust Monitors for Lola Specifications
The safety of cyber-physical systems rests on the correctness of their m...
research
∙
03/27/2020
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
The autonomous control of unmanned aircraft is a highly safety-critical ...
research
∙
03/18/2020
FPGA Stream-Monitoring of Real-time Properties
An essential part of cyber-physical systems is the online evaluation of ...
research
∙
07/21/2018
Robust Monitoring of Linear Temporal Properties
Runtime verification is commonly used to detect and, if possible, react ...
research
∙
11/10/2017