Artigos com autorizações de acesso público - Christoph TorensSaiba mais
2 artigos não disponíveis publicamente
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
Autorizações: European Commission
Transparent Assessment of Automated Human Detection in Aerial Images via Explainable AI
S Narteni, M Mongelli, J Rüter, C Torens, U Durak
AIAA SCITECH 2025 Forum, 2676, 2025
Autorizações: European Commission
6 artigos disponíveis publicamente
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
Autorizações: German Research Foundation, European Commission
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
International Conference on Runtime Verification, 33-49, 2017
Autorizações: German Research Foundation, European Commission
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
Autorizações: Government of Spain
From Operational Scenarios to Synthetic Data: Simulation-Based Data Generation for AI-Based Airborne Systems
S Gupta, U Durak, O Ellis, C Torens
AIAA SciTech 2022 Forum, 2103, 2022
Autorizações: European Commission
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
Autorizações: US National Science Foundation, US National Aeronautics and Space Administration
The Future of Urban Air Mobility
BI Schuchardt, H Pak, F Meller, C Torens, A End
DLR, 2024
Autorizações: US National Aeronautics and Space Administration
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador