- berger at cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen - Phone
- +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!
2024 | |
---|---|
![]() ![]() |
Philipp Berger. Applying software model checking: experiences and advancements, PhD Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024. |
2022 | |
![]() |
Xaver Fink, Philipp Berger, Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers, 14. International Symposium NASA Formal Methods (NFM 2022), Volume 13260 of LNCS, 338-354, Springer, 2022. |
![]() |
Philipp Berger, Wiebke Lenze, Thomas Noll, , , , Bastian Kogel. Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining, 27. International Conference Formal Methods for Industrial Critical Systems (FMICS 2022), Volume 13487 of LNCS, 121-133, Springer, 2022. |
![]() |
Wiebke Lenze, Bastian Kogel, , , Thomas Noll, Philipp Berger, . Identification of Bottlenecks in Rail Infrastructure, 5. International Conference on Railway Technology: Research, Development and Maintenance, Civil-Comp Conferences, 23.12, Civil-Comp Press, 2022. |
2020 | |
![]() ![]() |
Jan Švejda, Philipp Berger, Joost-Pieter Katoen. Interpretation-Based Violation Witness Validation for C: NITWIT, 26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Volume 12078, Theoretical Computer Science and General Issues of LNCS, 40-57, Springer, 2020. |
![]() |
Philipp Berger, Joost-Pieter Katoen. Benchmarking Software Model Checkers on Automotive Code, 12. NASA Formal Methods Symposium (NFM 2020), Volume 12229 of LNCS, 133-150, Springer, 2020. | ,
2019 | |
![]() |
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, , . Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development, 24. International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019. |
2018 | |
![]() |
Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, , . Verifying Auto-generated C Code from Simulink: An Experience Report in the Automotive Domain, 22. International Symposium on Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018. |