David Parker

University of Oxford

other persons with the same name:

• David Parker 0002
• David Parker 0003

	2013
c49		Derek Neil, Samuel Perrault, Nathan Lapierre, Derek Reilly, David Parker, Harjot Bal: Limber: exploring motivation in a workplace exergame. CSCW Companion 2013: 239-242
c48		Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS 2013: 185-191
c47		Christian Dehnert, Joost-Pieter Katoen, David Parker: SMT-Based Bisimulation Minimisation of Markov Models. VMCAI 2013: 28-47
c46		Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Strategic Analysis of Trust Models for User-Centric Networks. SR 2013: 53-59
	2012
j22		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic verification of Herman's self-stabilisation algorithm. Formal Asp. Comput. 24(4-6): 661-670 (2012)
j21		Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. I. J. Comput. Appl. 20(2): 101-111 (2012)
c45		Vojtech Forejt, Marta Z. Kwiatkowska, David Parker: Pareto Curves for Probabilistic Model Checking. ATVA 2012: 317-332
c44		Marta Z. Kwiatkowska, Gethin Norman, David Parker: The PRISM Benchmark Suite. QEST 2012: 203-204
c43		Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma: Incremental Runtime Verification of Probabilistic Systems. RV 2012: 314-319
c42		Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330
e1		Alastair F. Donaldson, David Parker (Eds.): Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Lecture Notes in Computer Science 7385, Springer 2012, isbn 978-3-642-31758-3
i1		Vojtech Forejt, Marta Z. Kwiatkowska, David Parker: Pareto Curves for Probabilistic Model Checking. CoRR abs/1206.6295 (2012)
	2011
c41		Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker: Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521
c40		Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139
c39		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591
c38		Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207
c37		Marta Z. Kwiatkowska, David Parker, Hongyang Qu: Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370
c36		Lu Feng, Marta Z. Kwiatkowska, David Parker: Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE 2011: 2-17
c35		Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang: Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. QEST 2011: 69-78
c34		Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113
c33		Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127
	2010
j20		Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A game-based abstraction-refinement framework for Markov decision processes. Formal Methods in System Design 36(3): 246-280 (2010)
c32		Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45
c31		Lu Feng, Marta Z. Kwiatkowska, David Parker: Compositional Verification of Probabilistic Systems Using Learning. QEST 2010: 133-142
c30		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37
	2009
j19		John Draper, David P. Enot, David Parker, Manfred Beckmann, Stuart Snowdon, Wanchang Lin, Hassan Zubair: Metabolite signal identification in accurate mass metabolomics data with MZedDB, an interactive m/z annotation tool utilising predicted ionisation behaviour 'rules'. BMC Bioinformatics 10 (2009)
j18		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Performance Evaluation Review 36(4): 40-45 (2009)
j17		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti: Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009)
j16		Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. 35(2): 209-223 (2009)
c29		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227
c28		Konstantinos Chatzikokolakis, Gethin Norman, David Parker: Bisimulation for Demonic Schedulers. FOSSACS 2009: 318-332
c27		Alastair F. Donaldson, Alice Miller, David Parker: Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST 2009: 289-298
c26		Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197
	2008
j15		Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-Based Probabilistic Predicate Abstraction in PRISM. Electr. Notes Theor. Comput. Sci. 220(3): 5-21 (2008)
j14		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008)
j13		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Analysis of a gossip protocol in PRISM. SIGMETRICS Performance Evaluation Review 36(3): 17-22 (2008)
j12		John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. 391(3): 239-257 (2008)
c25		Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro: Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112
c24		Frank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76
	2007
c23		Alastair F. Donaldson, Alice Miller, David Parker: GRIP: Generic Representatives in PRISM. QEST 2007: 115-116
c22		Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model checking the probabilistic pi-calculus. QEST 2007: 169-178
c21		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Model Checking. SFM 2007: 220-270
	2006
j11		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Quantitative Analysis With the Probabilistic Model Checker PRISM. Electr. Notes Theor. Comput. Sci. 153(2): 5-31 (2006)
j10		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance analysis of probabilistic timed automata using digital clocks. Formal Methods in System Design 29(1): 33-78 (2006)
j9		Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
j8		Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
c20		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248
c19		John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
c18		Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
c17		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166
c16		Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444
c15		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn Gaffney: Simulation and verification for computational modelling of signalling pathways. Winter Simulation Conference 2006: 1666-1674
	2005
j7		Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta: Using probabilistic model checking for dynamic power management. Formal Asp. Comput. 17(2): 160-176 (2005)
j6		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Performance Evaluation Review 32(4): 16-21 (2005)
j5		Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla: Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1629-1637 (2005)
c14		Yi Zhang, David Parker, Marta Z. Kwiatkowska: A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN 2005: 732-741
	2004
j4		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT 6(2): 128-142 (2004)
c13		Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275
c12		Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood: Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS 2004: 123-130
c11		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323
c10		Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60
c9		Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla: Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. VLSI Design 2004: 907-
c8		Andrew S. Miner, David Parker: Symbolic Representations and Analysis of Large Probabilistic Systems. Validation of Stochastic Systems 2004: 296-338
	2003
j3		Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle: On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebr. Program. 56(1-2): 23-67 (2003)
c7		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
	2002
j2		Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker: A Symbolic Out-of-Core Solution Method for Markov Models. Electr. Notes Theor. Comput. Sci. 68(4): 589-604 (2002)
c6		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
c5		David Parker: Computer Based Real-Time Simulator for Renewable Energy Converters. DELTA 2002: 280-286
c4		Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta: Formal analysis and validation of continuous-time Markov chain based system level power management strategies. HLDVT 2002: 45-50
c3		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66
	2001
j1		David Bennett, Xiaming Liu, David Parker, Fred Steward, Kirit Vaidya: Technology transfer to China: a study of strategy in 20 EU industrial companies. IJTM 21(1/2): 151-182 (2001)
c2		Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
	2000
c1		Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala: Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. TACAS 2000: 395-410

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 22:57:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page