BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dehnert:Christian

Contributed to:

CAV 20152015
FM 20152015
SFM 20142014
VMCAI 20132013
CAV (2) 20172017

Wrote 5 papers:

CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, ), pp. 214–231.
Counterexamples for Expected Rewards (TQ, NJ, CD, RW, , JPK, BB), pp. 435–452.
SFM-2014-AbrahamBDJKW #generative #markov #modelling #overview
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (, 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.