Sebastian Schirmer
Sebastian Schirmer
DLR, Institute of Flight Systems, Department Unmanned Aircraft, Braunschweig, Germany
Verified email at dlr.de
Title
Cited by
Cited by
Year
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
482016
A high-level LTL synthesis format: TLSF v1. 1
S Jacobs, F Klein, S Schirmer
arXiv preprint arXiv:1604.02284, 2016
322016
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
International Conference on Runtime Verification, 33-49, 2017
262017
Towards intelligent system health management using runtime monitoring
C Torens, F Adolf, P Faymonville, S Schirmer
AIAA Information Systems-AIAA Infotech@ Aerospace, 0419, 2017
142017
Runtime monitoring with LOLA
S Schirmer
Saarland University, 2016
92016
RTLola cleared for take-off: monitoring autonomous aircraft
J Baumeister, B Finkbeiner, S Schirmer, M Schwenger, C Torens
International Conference on Computer Aided Verification, 28-39, 2020
52020
Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft
S Schirmer, C Torens, F Nikodem, J Dauer
International Conference on Computer Safety, Reliability, and Security, 465-472, 2018
42018
Formal monitoring of risk-based geofences
S Schirmer, C Torens, F Adolf
2018 AIAA Information Systems-AIAA Infotech@ Aerospace, 1986, 2018
42018
Geofencing requirements for onboard safe operation monitoring
C Torens, F Nikodem, J Dauer, S Schirmer, JS Dittrich
CEAS Aeronautical Journal, 2020
12020
Using Runtime Monitoring to Enhance Offline Analysis.
S Schirmer, S Benders
Software Engineering (Workshops), 83-86, 2019
12019
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
arXiv preprint arXiv:1804.04487, 2018
12018
A High-Level LTL Synthesis Format: TLSF v1. 1 (Extended Version)
S Jacobs, F Klein, S Schirmer
arXiv preprint arXiv:1604.02284, 2016
12016
Towards Using Formal Methods in Prototyping-Advantage or Impediment
S Schirmer, T Teige, C Torens, U Brockmeyer
2020
Formally Bounding UAS Behavior to Concept of Operation with Operation-Specific Scenario Description Language
C Torens, U Durak, F Nikodem, S Schirmer
AIAA Scitech 2019 Forum, 1975, 2019
2019
Considerations of Artificial Intelligence Safety Engineering in Aerospace
S Schirmer, C Torens, F Nikodem, J Dauer
COMPUTER SAFETY, RELIABILITY AND SECURITY, 2018
2018
Auf dem Weg zur unbemannten Luftfracht durch Laufzeitabsicherung
C Torens, F Adolf, S Schirmer
The system can't perform the operation now. Try again later.
Articles 1–16