A Stream-Based Specification Language for Network Monitoring. - Peter Faymonville; Bernd Finkbeiner; Sebastian Schirmer; Hazem Torfah (RV, 2016)

A High-Level LTL Synthesis Format: TLSF v1.1. - Swen Jacobs; Felix Klein 001; Sebastian Schirmer (SYNT@CAV, 2016)

Stream Runtime Monitoring on UAS. - Florian-Michael Adolf; Peter Faymonville; Bernd Finkbeiner; Sebastian Schirmer; Christoph Torens (RV, 2017)

Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft. - Sebastian Schirmer; Christoph Torens; Florian Nikodem; Johann C. Dauer (SAFECOMP Workshops, 2018)

Using Runtime Monitoring to Enhance Offline Analysis. - Sebastian Schirmer; Sebastian Benders (Software Engineering (Workshops), 2019)

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. - Jan Baumeister; Bernd Finkbeiner; Sebastian Schirmer; Maximilian Schwenger; Christoph Torens (CAV (2), 2020)

Towards Using Formal Methods in Prototyping: Advantage or Impediment? - Sebastian Schirmer; Tino Teige; Christoph Torens; Udo Brockmeyer (Software Engineering (Workshops), 2020)

Monitoring with Verified Guarantees. - Johann C. Dauer; Bernd Finkbeiner; Sebastian Schirmer (RV, 2021)

Monitoring with verified guarantees. - Jan Baumeister; Johann C. Dauer; Bernd Finkbeiner; Sebastian Schirmer (Int. J. Softw. Tools Technol. Transf., 2023)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. - Jan Baumeister; Bernd Finkbeiner; Florian Kohn; Florian Löhr; Guido Manfredi; Sebastian Schirmer; Christoph Torens (CAV (2), 2024)

Temporal Behavior Trees: Robustness and Segmentation. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (HSCC, 2024)

Temporal Behavior Trees - Segmentation. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (HSCC, 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, 2024)

Temporal Behavior Trees. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (Zenodo, 2024)