152 citations · 168 across the 9 of their papers we have counts for
11 papers
On Scenario Formalisms for Automated Driving
Christian Neurohr, Lukas Westhofen, Tjark Koopmann +3
The concept of scenario and its many qualifications -- specifically logical and abstract scenarios -- have emerged as a foundational element in safeguarding automated driving syste…
Implicit Incompressible Porous Flow using SPH
Timna Böttcher, Stefan Rhys Jeske, Lukas Westhofen +1
We present a novel implicit porous flow solver using SPH, which maintains fluid incompressibility and is able to model a wide range of scenarios, driven by strongly coupled solid-f…
On Quantification for SOTIF Validation of Automated Driving Systems
Lina Putze, Lukas Westhofen, Tjark Koopmann +2
Automated driving systems are safety-critical cyber-physical systems whose safety of the intended functionality (SOTIF) can not be assumed without proper argumentation based on app…
SymX: Energy-based Simulation from Symbolic Expressions
José Antonio Fernández-Fernández, Fabian Löschner, Lukas Westhofen +2
Optimization time integrators are effective at solving complex multi-physics problems including deformable solids with non-linear material models, contact with friction, strain lim…
Grasping Causality for the Explanation of Criticality for Automated Driving
Tjark Koopmann, Christian Neurohr, Lina Putze +3
The verification and validation of automated driving systems at SAE levels 4 and 5 is a multi-faceted challenge for which classical statistical considerations become infeasible. Fo…
Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving
Lukas Westhofen, Christian Neurohr, Martin Butz +2
Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated…
Criticality Metrics for Automated Driving: A Review and Suitability Analysis of the State of the Art
Lukas Westhofen, Christian Neurohr, Tjark Koopmann +6
The large-scale deployment of automated vehicles on public roads has the potential to vastly change the transportation modalities of today's society. Although this pursuit has been…
6-Layer Model for a Structured Description and Categorization of Urban Traffic and Environment
Maike Scholtes, Lukas Westhofen, Lara Ruth Turner +11
Verification and validation of automated driving functions impose large challenges. Currently, scenario-based approaches are investigated in research and industry, aiming at a redu…
Fundamental Considerations around Scenario-Based Testing for Automated Driving
Christian Neurohr, Lukas Westhofen, Tabea Henning +3
The homologation of automated vehicles, being safety-critical complex systems, requires sound evidence for their safe operability. Traditionally, verification and validation activi…
Benchmarking Software Model Checkers on Automotive Code
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
This paper reports on our experiences with verifying automotive C code by state-of-the-art open source software model checkers. The embedded C code is automatically generated from…
Bounded Model Checking for Probabilistic Programs
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski +2
In this paper we investigate the applicability of standard model checking approaches to verifying properties in probabilistic programming. As the operational model for a standard p…