
- 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
2021 | |
---|---|
![]() |
Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-guided inductive synthesis for probabilistic systems, Formal aspects of computing 33 (4/5), pages 637-667, Springer, 2021. | ,
![]() ![]() |
Hans Christian Hensel, , Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. The probabilistic model checker STORM, International journal on software tools for technology transfer 24 (4), pages 589-610, Springer, 2021. |
2020 | |
![]() |
Hans Christian Hensel, , Sebastian Junges, Joost-Pieter Katoen, . Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination, Information and computation 272, pages 104504, Elsevier, 2020. | ,
Show all |