A stream-based specification language for network monitoring P Faymonville, B Finkbeiner, S Schirmer, H Torfah International Conference on Runtime Verification, 152-168, 2016 | 72 | 2016 |
A high-level LTL synthesis format: TLSF v1. 1 S Jacobs, F Klein, S Schirmer arXiv preprint arXiv:1604.02284, 2016 | 50 | 2016 |
Stream runtime monitoring on UAS FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens International Conference on Runtime Verification, 33-49, 2017 | 40 | 2017 |
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 | 34 | 2020 |
Towards intelligent system health management using runtime monitoring C Torens, F Adolf, P Faymonville, S Schirmer AIAA Information Systems-AIAA Infotech@ Aerospace, 0419, 2017 | 21 | 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 | 14 | 2022 |
Safe operation monitoring for specific category unmanned aircraft S Schirmer, C Torens Automated Low-Altitude Air Delivery: Towards Autonomous Cargo Transportation …, 2022 | 14 | 2022 |
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 | 13 | 2018 |
Runtime monitoring with lola S Schirmer Saarland University, 2016 | 12 | 2016 |
Monitoring with verified guarantees JC Dauer, B Finkbeiner, S Schirmer International Conference on Runtime Verification, 62-80, 2021 | 10 | 2021 |
Geofencing requirements for onboard safe operation monitoring C Torens, F Nikodem, JC Dauer, S Schirmer, JS Dittrich CEAS Aeronautical Journal 11, 767-779, 2020 | 10 | 2020 |
Formal monitoring of risk-based geofences S Schirmer, C Torens, F Adolf 2018 AIAA Information Systems-AIAA Infotech@ Aerospace, 1986, 2018 | 10 | 2018 |
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 |
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 | 4 | 2023 |
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 |
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 | 3 | 2023 |
Build Your Own Training Data--Synthetic Data for Object Detection in Aerial Images L Laux, S Schirmer, S Schopferer, JC Dauer | 2 | 2022 |
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 | 2 | 2021 |
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 | 1 | 2023 |
Using Runtime Monitoring to Enhance Offline Analysis. S Schirmer, S Benders Software Engineering (Workshops), 83-86, 2019 | 1 | 2019 |