Sebastian Schirmer

According to our database, Sebastian Schirmer authored at least 18 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair.

Aniruddh Gopinath Puranic, Sebastian Schirmer, John S. Baras, Calin Belta

CoRR, April, 2026

Trace Repair for Temporal Behavior Trees.

Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Specifying Monitors for Autonomous Cyber-Physical Systems.

Sebastian Schirmer

PhD thesis, 2025

A ROS Adapter for RTLola.

Jan Baumeister, Bernd Finkbeiner, Franz Jünger, Florian Kohn, Sebastian Schirmer, Christoph Torens

Proceedings of the Runtime Verification - 25th International Conference, 2025

2024

Temporal Behavior Trees.

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Dataset, September, 2024

Filling the Gaps: Using Synthetic Low-Altitude Aerial Images to Increase Operational Design Domain Coverage.

Joachim Rüter, Theresa Maienschein, Sebastian Schirmer, Simon Schopferer, Christoph Torens

Sensors, February, 2024

Temporal Behavior Trees - Segmentation.

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Temporal Behavior Trees: Robustness and Segmentation.

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Monitoring with verified guarantees.

Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer

Int. J. Softw. Tools Technol. Transf., August, 2023

2021

Monitoring with Verified Guarantees.

Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer

Proceedings of the Runtime Verification - 21st International Conference, 2021

2020

Towards Using Formal Methods in Prototyping: Advantage or Impediment?

Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.

Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Using Runtime Monitoring to Enhance Offline Analysis.

Sebastian Schirmer, Sebastian Benders

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

2018

Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft.

Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer

Proceedings of the Computer Safety, Reliability, and Security, 2018

2017

Stream Runtime Monitoring on UAS.

Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens

Proceedings of the Runtime Verification - 17th International Conference, 2017

2016

A High-Level LTL Synthesis Format: TLSF v1.1.

Swen Jacobs, Felix Klein, Sebastian Schirmer

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

A Stream-Based Specification Language for Network Monitoring.

Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah

Proceedings of the Runtime Verification - 16th International Conference, 2016