Folgen
Lukas Westhofen
Lukas Westhofen
Researcher, German Aerospace Center, Institute of Systems Engineering for Future Mobility
Bestätigte E-Mail-Adresse bei dlr.de
Titel
Zitiert von
Zitiert von
Jahr
6-layer model for a structured description and categorization of urban traffic and environment
M Scholtes, L Westhofen, LR Turner, K Lotto, M Schuldes, H Weber, ...
IEEE Access 9, 59131-59147, 2021
1232021
Criticality analysis for the verification and validation of automated vehicles
C Neurohr, L Westhofen, M Butz, MH Bollmann, U Eberle, R Galbas
IEEE Access 9, 18016-18041, 2021
912021
Fundamental considerations around scenario-based testing for automated driving
C Neurohr, L Westhofen, T Henning, T De Graaff, E Möhlmann, E Böde
2020 IEEE intelligent vehicles symposium (IV), 121-127, 2020
782020
Criticality metrics for automated driving: A review and suitability analysis of the state of the art
L Westhofen, C Neurohr, T Koopmann, M Butz, B Schütt, F Utesch, ...
Archives of Computational Methods in Engineering 30 (1), 1-35, 2023
742023
Bounded model checking for probabilistic programs
N Jansen, C Dehnert, BL Kaminski, JP Katoen, L Westhofen
International Symposium on Automated Technology for Verification and …, 2016
282016
Using ontologies for the formalization and recognition of criticality for automated driving
L Westhofen, C Neurohr, M Butz, M Scholtes, M Schuldes
IEEE Open Journal of Intelligent Transportation Systems 3, 519-538, 2022
172022
Benchmarking software model checkers on automotive code
L Westhofen, P Berger, JP Katoen
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
82020
Towards a Congruent Interpretation of Traffic Rules for Automated Driving – Experiences and Challenges
L Westhofen, I Stierand, JS Becker, E Möhlmann, W Hagemann
International Workshop on Methodologies for Translating Legal Norms into …, 2022
42022
Simulation of Abstract Scenarios: Towards Automated Tooling in Criticality Analysis
JS Becker, T Koopmann, B Neurohr, C Neurohr, L Westhofen, B Wirtz, ...
Autonomes Fahren. Ein Treiber zukünftiger Mobilität, 42-51, 2022
42022
Grasping causality for the explanation of criticality for automated driving
T Koopmann, C Neurohr, L Putze, L Westhofen, R Gansch, A Adee
arXiv preprint arXiv:2210.15375, 2022
32022
On quantification for SOTIF validation of automated driving systems
L Putze, L Westhofen, T Koopmann, E Böde, C Neurohr
2023 IEEE Intelligent Vehicles Symposium (IV), 1-8, 2023
22023
Leveraging the GIDAS Database for the Criticality Analysis of Automated Driving Systems
S Babisch, C Neurohr, L Westhofen, S Schoenawa, H Liers
Journal of Advanced Transportation 2023, 2023
22023
Providing evidence for correct and timely functioning of software safety mechanisms
JS Becker, B Koopmann, I Stierand, L Westhofen
Gesellschaft für Informatik eV, 2023
12023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13