Christian Hensel

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Venues

CoRR

Formal Aspects Comput.

Int. J. Softw. Tools Technol. Transf.

NeuroImage

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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

Christian Hensel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Hensel