Lukas Westhofen
Lukas Westhofen
Researcher, OFFIS e.V.
Verified email at offis.de
Title
Cited by
Cited by
Year
Bounded model checking for probabilistic programs
N Jansen, C Dehnert, BL Kaminski, JP Katoen, L Westhofen
International Symposium on Automated Technology for Verification and …, 2016
162016
Benchmarking Software Model Checkers on Automotive Code
L Westhofen, P Berger, JP Katoen
arXiv preprint arXiv:2003.11689, 2020
12020
Fundamental Considerations around Scenario-Based Testing for Automated Driving
C Neurohr, L Westhofen, T Henning, T de Graaff, E Möhlmann, E Böde
arXiv preprint arXiv:2005.04045, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–3