User profiles for Christian Hensel
Christian HenselPhD Student/ Quantum Engineer Verified email at qilimanjaro.tech Cited by 18 |
Post-combustion CO2-capture from coal-fired power plants: Preliminary evaluation of an integrated chemical absorption process with piperazine-promoted potassium …
J Oexmann, C Hensel, A Kather - International journal of greenhouse gas …, 2008 - Elsevier
The simulation tool ASPEN Plus ® is used to model the full CO 2 -capture process for chemical
absorption of CO 2 by piperazine-promoted potassium carbonate (K 2 CO 3 /PZ) and the …
absorption of CO 2 by piperazine-promoted potassium carbonate (K 2 CO 3 /PZ) and the …
[HTML][HTML] The probabilistic model checker Storm
We present the probabilistic model checker Storm. Storm supports the analysis of discrete-
and continuous-time variants of both Markov chains and Markov decision processes. Storm …
and continuous-time variants of both Markov chains and Markov decision processes. Storm …
[HTML][HTML] The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)
Quantitative formal models capture probabilistic behaviour, real-time aspects, or general
continuous dynamics. A number of tools support their automatic analysis with respect to …
continuous dynamics. A number of tools support their automatic analysis with respect to …
Parameter Synthesis for Markov Models: Covering the Parameter Space
Markov chain analysis is a key technique in formal verification. A practical obstacle is that all
probabilities in Markov models need to be known. However, system quantities such as …
probabilities in Markov models need to be known. However, system quantities such as …
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
Parametric Markov chains have been introduced as a model for families of stochastic systems
that rely on the same graph structure, but differ in the concrete transition probabilities. The …
that rely on the same graph structure, but differ in the concrete transition probabilities. The …
Counterexample-driven synthesis for probabilistic program sketches
Probabilistic programs are key to deal with uncertainty in, eg, controller synthesis. They are
typically small but intricate. Their development is complex and error prone requiring …
typically small but intricate. Their development is complex and error prone requiring …
Influence of nutritional tyrosine on cognition and functional connectivity in healthy old humans
Tyrosine is precursor for monoamine neurotransmitters such as dopamine (DA), which is one
of the key neurotransmitters in the frontostriatal network and of crucial relevance for mental …
of the key neurotransmitters in the frontostriatal network and of crucial relevance for mental …
Laboratory precision measurements of optical emissions from coronal iron
Total solar eclipses, as the recent one seen across North America, are rare opportunities for
optical spectroscopy of the corona. In view of the dearth of accurate rest-frame wavelength …
optical spectroscopy of the corona. In view of the dearth of accurate rest-frame wavelength …
Counterexample-guided inductive synthesis for probabilistic systems
This paper presents counterexample-guided inductive synthesis (CEGIS) to automatically
synthesise probabilistic models. The starting point is a family of finite-stateMarkov chains with …
synthesise probabilistic models. The starting point is a family of finite-stateMarkov chains with …
[HTML][HTML] Parameter synthesis for Markov models: covering the parameter space
Markov chain analysis is a key technique in formal verification. A practical obstacle is that all
probabilities in Markov models need to be known. However, system quantities such as …
probabilities in Markov models need to be known. However, system quantities such as …