| 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 |
| Certification and software verification considerations for autonomous unmanned aircraft C Torens, FM Adolf, L Goormann Journal of Aerospace Information Systems 11 (10), 649-664, 2014 | 39 | 2014 |
| 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 | 32 | 2020 |
| Urban air mobility research at the DLR German Aerospace Center–Getting the HorizonUAM project started BI Schuchardt, D Becker, RG Becker, A End, T Gerz, F Meller, IC Metz, ... AIAA Aviation 2021 Forum, 3197, 2021 | 29 | 2021 |
| Remotetest: A framework for testing distributed systems C Torens, L Ebrecht 2010 Fifth International Conference on Software Engineering Advances, 441-446, 2010 | 27 | 2010 |
| Astm f3269-an industry standard on run time assurance for aircraft systems P Nagarajan, SK Kannan, C Torens, ME Vukas, GF Wilber AIAA Scitech 2021 Forum, 0525, 2021 | 25 | 2021 |
| Guidelines and regulatory framework for machine learning in aviation C Torens, U Durak, JC Dauer AIAA Scitech 2022 Forum, 1132, 2022 | 23 | 2022 |
| 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 |
| HorizonUAM: Safety and security considerations for urban air mobility C Torens, A Volkert, D Becker, D Gerbeth, L Schalk, O Garcia Crespillo, ... AIAA Aviation 2021 Forum, 3199, 2021 | 20 | 2021 |
| Urban air mobility use cases, missions and technology scenarios for the HorizonUAM project L Asmer, H Pak, PS Prakasha, BI Schuchardt, P Weiand, F Meller, ... AIAA Aviation 2021 Forum, 3198, 2021 | 19 | 2021 |
| Safe operation monitoring for specific category unmanned aircraft S Schirmer, C Torens Automated Low-Altitude Air Delivery: Towards Autonomous Cargo Transportation …, 2022 | 13 | 2022 |
| Flight simulator-based verification for model-based avionics applications on multi-core targets P Ulbig, D Müller, C Torens, CC Insaurralde, T Stripf, U Durak AIAA Scitech 2019 Forum, 1976, 2019 | 13 | 2019 |
| 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 | 12 | 2018 |
| 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 | 11 | 2022 |
| Safety versus security in aviation, comparing DO-178C with security standards C Torens AIAA Scitech 2020 Forum, 0242, 2020 | 11 | 2020 |
| Architectural design of a safe mission manager for unmanned aircraft systems H Usach, JA Vila, C Torens, F Adolf Journal of Systems Architecture 90, 94-108, 2018 | 11 | 2018 |
| Behavior driven development for airborne software engineering W Zaeske, U Durak, C Torens AIAA Scitech 2021 Forum, 1917, 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 |
| Using formal requirements and model-checking for verification and validation of an unmanned rotorcraft C Torens, F Adolf AIAA Infotech@ Aerospace, 1645, 2015 | 9 | 2015 |
Florian-Michael Adolfautonomy79 || ex Volocopter DLR FraunhoferVerified email at miplex.org
