3 papers
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
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…
cs.DS2016
Representing Pattern Matching Algorithms by Polynomial-Size Automata
Tobias Marschall, Noemi E. Passing
Pattern matching algorithms to find exact occurrences of a pattern in a text have been analyzed extensively with respect to asymptotic best, worst, and average…