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
2019
DOI [bibtex] Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-Driven Synthesis for Probabilistic Program Sketches, 3rd World Congress on Formal Methods (FM 2019), Volume 11800 of LNCS, pages 101-120, Springer, 2019.
DOI fulltext PDF [bibtex] Ernst Moritz Hahn, Arnd Hartmanns, Hans Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report), 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Volume 11429 of LNCS, pages 69-92, Springer, 2019.
2018
DOI fulltext PDF [bibtex] Hans Christian Hensel. The probabilistic model checker Storm : symbolic methods for probabilistic model checking, PhD Thesis, RWTH Aachen University, Volume 2018-06 of Aachener Informatik-Berichte, 331 pages, RWTH Aachen University, Department of Computer Science, 2018.
2017
DOI [bibtex] Carlos E. Budde, Hans Christian Dehnert, E. Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. JANI: Quantitative Model and Tool Interaction, 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Volume 10206 of LNCS, pages 151-168, Springer, 2017.
DOI [bibtex] Hans Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker, 29th International Conference on Computer-Aided Verification (CAV 2017), Volume 10427 of LNCS, pages 592-600, Springer, 2017.
2016
DOI [bibtex] Sebastian Junges, Nils Jansen, Hans Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen. Safety-constrained Reinforcement Learning for MDPs, 22nd international conference, held as part of the European Joint Conferences on Theory and Practice of Software (TACAS 2016), Volume 9636 of LNCS, pages 130-146, Springer, 2016.
DOI [bibtex] Nils Jansen, Hans Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen. Bounded Model Checking for Probabilistic Programs, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Volume 9938 of LNCS, pages 68-85, Springer, 2016.
DOI [bibtex] Tim Quatmann, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever, 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, pages 50-67, Springer, 2016.
2015
DOI [bibtex] Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. PROPhESY : A PRObabilistic ParamEter SYnthesis Tool, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, pages 214-231, Springer, 2015.
DOI [bibtex] Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards, 20th international symposium Formal Methods (FM 2015), Volume 9109 of LNCS, pages 435-452, Springer, 2015.
2014
DOI [bibtex] Hans Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen. On Abstraction of Probabilistic Systems, Stochastic model checking (ROCKS 2012), Volume 8453 of LNCS, pages 87-116, Springer, 2014.
DOI [bibtex] Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast Debugging of PRISM Models, Automated technology for verification and analysis (ATVA 2014), Volume 8837 of LNCS, pages 146-162, Springer, 2014.
DOI [bibtex] Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey, Formal methods for executable software models (SFM 2014), Volume 8483 of LNCS, pages 65-121, Springer, 2014.
2013
DOI [bibtex] Hans Christian Dehnert, David Parker, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models, Verification, Model Checking, and Abstract Interpretation [Elektronische Ressource] (VMCAI 2013), Volume 7737 of LNCS, pages 28-47, Springer, 2013.