Følg
Lukas Westhofen
Lukas Westhofen
Researcher, German Aerospace Center, Institute of Systems Engineering for Future Mobility
Verificeret mail på dlr.de - Startside
Titel
Citeret af
Citeret af
År
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
1912021
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
1262023
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
1232021
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
1122020
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
382022
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
342016
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
132022
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 (1), 1349269, 2023
112023
Benchmarking software model checkers on automotive code
L Westhofen, P Berger, JP Katoen
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
112020
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
102022
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
72023
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
62022
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
32024
Providing evidence for correct and timely functioning of software safety mechanisms
JS Becker, B Koopmann, I Stierand, L Westhofen
Software Engineering 2023 Workshops, 66-77, 2023
22023
Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries
L Westhofen, C Neurohr, JC Jung, D Neider
NASA Formal Methods Symposium, 314-321, 2024
2024
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–15