| A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016 | 76 | 2016 |
| A high-level LTL synthesis format: TLSF v1. 1 S Jacobs, F Klein, S Schirmer arXiv preprint arXiv:1604.02284, 2016 | 52 | 2016 |
| 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 | 46 | 2020 |
| Stream runtime monitoring on UAS FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens International Conference on Runtime Verification, 33-49, 2017 | 42 | 2017 |
| Towards intelligent system health management using runtime monitoring C Torens, F Adolf, P Faymonville, S Schirmer AIAA Information Systems-AIAA Infotech@ Aerospace, 0419, 2017 | 22 | 2017 |
| 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 | 18 | 2022 |
| Safe operation monitoring for specific category unmanned aircraft S Schirmer, C Torens Automated Low-Altitude Air Delivery: Towards Autonomous Cargo Transportation …, 2022 | 15 | 2022 |
| Geofencing requirements for onboard safe operation monitoring C Torens, F Nikodem, JC Dauer, S Schirmer, JS Dittrich CEAS Aeronautical Journal 11, 767-779, 2020 | 15 | 2020 |
| 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 | 14 | 2018 |
| Monitoring with verified guarantees JC Dauer, B Finkbeiner, S Schirmer International Conference on Runtime Verification, 62-80, 2021 | 12 | 2021 |
| Runtime monitoring with lola S Schirmer Saarland University, 2016 | 12 | 2016 |
| Formal monitoring of risk-based geofences S Schirmer, C Torens, F Adolf 2018 AIAA Information Systems-AIAA Infotech@ Aerospace, 1986, 2018 | 11 | 2018 |
| 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 | 7 | 2023 |
| 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 | 6 | 2023 |
| Monitoring unmanned aircraft: specification, integration, and lessons-learned J Baumeister, B Finkbeiner, F Kohn, F Löhr, G Manfredi, S Schirmer, ... International Conference on Computer Aided Verification, 207-218, 2024 | 5 | 2024 |
| Filling the Gaps: Using Synthetic Low-Altitude Aerial Images to Increase Operational Design Domain Coverage J Rüter, T Maienschein, S Schirmer, S Schopferer, C Torens Sensors 24 (4), 1144, 2024 | 5 | 2024 |
| Build Your Own Training Data--Synthetic Data for Object Detection in Aerial Images L Laux, S Schirmer, S Schopferer, JC Dauer | 5 | 2022 |
| 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 | 5 | 2022 |
| 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 | 4 | 2019 |
| 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 | 3 | 2021 |