Christoph Torens

Christoph Torens

German Aerospace Center - Köln / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4509817
German Aerospace Centre
person_outline Christoph Torens's MOST POPULAR ARTICLES
1-) RTLola cleared for take-off: monitoring autonomous aircraftJ Baumeister, B Finkbeiner, S Schirmer, M Schwenger, C TorensComputer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020442020
2-) Stream runtime monitoring on UASFM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C TorensInternational Conference on Runtime Verification, 33-49, 2017412017
3-) Certification and software verification considerations for autonomous unmanned aircraftC Torens, FM Adolf, L GoormannJournal of Aerospace Information Systems 11 (10), 649-664, 2014392014
4-) Urban air mobility research at the DLR German Aerospace Center–Getting the HorizonUAM project startedBI Schuchardt, D Becker, RG Becker, A End, T Gerz, F Meller, IC Metz, ...AIAA Aviation 2021 Forum, 3197, 2021362021
5-) Guidelines and regulatory framework for machine learning in aviationC Torens, U Durak, JC DauerAIAA Scitech 2022 Forum, 1132, 2022352022