Jana Berger
- berger@cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21206
I was a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research at MOVES focused on 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!
Publications
2024
- PhD thesis
Applying software model checking: experiences and advancements
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Dirk Beyer
2022
- Conference paper
Identification of Bottlenecks in Rail Infrastructure
Proceedings of the Fifth International Conference on Railway Technology: Research, Development and Maintenance Edited by J. Pombo Civil-Comp Conferences. - Volume 1
- Conference paper
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining
Formal Methods for Industrial Critical Systems
2020
- Conference paper
Interpretation-Based Violation Witness Validation for C : NITWIT
Tools and Algorithms for the Construction and Analysis of Systems
2019
- Conference paper
Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019
2018
- Conference paper
Verifying Auto-generated C Code from Simulink : An Experience Report in the Automotive Domain
Formal Methods