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!

 

2019
[bibtex] [issue]	Erika Ábrahám, Johanna Nellen, Joost-Pieter Katoen, Md Tawhid Bin Waez, Philipp Berger, Thomas Rambow. Multiple Analyses, Requirements Once, 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019.
2018
[bibtex] [issue]	Erika Ábrahám, Joost-Pieter Katoen, Md Tawhid Bin Waez, Philipp Berger, Thomas Rambow. Verifying Auto-generated C Code from Simulink, 22nd International Symposium of Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.