关注
Lukas Westhofen
Lukas Westhofen
Researcher, German Aerospace Center, Institute of Systems Engineering for Future Mobility
在 dlr.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
1432021
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
1042021
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
872020
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
852023
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
322016
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
262022
Benchmarking software model checkers on automotive code
L Westhofen, P Berger, JP Katoen
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
92020
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
82022
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
72023
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
72022
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
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
42023
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
12024
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
12023
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
Advances on the Criticality Analysis for Automated Driving Systems
C Neurohr, L Westhofen, M Butz, M Bollmann, L Putze, T Koopmann, ...
VVMethoden, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–16