1 citations · 2 across the 6 of their papers we have counts for
Showing 2020Show 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.LO2020★ 1 cited
Dependency-based Compositional Synthesis (Full Version)
Bernd Finkbeiner, Noemi Passing
Despite many recent advances, reactive synthesis is still not really a practical technique. The grand challenge is to scale from small transition systems, where synthesis performs…