Travelled to:1 × Norway
1 × USA
2 × Italy
Collaborated with:J.Katoen N.Jansen E.Ábrahám S.Junges D.Parker R.Wimmer B.Becker M.V.0001 T.Quatmann F.Corzilius M.Volk H.Bruintjes
Talks about:model (3) counterexampl (2) markov (2) introductori (1) probabilist (1) obabilist (1) prophesi (1) ynthesi (1) minimis (1) generat (1)
Person: Christian Dehnert
DBLP: Dehnert:Christian
Contributed to:
2015
2015
2014
20132017Wrote 5 papers:
- CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
- PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, EÁ), pp. 214–231.
- FM-2015-QuatmannJDWAKB
- Counterexamples for Expected Rewards (TQ, NJ, CD, RW, EÁ, JPK, BB), pp. 435–452.
- SFM-2014-AbrahamBDJKW #generative #markov #modelling #overview
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
- VMCAI-2013-DehnertKP #bisimulation #markov #modelling #smt
- SMT-Based Bisimulation Minimisation of Markov Models (CD, JPK, DP), pp. 28–47.
- CAV-2017-DehnertJK0 #model checking #probability
- A Storm is Coming: A Modern Probabilistic Model Checker (CD, SJ, JPK, MV0), pp. 592–600.