
- 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, 22 Seiten, Springer, 2021. |
2019 | |
![]() ![]() |
Hans Christian Hensel, , , , , Tim Quatmann, , . 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, 69-92, Springer, 2019. | , ,
![]() |
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. | ,
Show all |