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: Parker:David
Facilitated 1 volumes:
PrCoContributed to:
2015
20142013
201320122011
2011
201120112010
20092009
20082007200620062006200420022000Wrote 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.