25 citations · 42 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
Verified Rust Monitors for Lola Specifications
Bernd Finkbeiner, Stefan Oswald, Noemi Passing +1
The safety of cyber-physical systems rests on the correctness of their monitoring mechanisms. This is problematic if the specification of the monitor is implemented manually or int…
cs.SE2020
Monitoring Cyber-Physical Systems: From Design to Integration
Maximilian Schwenger
Cyber-physical systems are inherently safety-critical. The deployment of a runtime monitor significantly increases confidence in their safety. The effectiveness of the monitor can…