Sebastian Schirmer

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