Number of items: 5.
Conference or Workshop Item (A Paper)
Dauer, Johann C. and Finkbeiner, Bernd and Schirmer, Sebastian
(2021)
Monitoring with Verified Guarantees.
Baumeister, Jan and Finkbeiner, Bernd and Schirmer, Sebastian and Schwenger, Maximilian and Torens, Christoph
(2020)
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
Adolf, Florian-Michael and Faymonville, Peter and Finkbeiner, Bernd and Schirmer, Sebastian and Torens, Christoph
(2017)
Stream Runtime Monitoring on UAS.
Faymonville, Peter and Finkbeiner, Bernd and Schirmer, Sebastian and Torfah, Hazem
(2016)
A Stream-Based Specification Language for Network Monitoring.
Jacobs, Swen and Klein, Felix and Schirmer, Sebastian
(2016)
A High-Level LTL Synthesis Format: TLSF v1.1.
This list was generated on Wed Jan 29 08:52:37 2025 CET.