Lukas Westhofen

According to our database, Lukas Westhofen authored at least 17 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Test Coverage of Automated Robotic Systems in Open World Environments.

Lukas Westhofen, Till Schallau, Dominik Schmid, Stefan Naujokat, Falk Howar, Daniel Neider

Proceedings of the Formal Methods - 27th International Symposium, 2026

On Using Ontologies in the Engineering of Intelligent Cyber-Physical Systems.

Ingo Stierand, Lukas Westhofen, Willem Hagemann

Proceedings of the Engineering Safe and Trustworthy Cyber Physical Systems, 2026

2025

On Scenario Formalisms for Automated Driving.

Christian Neurohr, Lukas Westhofen, Tjark Koopmann, Eike Möhlmann, Eckard Böde, Axel Hahn

CoRR, April, 2025

TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems.

Philipp Borchers, Tjark Koopmann, Lukas Westhofen, Jan Steffen Becker, Lina Putze, Dominik Grundt, Thies de Graaff, Vincent Kalwa, Christian Neurohr

Sci. Comput. Program., 2025

Grasping Causality for the Explanation of Criticality for Automated Driving.

Tjark Koopmann, Lina Putze, Lukas Westhofen, Roman Gansch, Ahmad Adee, Christian Neurohr

IEEE Access, 2025

Temporal Conjunctive Query Answering via Rewriting.

Lukas Westhofen, Jean Christoph Jung, Daniel Neider

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains.

Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries.

Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

On Quantification for SOTIF Validation of Automated Driving Systems.

Lina Putze, Lukas Westhofen, Tjark Koopmann, Eckard Böde, Christian Neurohr

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

2022

Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving.

Lukas Westhofen, Christian Neurohr, Martin Butz, Maike Scholtes, Michael Schuldes

CoRR, 2022

2021

Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art.

Lukas Westhofen, Christian Neurohr, Tjark Koopmann, Martin Butz, Barbara Schütt, Fabian Utesch, Birte Kramer, Christian Gutenkunst, Eckard Böde

CoRR, 2021

6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment.

Maike Scholtes, Lukas Westhofen, Lara Ruth Turner, Katrin Lotto, Michael Schuldes, Hendrik Weber, Nicolas Wagener, Christian Neurohr, Martin Bollmann, Franziska Körtke, Johannes Hiller, Michael Hoss, Julian Bock, Lutz Eckstein

IEEE Access, 2021

Criticality Analysis for the Verification and Validation of Automated Vehicles.

Christian Neurohr, Lukas Westhofen, Martin Butz, Martin Bollmann, Ulrich Eberle, Roland Galbas

IEEE Access, 2021

2020

Criticality Analysis of Occlusion Phenomenon at T-Intersection.

Lukas Westhofen

Dataset, December, 2020

Benchmarking Software Model Checkers on Automotive Code.

Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Fundamental Considerations around Scenario-Based Testing for Automated Driving.

Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2016

Bounded Model Checking for Probabilistic Programs.

Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen

Proceedings of the Automated Technology for Verification and Analysis, 2016