Lukas Westhofen, M.Sc. Wissenschaftlicher Mitarbeiter

M.Sc. Lukas Westhofen
Kontaktdaten
Tätigkeiten

Position im OFFIS

Wissenschaftlicher Mitarbeiter

Forschungsbereiche

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

Publikationen
von 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

URL DOI BIB
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

URL DOI BIB

2020

Benchmarking Software Model Checkers on Automotive Code

Westhofen, Lukas and Berger, Philipp and Katoen, Joost-Pieter; NASA Formal Methods; 2020

URL DOI BIB
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

URL DOI BIB