Lukas Westhofen

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Causal Knowledge

Neighborhood Search

Top Venues

ACM Trans. Graph.

Publications

Stefan Rhys Jeske, Lukas Westhofen, Fabian Löschner, José Antonio Fernández-Fernández, Jan Bender
Implicit Surface Tension for SPH Fluid Simulation. ACM Trans. Graph. 43 (1) (2024)
Lukas Westhofen, Stefan Jeske, Jan Bender
A comparison of linear consistent correction methods for first-order SPH derivatives. Proc. ACM Comput. Graph. Interact. Tech. 6 (3) (2023)
Lina Putze, Lukas Westhofen, Tjark Koopmann, Eckard Böde, Christian Neurohr
On Quantification for SOTIF Validation of Automated Driving Systems. CoRR (2023)
José Antonio Fernández-Fernández, Fabian Löschner, Lukas Westhofen, Andreas Longva, Jan Bender
SymX: Energy-based Simulation from Symbolic Expressions. CoRR (2023)
Lina Putze, Lukas Westhofen, Tjark Koopmann, Eckard Böde, Christian Neurohr
On Quantification for SOTIF Validation of Automated Driving Systems. IV (2023)
José Antonio Fernández-Fernández, Lukas Westhofen, Fabian Löschner, Stefan Rhys Jeske, Andreas Longva, Jan Bender
Fast Octree Neighborhood Search for SPH Simulations. ACM Trans. Graph. 41 (6) (2022)
Lukas Westhofen, Christian Neurohr, Martin Butz, Maike Scholtes, Michael Schuldes
Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving. CoRR (2022)
Tjark Koopmann, Christian Neurohr, Lina Putze, Lukas Westhofen, Roman Gansch, Ahmad Adee
Grasping Causality for the Explanation of Criticality for Automated Driving. CoRR (2022)
Christian Neurohr, Lukas Westhofen, Martin Butz, Martin Bollmann, Ulrich Eberle, Roland Galbas
Criticality Analysis for the Verification and Validation of Automated Vehicles. IEEE Access 9 (2021)
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
6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment. IEEE Access 9 (2021)
Lukas Westhofen, Christian Neurohr, Tjark Koopmann, Martin Butz, Barbara Schütt, Fabian Utesch, Birte Kramer, Christian Gutenkunst, Eckard Böde
Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art. CoRR (2021)
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde
Fundamental Considerations around Scenario-Based Testing for Automated Driving. IV (2020)
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
6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment. CoRR (2020)
Christian Neurohr, Lukas Westhofen, Tabea Henning, Thies de Graaff, Eike Möhlmann, Eckard Böde
Fundamental Considerations around Scenario-Based Testing for Automated Driving. CoRR (2020)
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
Benchmarking Software Model Checkers on Automotive Code. CoRR (2020)
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
Benchmarking Software Model Checkers on Automotive Code. NFM (2020)
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
Bounded Model Checking for Probabilistic Programs. CoRR (2016)
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
Bounded Model Checking for Probabilistic Programs. ATVA (2016)