- berger at cs.rwth-aachen.de
- Room 4203
- +49 241 80 21206
I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
I am primarily interested in software model-checking of C code. I worked on a project with Ford Motor Company (feasibility analysis on two case studies based on software component prototypes).
Together with my master student Jan Švejda we participated in SV-COMP 2020 with our Violation Witness Validator NITWIT!
|[bibtex] [issue]||Jan Švejda, Philipp Berger, Joost-Pieter Katoen. Interpretation-Based Violation Witness Validation for C: NITWIT, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Volume 12078 of LNCS, 40-57, Springer, 2020.|
|[bibtex] [issue]||Philipp Berger, Joost-Pieter Katoen. Benchmarking Software Model Checkers on Automotive Code, 12th NASA Formal Methods Symposium (NFM 2020), Volume 12229 of LNCS, 133-150, Springer, 2020.,|
|[bibtex] [issue]||Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, , . Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development, 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019.|