Christian Hensel

13 papers B 1C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Parameter synthesis for Markov models: covering the parameter space.
Formal Methods Syst. Des.
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2024 — conf
Riding the Storm in a Probabilistic Model Checking Landscape.
Principles of Verification (2)
Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk
2023 C conf
Can Unpaired Textual Data Replace Synthetic Speech in ASR Model Adaptation?
ASRU
Pasquale D'Alterio, Christian Hensel, Bashar Awwad Shiekh Hasan
2022 J jnl
The probabilistic model checker Storm.
Int. J. Softw. Tools Technol. Transf.
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2021 J jnl
Counterexample-guided inductive synthesis for probabilistic systems.
Formal Aspects Comput.
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2020 J jnl
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.
Inf. Comput.
Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
2020 J jnl
The Probabilistic Model Checker Storm.
CoRR
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2019 B conf
Counterexample-Driven Synthesis for Probabilistic Program Sketches.
FM
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Counterexample-Driven Synthesis for Probabilistic Program Sketches.
CoRR
Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Influence of nutritional tyrosine on cognition and functional connectivity in healthy old humans.
NeuroImage
Christian Hensel, Maxi Becker, Sandra Düzel, Ilja Demuth, Kristina Norman, Elisabeth Steinhagen-Thiessen, Jürgen Gallinat, Ulman Lindenberger, Simone Kühn
2019 J jnl
Parameter Synthesis for Markov Models.
CoRR
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2019 — conf
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
TACAS (3)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2018 — —
The probabilistic model checker Storm: symbolic methods for probabilistic model checking.
Christian Hensel