Philipp Berger

According to our database, Philipp Berger authored at least 7 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Configurable Benchmarks for C Model Checkers.

Xaver Fink, Philipp Berger, Joost-Pieter Katoen

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining.

Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2020

Interpretation-Based Violation Witness Validation for C: NITWIT.

Jan Svejda, Philipp Berger, Joost-Pieter Katoen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Benchmarking Software Model Checkers on Automotive Code.

Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development.

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

CoRR, 2019

Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development.

Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.

Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow

Proceedings of the Formal Methods - 22nd International Symposium, 2018