Christian Dehnert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2013–2017
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | A Storm is Coming: A Modern Probabilistic Model Checker. | Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk |
| 2017 | TACAS | JANI: Quantitative Model and Tool Interaction. | Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini |
| 2016 | ATVA | Bounded Model Checking for Probabilistic Programs. | Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen |
| 2016 | ATVA | Parameter Synthesis for Markov Models: Faster Than Ever. | Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | TACAS | Safety-Constrained Reinforcement Learning for MDPs. | Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen |
| 2015 | CAV | PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm |
| 2015 | FM | Counterexamples for Expected Rewards. | Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen, Bernd Becker |
| 2014 | ATVA | Fast Debugging of PRISM Models. | Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen |
| 2013 | VMCAI | SMT-Based Bisimulation Minimisation of Markov Models. | Christian Dehnert, Joost-Pieter Katoen, David Parker |