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