Follow
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
702016
A high-level LTL synthesis format: TLSF v1. 1
S Jacobs, F Klein, S Schirmer
arXiv preprint arXiv:1604.02284, 2016
482016
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
International Conference on Runtime Verification, 33-49, 2017
402017
RTLola cleared for take-off: monitoring autonomous aircraft
J Baumeister, B Finkbeiner, S Schirmer, M Schwenger, C Torens
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
312020
Towards intelligent system health management using runtime monitoring
C Torens, F Adolf, P Faymonville, S Schirmer
AIAA Information Systems-AIAA Infotech@ Aerospace, 0419, 2017
212017
Safe operation monitoring for specific category unmanned aircraft
S Schirmer, C Torens
Automated Low-Altitude Air Delivery: Towards Autonomous Cargo Transportation …, 2022
132022
Machine learning verification and safety for unmanned aircraft-a literature study
C Torens, F Juenger, S Schirmer, S Schopferer, TD Maienschein, ...
AIAA Scitech 2022 Forum, 1133, 2022
112022
Considerations of artificial intelligence safety engineering for unmanned aircraft
S Schirmer, C Torens, F Nikodem, J Dauer
Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE …, 2018
112018
Runtime monitoring with lola
S Schirmer
Saarland University, 2016
112016
Monitoring with verified guarantees
JC Dauer, B Finkbeiner, S Schirmer
International Conference on Runtime Verification, 62-80, 2021
102021
Geofencing requirements for onboard safe operation monitoring
C Torens, F Nikodem, JC Dauer, S Schirmer, JS Dittrich
CEAS Aeronautical Journal 11, 767-779, 2020
102020
Formal monitoring of risk-based geofences
S Schirmer, C Torens, F Adolf
2018 AIAA Information Systems-AIAA Infotech@ Aerospace, 1986, 2018
102018
A multi-disciplinary scenario simulation for low-altitude unmanned air delivery
S Schopferer, A Donkels, S Schirmer, JC Dauer
Automated Low-Altitude Air Delivery: Towards Autonomous Cargo Transportation …, 2022
52022
A hierarchy of monitoring properties for autonomous systems
S Schirmer, C Torens, JC Dauer, J Baumeister, B Finkbeiner, KY Rozier
AIAA SCITECH 2023 Forum, 2588, 2023
42023
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
42019
Ensuring Safety of Machine Learning Components Using Operational Design Domain
C Torens, F Juenger, S Schirmer, S Schopferer, D Zhukov, JC Dauer
AIAA SciTech 2023 Forum, 1124, 2023
22023
Build Your Own Training Data--Synthetic Data for Object Detection in Aerial Images
L Laux, S Schirmer, S Schopferer, JC Dauer
22022
Machine Learning Applications in Unmanned Aviation: Operational Risks and Certification Considerations
S Schopferer, A Donkels, C Torens, S Benders, S Schirmer, A Funke, ...
DEEL Workshop: Machine Learning in Certified Systems, 2021
22021
Monitoring with verified guarantees
J Baumeister, JC Dauer, B Finkbeiner, S Schirmer
International Journal on Software Tools for Technology Transfer 25 (4), 593-616, 2023
12023
Using Runtime Monitoring to Enhance Offline Analysis.
S Schirmer, S Benders
Software Engineering (Workshops), 83-86, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20