Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. - Philipp Berger 002; Joost-Pieter Katoen; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow (FM, 2018)

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. - Philipp Berger 002; Johanna Nellen; Joost-Pieter Katoen; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow (FMICS, 2019)

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. - Philipp Berger 002; Johanna Nellen; Joost-Pieter Katoen; Erika Ábrahám; Md Tawhid Bin Waez; Thomas Rambow (CoRR, 2019)

Benchmarking Software Model Checkers on Automotive Code. - Lukas Westhofen 001; Philipp Berger 002; Joost-Pieter Katoen (NFM, 2020)

Interpretation-Based Violation Witness Validation for C: NITWIT. - Jan Svejda; Philipp Berger 002; Joost-Pieter Katoen (TACAS (1), 2020)

Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining. - Philipp Berger 002; Wiebke Lenze; Thomas Noll 001; Simon Schotten; Thorsten Büker; Mario Fietze; Bastian Kogel (FMICS, 2022)

Configurable Benchmarks for C Model Checkers. - Xaver Fink; Philipp Berger 002; Joost-Pieter Katoen (NFM, 2022)