On Abstraction of Probabilistic Systems. - Christian Dehnert; Daniel Gebler; Michele Volpato; David N. Jansen (ROCKS, 2012)

SMT-Based Bisimulation Minimisation of Markov Models. - Christian Dehnert; Joost-Pieter Katoen; David Parker 001 (VMCAI, 2013)

Fast Debugging of PRISM Models. - Christian Dehnert; Nils Jansen 001; Ralf Wimmer 001; Erika Ábrahám; Joost-Pieter Katoen (ATVA, 2014)

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. - Erika Ábrahám; Bernd Becker 001; Christian Dehnert; Nils Jansen 001; Joost-Pieter Katoen; Ralf Wimmer 001 (SFM, 2014)

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Harold Bruintjes; Joost-Pieter Katoen; Erika Ábrahám (CAV (1), 2015)

Counterexamples for Expected Rewards. - Tim Quatmann; Nils Jansen 001; Christian Dehnert; Ralf Wimmer 001; Erika Ábrahám; Joost-Pieter Katoen; Bernd Becker 001 (FM, 2015)

Bounded Model Checking for Probabilistic Programs. - Nils Jansen 001; Christian Dehnert; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Lukas Westhofen 001 (ATVA, 2016)

Parameter Synthesis for Markov Models: Faster Than Ever. - Tim Quatmann; Christian Dehnert; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen (ATVA, 2016)

Parameter Synthesis for Probabilistic Systems. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Joost-Pieter Katoen; Erika Ábrahám; Harold Bruintjes (MBMV, 2016)

Safety-Constrained Reinforcement Learning for MDPs. - Sebastian Junges; Nils Jansen 001; Christian Dehnert; Ufuk Topcu; Joost-Pieter Katoen (TACAS, 2016)

The Probabilistic Model Checker Storm (Extended Abstract). - Christian Dehnert; Sebastian Junges; Joost-Pieter Katoen; Matthias Volk 001 (CoRR, 2016)

A Storm is Coming: A Modern Probabilistic Model Checker. - Christian Dehnert; Sebastian Junges; Joost-Pieter Katoen; Matthias Volk 001 (CAV (2), 2017)

JANI: Quantitative Model and Tool Interaction. - Carlos E. Budde; Christian Dehnert; Ernst Moritz Hahn; Arnd Hartmanns; Sebastian Junges; Andrea Turrini (TACAS (2), 2017)

The probabilistic model checker Storm: symbolic methods for probabilistic model checking. - Christian Hensel (2018)

Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. - Milan Ceska 002; Christian Dehnert; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen (From Reactive Systems to Cyber-Physical Systems, 2019)

Counterexample-Driven Synthesis for Probabilistic Program Sketches. - Milan Ceska 002; Christian Hensel; Sebastian Junges; Joost-Pieter Katoen (FM, 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 001; Jan Kretínský; David Parker 001; Tim Quatmann; Enno Ruijters; Marcel Steinmetz (TACAS (3), 2019)

Parameter Synthesis for Markov Models. - Sebastian Junges; Erika Ábrahám; Christian Hensel; Nils Jansen 001; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk 001 (CoRR, 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)

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. - Christel Baier; Christian Hensel; Lisa Hutschenreiter; Sebastian Junges; Joost-Pieter Katoen; Joachim Klein 001 (Inf. Comput., 2020)

Counterexample-guided inductive synthesis for probabilistic systems. - Milan Ceska 002; Christian Hensel; Sebastian Junges; Joost-Pieter Katoen (Formal Aspects Comput., 2021)

The probabilistic model checker Storm. - Christian Hensel; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk 001 (Int. J. Softw. Tools Technol. Transf., 2022)

Can Unpaired Textual Data Replace Synthetic Speech in ASR Model Adaptation? - Pasquale D'Alterio; Christian Hensel; Bashar Awwad Shiekh Hasan (ASRU, 2023)

Riding the Storm in a Probabilistic Model Checking Landscape. - Christian Hensel; Sebastian Junges; Tim Quatmann; Matthias Volk 001 (Principles of Verification (2), 2024)

Parameter synthesis for Markov models: covering the parameter space. - Sebastian Junges; Erika Ábrahám; Christian Hensel; Nils Jansen 001; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk 001 (Formal Methods Syst. Des., 2024)