- dehnert at cs.rwth-aachen.de
- Address
- Room 4210
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21203
I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:
- formal methods for qualitative and quantitative systems
- abstraction techniques for quantitative systems
- symbolic methods for the analysis of systems
- SMT-solving, in particular its applications to the analysis of formal models
Selected Talks
2018 | |
---|---|
![]() | Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking, at RWTH Aachen University, 2018. |
2017 | |
![]() | Christian Dehnert. A Storm is Coming: A Modern Probabilistic Model Checker, Talk at CAV (Heidelberg, Germany), 2017. |
2016 | |
![]() | Christian Dehnert. Parameter Synthesis of Markov Models – Faster Than Ever, Talk at ATVA (Chiba, Tokyo, Japan), 2016. |
![]() | Christian Dehnert. Bounded Model Checking for Probabilistic Programs, Talk at ATVA (Chiba, Tokyo, Japan), 2016. |
2015 | |
Christian Dehnert. PROPhESY – A PRObabilistic ParamEter SYnthesis Tool, Talk at CAV'15, 2015. | |
Christian Dehnert. Fast Debugging of PRISM Models, Talk at FFM'15, 2015. | |
2014 | |
Christian Dehnert. Fast Debugging of PRISM Models, Talk at the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2014. | |
Christian Dehnert. Accelerating Predicate Abstraction for Probabilistic Automata, Talk at UTS, Australia, 2014. | |
Christian Dehnert. Fast Debugging of PRISM Models, Talk at SENSATION Project Meeting, 2014. | |
2013 | |
![]() | Christian Dehnert. SMT-based Bisimulation Minimisation of Markov Models, Talk at VMCAI, Rome, Italy, 2013. |
Publications for Christian Dehnert
2018 | |
---|---|
![]() | Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking. Phd Thesis at RWTH Aachen University, 2018. |
2017 | |
![]() | Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk. A Storm is Coming: A Modern Probabilistic Model Checker. Proc. of CAV, Volume 10427 of LNCS, pages 592–600, Springer, 2017. |
![]() | Carlos E. Budde, Christian Dehnert, E. Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini. “JANI: Quantitative Model and Tool Interaction. Proc. of TACAS (2), Volume 10206 of LNCS, pages 151-168, Springer, 2017. |
2016 | |
![]() | Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen. Bounded Model Checking for Probabilistic Programs. Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), Volume 9938 of LNCS, Springer, 2016. |
![]() | Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis for Markov Models: Faster Than Ever. Proc. of ATVA, Volume 9938 of LNCS, pages 50–67, Springer, 2016. |
![]() | Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen. Safety-constrained Reinforcement Learning for MDPs. Proc. of TACAS, Volume 9636 of LNCS, pages 130-146, Springer, 2016. |
![]() | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Abraham, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. Proc. of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'16), pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016. |
2015 | |
![]() | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Abraham. PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Proc. of the 27th Int. Conf. on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, pages 214–231, Springer, 2015. |
![]() | Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards. Proc. of the 20th Int. Symp. on Formal Methods (FM'15), Volume 9109 of LNCS, pages 435–452, Springer, 2015. |
2014 | |
![]() | Erika Abraham, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Proc. of the 14th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models (SFM-14:ESM), Volume 8483 of LNCS, pages 65–121, Springer, 2014. |
![]() | Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen. Fast Debugging of PRISM Models. Int. Symp. on Automated Technology for Verification and Analysis (ATVA'14), Volume 8837 of LNCS, pages 146–162, Springer, 2014. |
![]() | Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen. On Abstraction of Probabilistic Systems. International Autumn School, ROCKS 2012 (Advanced Lectures), Volume 8453 of LNCS, pages 87–116, Springer, 2014. |
2013 | |
![]() | Christian Dehnert, David Parker, Joost-Pieter Katoen. SMT-based Bisimulation Minimisation of Markov Models. 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Volume 7737 of LNCS, pages 28–47, Springer, 2013. |