Christian Hensel

According to our database, Christian Hensel authored at least 24 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parameter synthesis for Markov models: covering the parameter space.

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

Formal Methods Syst. Des., June, 2024

2023

Can Unpaired Textual Data Replace Synthetic Speech in ASR Model Adaptation?

Pasquale D'Alterio, Christian Hensel, Bashar Awwad Shiekh Hasan

Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2023

2022

The probabilistic model checker Storm.

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

Int. J. Softw. Tools Technol. Transf., 2022

2021

Counterexample-guided inductive synthesis for probabilistic systems.

Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

Formal Aspects Comput., 2021

2020

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.

Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein

Inf. Comput., 2020

2019

Influence of nutritional tyrosine on cognition and functional connectivity in healthy old humans.

Christian Hensel, Maxi Becker, Sandra Düzel, Ilja Demuth, Kristina Norman, Elisabeth Steinhagen-Thiessen, Jürgen Gallinat, Ulman Lindenberger, Simone Kühn

NeuroImage, 2019

Parameter Synthesis for Markov Models.

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

CoRR, 2019

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Counterexample-Driven Synthesis for Probabilistic Program Sketches.

Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.

Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

The probabilistic model checker Storm: symbolic methods for probabilistic model checking.

Christian Hensel

PhD thesis, 2018

2017

JANI: Quantitative Model and Tool Interaction.

Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Storm is Coming: A Modern Probabilistic Model Checker.

Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

The Probabilistic Model Checker Storm (Extended Abstract).

Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk

CoRR, 2016

Safety-Constrained Reinforcement Learning for MDPs.

Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Parameter Synthesis for Probabilistic Systems.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Parameter Synthesis for Markov Models: Faster Than Ever.

Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

Proceedings of the Automated Technology for Verification and Analysis, 2016

Bounded Model Checking for Probabilistic Programs.

Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Counterexamples for Expected Rewards.

Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker

Proceedings of the FM 2015: Formal Methods, 2015

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.

Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer

Proceedings of the Formal Methods for Executable Software Models, 2014

Fast Debugging of PRISM Models.

Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

SMT-Based Bisimulation Minimisation of Markov Models.

Christian Dehnert, Joost-Pieter Katoen, David Parker

Proceedings of the Verification, 2013

2012

On Abstraction of Probabilistic Systems.

Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012