Seguir
Lukas Westhofen
Lukas Westhofen
Researcher, German Aerospace Center, Institute of Systems Engineering for Future Mobility
Dirección de correo verificada de dlr.de
Título
Citado por
Citado por
Año
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
1322021
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
952021
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
842020
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
812023
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
292016
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
212022
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
62022
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
52022
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
42023
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
42022
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
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
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains
L Westhofen, C Neurohr, JC Jung, D Neider
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–14