Lukas Westhofen

21 papers A* 1B 1C 2Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
On Using Ontologies in the Engineering of Intelligent Cyber-Physical Systems.
Engineering Safe and Trustworthy Cyber Physical Systems
Ingo Stierand, Lukas Westhofen, Willem Hagemann
2025 J jnl
Grasping Causality for the Explanation of Criticality for Automated Driving.
IEEE Access
Tjark Koopmann, Lina Putze, Lukas Westhofen, Roman Gansch, Ahmad Adee, Christian Neurohr
2025 J jnl
On Scenario Formalisms for Automated Driving.
CoRR
Christian Neurohr, Lukas Westhofen, Tjark Koopmann, Eike Möhlmann, Eckard Böde, Axel Hahn
2025 J jnl
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems.
Sci. Comput. Program.
Philipp Borchers, Tjark Koopmann, Lukas Westhofen, Jan Steffen Becker, Lina Putze, Dominik Grundt, Thies de Graaff, Vincent Kalwa, Christian Neurohr
2025 A* conf
Temporal Conjunctive Query Answering via Rewriting.
AAAI
Lukas Westhofen, Jean Christoph Jung, Daniel Neider
2024 — conf
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains.
TACAS (1)
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
2024 — conf
Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries.
NFM
Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider
2023 C conf
On Quantification for SOTIF Validation of Automated Driving Systems.
IV
Lina Putze, Lukas Westhofen, Tjark Koopmann, Eckard Böde, Christian Neurohr
2023 J jnl
On Quantification for SOTIF Validation of Automated Driving Systems.
CoRR
Lina Putze, Lukas Westhofen, Tjark Koopmann, Eckard Böde, Christian Neurohr
2022 J jnl
Grasping Causality for the Explanation of Criticality for Automated Driving.
CoRR
Tjark Koopmann, Christian Neurohr, Lina Putze, Lukas Westhofen, Roman Gansch, Ahmad Adee
2022 J jnl
Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving.
CoRR
Lukas Westhofen, Christian Neurohr, Martin Butz, Maike Scholtes, Michael Schuldes
2021 J jnl
6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment.
IEEE Access
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
2021 J jnl
Criticality Analysis for the Verification and Validation of Automated Vehicles.
IEEE Access
Christian Neurohr, Lukas Westhofen, Martin Butz, Martin Bollmann, Ulrich Eberle, Roland Galbas
2021 J jnl
Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art.
CoRR
Lukas Westhofen, Christian Neurohr, Tjark Koopmann, Martin Butz, Barbara Schütt, Fabian Utesch, Birte Kramer, Christian Gutenkunst, Eckard Böde
2020 J jnl
6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment.
CoRR
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
2020 — conf
Benchmarking Software Model Checkers on Automotive Code.
NFM
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
2020 J jnl
Benchmarking Software Model Checkers on Automotive Code.
CoRR
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
2020 C conf
Fundamental Considerations around Scenario-Based Testing for Automated Driving.
IV
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde
2020 J jnl
Fundamental Considerations around Scenario-Based Testing for Automated Driving.
CoRR
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde
2016 B conf
Bounded Model Checking for Probabilistic Programs.
ATVA
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016 J jnl
Bounded Model Checking for Probabilistic Programs.
CoRR
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen