Christian Hensel

like-a-sir150px

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
DownloadChristian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking, at RWTH Aachen University, 2018.
Show all

Publications for Christian Dehnert

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