Publications

Publications for Philipp Berger

2019
DOI
[bibtex]
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Abraham, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development. Proc. of the 24th Int. Conf. on Formal Methods for Industrial Critical Systems (FMICS'19), Volume 11687 of LNCS, pages 59–75, Springer, 2019.
2018
Link
[bibtex]
Philipp Berger, Joost-Pieter Katoen, Erika Abraham, Thomas Rambow, Md Tawhid Bin Waez. Verifying Auto-Generated C Code from Simulink. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018.