Email

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!

2022
[bibtex] @article{EDPIK2022, title = {Einblick DZSF-Projekt „Identifikation von Kapazitätsengpässen“}, author = {Simon Schotten and Thorsten Büker and Wiebke Lenze and Bastian Kogel and Thomas Noll and Mario Fietze and Philipp Berger}, publisher = {DVV Media Group, Eurailpress}, journal = {Eisenbahntechnische Rundschau }, volume = {5}, pages = {pages 33-37}, type = {Journal Article}, year = {2022}, url = { https://publications.rwth-aachen.de/record/847020}, }× [issue]	Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Philipp Berger. Einblick DZSF-Projekt „Identifikation von Kapazitätsengpässen“, Eisenbahntechnische Rundschau 5, pages 33-37, DVV Media Group, Eurailpress, 2022.
2020
[bibtex] @conference{IBVWVCN2020, title = {Interpretation-Based Violation Witness Validation for C: NITWIT}, author = {Jan Švejda and Philipp Berger and Joost-Pieter Katoen}, publisher = {Springer}, booktitle = {LNCS}, volume = {12078}, pages = {40-57}, type = {Conference Paper}, year = {2020}, doi = {10.1007/978-3-030-45190-5_3}, url = { https://publications.rwth-aachen.de/record/814598}, }× [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] @conference{BSMCAC2020, title = {Benchmarking Software Model Checkers on Automotive Code}, author = {Lukas Westhofen and Philipp Berger and Joost-Pieter Katoen}, publisher = {Springer}, booktitle = {LNCS}, volume = {12229}, pages = {133-150}, type = {Conference Paper}, year = {2020}, doi = {10.1007/978-3-030-55754-6_8}, url = { https://publications.rwth-aachen.de/record/814599}, }× [issue]	Lukas Westhofen, 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.
Show all