Christian Hensel
- dehnert@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
Publications
2025
- Book chapter
Riding the Storm in a Probabilistic Model Checking Landscape
Principles of verification: cycling the probabilistic landscape
2024
- Journal article
Parameter synthesis for Markov models : covering the parameter space
Formal methods in system design
2022
- Journal article
The probabilistic model checker STORM
International journal on software tools for technology transfer
2021
2020
- Journal article
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
Information and computation
2019
- Book chapter
From Reactive Systems to Cyber-Physical Systems
- Conference paper
Tools and algorithms for the construction and analysis of systems
PDF of The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report)RWTH record for The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report)BibTeX for The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report)
2018
- PhD thesis
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
RWTH Aachen University
Advisers: Joost-Pieter Katoen, David Parker
PDF of The probabilistic model checker Storm : symbolic methods for probabilistic model checkingRWTH record for The probabilistic model checker Storm : symbolic methods for probabilistic model checkingBibTeX for The probabilistic model checker Storm : symbolic methods for probabilistic model checking
2017
- Conference paper
JANI: Quantitative Model and Tool Interaction
Tools and algorithms for the construction and analysis of systems
2016
- Conference paper
Safety-constrained Reinforcement Learning for MDPs
Tools and algorithms for the construction and analysis of systems
- Conference paper
Bounded Model Checking for Probabilistic Programs
Automated Technology for Verification and Analysis
- Conference paper
Parameter Synthesis for Markov Models: Faster Than Ever
Automated Technology for Verification and Analysis
2015
2014
- Conference paper
Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey
Formal methods for executable software models
2013
- Conference paper
SMT-based Bisimulation Minimisation of Markov Models
Verification, Model Checking, and Abstract Interpretation [Elektronische Ressource]