Christian Dehnert

19 papers A 1B 5Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
Model Repair Revamped: On the Automated Synthesis of Markov Chains.
CoRR
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 — conf
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.
From Reactive Systems to Cyber-Physical Systems
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2017 — conf
A Storm is Coming: A Modern Probabilistic Model Checker.
CAV (2)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017 J jnl
A storm is Coming: A Modern Probabilistic Model Checker.
CoRR
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017 — conf
JANI: Quantitative Model and Tool Interaction.
TACAS (2)
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
2016 B conf
Bounded Model Checking for Probabilistic Programs.
ATVA
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016 J jnl
Bounded Model Checking for Probabilistic Programs.
CoRR
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016 B conf
Parameter Synthesis for Markov Models: Faster Than Ever.
ATVA
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 J jnl
Parameter Synthesis for Markov Models: Faster Than Ever.
CoRR
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 — conf
Parameter Synthesis for Probabilistic Systems.
MBMV
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
2016 A conf
Safety-Constrained Reinforcement Learning for MDPs.
TACAS
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2016 J jnl
The Probabilistic Model Checker Storm (Extended Abstract).
CoRR
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2015 B conf
Counterexamples for Expected Rewards.
FM
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015 — conf
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
CAV (1)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
2015 J jnl
Safety-Constrained Reinforcement Learning for MDPs.
CoRR
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2014 — conf
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.
SFM
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
2014 B conf
Fast Debugging of PRISM Models.
ATVA
Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
2013 B conf
SMT-Based Bisimulation Minimisation of Markov Models.
VMCAI
Christian Dehnert, Joost-Pieter Katoen, David Parker
2012 — conf
On Abstraction of Probabilistic Systems.
ROCKS
Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen