- 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
| 2017 | |
|---|---|
 | Christian Dehnert. A Storm is Coming: A Modern Probabilistic Model Checker, Talk at CAV (Heidelberg, Germany), 2017. |
| Show all | |
Publications for Christian Dehnert
| 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. |
| Show all | |