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

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