Lukas Westhofen, M.Sc. Scientific Researcher

M.Sc. Lukas Westhofen
Contact
Activities

Position at OFFIS

Scientific Researcher

Research and Developement Division

Verkehr / Safety & Security Oriented Design Methods & Processes

News

+49 441 9722-477

lukas.westhofen(at)offis.de

SEG12

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg
GERMANY

Publications
of Lukas Westhofen, M.Sc.

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 Herbert Bollmann, Franziska Körtke, Johannes Hiller, Michael Hoss, Julian Bock, Lutz Eckstein; IEEE Access; April / 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; Januar / 2021

2020

Benchmarking Software Model Checkers on Automotive Code

Westhofen, Lukas and Berger, Philipp and Katoen, Joost-Pieter; NASA Formal Methods; 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; 2020 IEEE Intelligent Vehicles Symposium (IV); Oktober / 2020