Jana (Philipp) Berger

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
DOI [bibtex]
@conference{CBCMC2022,
title = {Configurable Benchmarks for C Model Checkers},
author = {Xaver Fink and Philipp Berger and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13260},
pages = {338-354},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-06773-0_18},
url = { https://publications.rwth-aachen.de/record/848928},
}×
[issue] 		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.
DOI [bibtex]
@conference{ACBRIEM2022,
title = {Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining},
author = {Philipp Berger and Wiebke Lenze and Thomas Noll and Simon Schotten and Thorsten Büker and Mario Fietze and Bastian Kogel},
publisher = {Springer},
booktitle = {LNCS},
volume = {13487},
pages = {121-133},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-15008-1_9},
url = { https://publications.rwth-aachen.de/record/854106},
}×
[issue] 		Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, 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.
2020
DOI fulltext PDF [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, Theoretical Computer Science and General Issues},
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, 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.
DOI [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, 12. NASA Formal Methods Symposium (NFM 2020), Volume 12229 of LNCS, 133-150, Springer, 2020.
Show all