Email

dehnert at cs.rwth-aachen.de

Address

Room 4210
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21203

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

• formal methods for qualitative and quantitative systems
• abstraction techniques for quantitative systems
• symbolic methods for the analysis of systems
• SMT-solving, in particular its applications to the analysis of formal models

Selected Talks

2018
	Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking, at RWTH Aachen University, 2018.
Show all

Publications for Christian Dehnert

2018
	Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking. Phd Thesis at RWTH Aachen University, 2018.
Show all