Sebastian Schirmer

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 17

Top Topics

Deterministic Automata

Temporal Behavior

Top Venues

Publications

Joachim Rüter, Theresa Maienschein, Sebastian Schirmer, Simon Schopferer, Christoph Torens
Filling the Gaps: Using Synthetic Low-Altitude Aerial Images to Increase Operational Design Domain Coverage. Sensors 24 (4) (2024)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) (2024)
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
Temporal Behavior Trees - Segmentation. HSCC (2024)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned. CoRR (2024)
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
Temporal Behavior Trees: Robustness and Segmentation. HSCC (2024)
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with verified guarantees. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with Verified Guarantees. RV (2021)
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with Verified Guarantees. CoRR (2021)
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CAV (2) (2020)
Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer
Towards Using Formal Methods in Prototyping: Advantage or Impediment? Software Engineering (Workshops) (2020)
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. CoRR (2020)
Sebastian Schirmer, Sebastian Benders
Using Runtime Monitoring to Enhance Offline Analysis. Software Engineering (Workshops) (2019)
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
Stream Runtime Monitoring on UAS. CoRR (2018)
Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer
Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft. SAFECOMP Workshops (2018)
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
Stream Runtime Monitoring on UAS. RV (2017)
Swen Jacobs, Felix Klein, Sebastian Schirmer
A High-Level LTL Synthesis Format: TLSF v1.1. SYNT@CAV (2016)
Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah
A Stream-Based Specification Language for Network Monitoring. RV (2016)