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.

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

Neurohr, Christian and Westhofen, Lukas and Henning, Tabea and de Graaff, Thies and Möhlmann, Eike and Böde, Eckard; 2020 IEEE Intelligent Vehicles Symposium (IV); 2020