Sebastian Schirmer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Trace Repair for Temporal Behavior Trees. | Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan |
| 2025 | RV | A ROS Adapter for RTLola. | Jan Baumeister, Bernd Finkbeiner, Franz Jnger, Florian Kohn, Sebastian Schirmer, Christoph Torens |
| 2024 | CAV | Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Lhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens |
| 2021 | RV | Monitoring with Verified Guarantees. | Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer |
| 2020 | CAV | RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. | Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens |
| 2018 | SAFECOMP | Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft. | Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer |
| 2017 | RV | Stream Runtime Monitoring on UAS. | Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens |
| 2016 | RV | A Stream-Based Specification Language for Network Monitoring. | Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah |