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]
@conference{TCTAQFM2019,
title = {The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models},
author = {Ernst Moritz Hahn and Arnd Hartmanns and Hans Christian Hensel and Michaela Klauck and Joachim Klein and Jan Křetínský and David Parker and Tim Quatmann and Enno Ruijters and Marcel Steinmetz},
publisher = {Springer},
booktitle = {LNCS},
volume = {11429},
pages = {69-92},
type = {Conference Paper},
year = {2019},
doi = {10.1007/978-3-030-17502-3_5},
url = { https://publications.rwth-aachen.de/record/759255},
}×
[issue] 		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, 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]
@conference{CDSPPS2019,
title = {Counterexample-Driven Synthesis for Probabilistic Program Sketches},
author = {Milan Češka and Hans Christian Hensel and Sebastian Junges and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {11800},
pages = {101-120},
type = {Conference Paper},
year = {2019},
doi = {10.1007/978-3-030-30942-8_8},
url = { https://publications.rwth-aachen.de/record/786831},
}×
[issue] 		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, 101-120, Springer, 2019.
2018
DOI fulltext PDF [bibtex]
@phdthesis{TS2018,
title = {The probabilistic model checker Storm},
author = {Hans Christian Hensel},
publisher = {RWTH Aachen University, Department of Computer Science},
booktitle = {Aachener Informatik-Berichte},
volume = {2018-06},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource (vii, 331 Seiten) : Illustrationen},
type = {PhD Thesis},
year = {2018},
doi = {10.18154/RWTH-2018-231803},
url = { https://publications.rwth-aachen.de/record/752011},
}×
[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.
Show all