Christian Hensel

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Parameter synthesis for Markov models: covering the parameter space.
Formal Methods Syst. Des., June, 2024

2023
Can Unpaired Textual Data Replace Synthetic Speech in ASR Model Adaptation?
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2023

2022
The probabilistic model checker Storm.
Int. J. Softw. Tools Technol. Transf., 2022

2021
Counterexample-guided inductive synthesis for probabilistic systems.
Formal Aspects Comput., 2021

2020
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.
Inf. Comput., 2020

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

Parameter Synthesis for Markov Models.
CoRR, 2019

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Counterexample-Driven Synthesis for Probabilistic Program Sketches.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018
The probabilistic model checker Storm: symbolic methods for probabilistic model checking.
PhD thesis, 2018

2017
JANI: Quantitative Model and Tool Interaction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Storm is Coming: A Modern Probabilistic Model Checker.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
The Probabilistic Model Checker Storm (Extended Abstract).
CoRR, 2016

Safety-Constrained Reinforcement Learning for MDPs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Parameter Synthesis for Probabilistic Systems.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2016

Bounded Model Checking for Probabilistic Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Counterexamples for Expected Rewards.
Proceedings of the FM 2015: Formal Methods, 2015

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.
Proceedings of the Formal Methods for Executable Software Models, 2014

Fast Debugging of PRISM Models.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
SMT-Based Bisimulation Minimisation of Markov Models.
Proceedings of the Verification, 2013

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


  Loading...