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.
2017
DownloadChristian Dehnert. A Storm is Coming: A Modern Probabilistic Model Checker, Talk at CAV (Heidelberg, Germany), 2017.
2016
DownloadChristian Dehnert. Parameter Synthesis of Markov Models – Faster Than Ever, Talk at ATVA (Chiba, Tokyo, Japan), 2016.
DownloadChristian Dehnert. Bounded Model Checking for Probabilistic Programs, Talk at ATVA (Chiba, Tokyo, Japan), 2016.
2015
Christian Dehnert. PROPhESY – A PRObabilistic ParamEter SYnthesis Tool, Talk at CAV'15, 2015.
Christian Dehnert. Fast Debugging of PRISM Models, Talk at FFM'15, 2015.
2014
Christian Dehnert. Fast Debugging of PRISM Models, Talk at the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2014.
Christian Dehnert. Accelerating Predicate Abstraction for Probabilistic Automata, Talk at UTS, Australia, 2014.
Christian Dehnert. Fast Debugging of PRISM Models, Talk at SENSATION Project Meeting, 2014.
2013
DownloadChristian Dehnert. SMT-based Bisimulation Minimisation of Markov Models, Talk at VMCAI, Rome, Italy, 2013.

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.
2017
LinkChristian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker. Proc. of CAV, Volume 10427 of LNCS, pages 592–600, Springer, 2017.
DownloadCarlos E. Budde, Christian Dehnert, E. Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. “JANI: Quantitative Model and Tool Interaction. Proc. of TACAS (2), Volume 10206 of LNCS, pages 151-168, Springer, 2017.
2016
DownloadNils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen. Bounded Model Checking for Probabilistic Programs. Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, Springer, 2016.
DOITim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever. Proc. of ATVA, Volume 9938 of LNCS, pages 50–67, Springer, 2016.
DOISebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen. Safety-constrained Reinforcement Learning for MDPs. Proc. of TACAS, Volume 9636 of LNCS, pages 130-146, Springer, 2016.
DOIChristian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Abraham, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. Proc. of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'16), pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016.
2015
DownloadChristian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Abraham. PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Proc. of the 27th Int. Conf. on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, pages 214–231, Springer, 2015.
DownloadTim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards. Proc. of the 20th Int. Symp. on Formal Methods (FM'15), Volume 9109 of LNCS, pages 435–452, Springer, 2015.
2014
DownloadErika Abraham, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Proc. of the 14th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models (SFM-14:ESM), Volume 8483 of LNCS, pages 65–121, Springer, 2014.
DownloadChristian Dehnert, Nils Jansen, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen. Fast Debugging of PRISM Models. Int. Symp. on Automated Technology for Verification and Analysis (ATVA'14), Volume 8837 of LNCS, pages 146–162, Springer, 2014.
DownloadChristian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen. On Abstraction of Probabilistic Systems. International Autumn School, ROCKS 2012 (Advanced Lectures), Volume 8453 of LNCS, pages 87–116, Springer, 2014.
2013
DownloadChristian Dehnert, David Parker, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models. 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Volume 7737 of LNCS, pages 28–47, Springer, 2013.