BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Estonia
1 × Spain
1 × United Kingdom
2 × France
3 × Germany
4 × Italy
4 × USA
Collaborated with:
M.Z.Kwiatkowska G.Norman V.Forejt M.Kattenbelt H.Qu T.Chen A.Simaitis C.Dehnert J.Katoen L.Feng K.Chatzikokolakis A.Hinton H.L.S.Younes K.Dräger M.Ujma L.d.Alfaro R.Segala T.Babiak F.Blahoudek A.Duret-Lutz J.Klein J.Kretínský D.Müller J.Strejcek
Talks about:
probabilist (14) model (8) system (7) verif (6) prism (6) check (5) stochast (3) game (3) abstract (2) quantit (2)

♂ Person: David Parker

DBLP DBLP: Parker:David

Facilitated 1 volumes:

CBSE 2013PrCo

Contributed to:

CAV 20152015
TACAS 20142014
TACAS 20132013
VMCAI 20132013
TACAS 20122012
CAV 20112011
FASE 20112011
SFM 20112011
TACAS 20112011
TACAS 20102010
FOSSACS 20092009
VMCAI 20092009
QAPL 20082008
SFM 20072007
CAV 20062006
TACAS 20062006
QAPL 20052006
TACAS 20042004
TACAS 20022002
TACAS 20002000

Wrote 20 papers:

CAV-2015-BabiakBDKKM0S
The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
TACAS-2014-DragerFKPU #probability #synthesis
Permissive Controller Synthesis for Probabilistic Systems (KD, VF, MZK, DP, MU), pp. 531–546.
TACAS-2013-ChenFKPS #game studies #model checking #multi #named #probability
PRISM-games: A Model Checker for Stochastic Multi-Player Games (TC, VF, MZK, DP, AS), pp. 185–191.
VMCAI-2013-DehnertKP #bisimulation #markov #modelling #smt
SMT-Based Bisimulation Minimisation of Markov Models (CD, JPK, DP), pp. 28–47.
TACAS-2012-ChenFKPS #automation #probability #verification
Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.
CAV-2011-KwiatkowskaNP #probability #realtime #verification
PRISM 4.0: Verification of Probabilistic Real-Time Systems (MZK, GN, DP), pp. 585–591.
FASE-2011-FengKP #automation #composition #learning #probability #reasoning
Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.
SFM-2011-ForejtKNP #automation #probability #verification
Automated Verification Techniques for Probabilistic Systems (VF, MZK, GN, DP), pp. 53–113.
TACAS-2011-ForejtKNPQ #multi #probability #verification
Quantitative Multi-objective Verification for Probabilistic Systems (VF, MZK, GN, DP, HQ), pp. 112–127.
TACAS-2010-KwiatkowskaNPQ #probability #verification
Assume-Guarantee Verification for Probabilistic Systems (MZK, GN, DP, HQ), pp. 23–37.
FoSSaCS-2009-ChatzikokolakisNP #bisimulation
Bisimulation for Demonic Schedulers (KC, GN, DP), pp. 318–332.
VMCAI-2009-KattenbeltKNP #abstraction #probability #refinement
Abstraction Refinement for Probabilistic Software (MK, MZK, GN, DP), pp. 182–197.
QAPL-2008-KattenbeltKNP #abstraction #game studies #probability
Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.
SFM-2007-KwiatkowskaNP #model checking #probability
Stochastic Model Checking (MZK, GN, DP), pp. 220–270.
CAV-2006-KwiatkowskaNP #model checking #probability #reduction #symmetry
Symmetry Reduction for Probabilistic Model Checking (MZK, GN, DP), pp. 234–248.
TACAS-2006-HintonKNP #automation #named #probability #verification
PRISM: A Tool for Automatic Verification of Probabilistic Systems (AH, MZK, GN, DP), pp. 441–444.
QAPL-2005-KwiatkowskaNP06 #analysis #model checking #probability
Quantitative Analysis With the Probabilistic Model Checker PRISM (MZK, GN, DP), pp. 5–31.
TACAS-2004-YounesKNP #empirical #model checking #probability #statistics
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study (HLSY, MZK, GN, DP), pp. 46–60.
TACAS-2002-KwiatkowskaNP #approach #hybrid #model checking #probability
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.
TACAS-2000-AlfaroKNPS #model checking #probability #process #representation #using
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (LdA, MZK, GN, DP, RS), pp. 395–410.

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.