David Parker

University of Oxford

other persons with the same name:

• David Parker
• David Parker

	2012
60		Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330
	2011
59		Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker: Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521
58		Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139
57		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591
56		Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis: Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207
55		Marta Z. Kwiatkowska, David Parker, Hongyang Qu: Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370
54		Lu Feng, Marta Z. Kwiatkowska, David Parker: Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE 2011: 2-17
53		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
52		Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113
51		Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127
	2010
50		Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45
49		Lu Feng, Marta Z. Kwiatkowska, David Parker: Compositional Verification of Probabilistic Systems Using Learning. QEST 2010: 133-142
48		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu: Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37
47		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)
	2009
46		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Games for Verification of Probabilistic Timed Automata. FORMATS 2009: 212-227
45		Konstantinos Chatzikokolakis, Gethin Norman, David Parker: Bisimulation for Demonic Schedulers. FOSSACS 2009: 318-332
44		Alastair F. Donaldson, Alice Miller, David Parker: Language-Level Symmetry Reduction for Probabilistic Model Checking. QEST 2009: 289-298
43		Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197
42		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)
41		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)
40		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)
39		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti: Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009)
	2008
38		Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro: Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112
37		Frank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76
36		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)
35		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008)
34		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Analysis of a gossip protocol in PRISM. SIGMETRICS Performance Evaluation Review 36(3): 17-22 (2008)
33		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)
	2007
32		Alastair F. Donaldson, Alice Miller, David Parker: GRIP: Generic Representatives in PRISM. QEST 2007: 115-116
31		Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model checking the probabilistic pi-calculus. QEST 2007: 169-178
30		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Model Checking. SFM 2007: 220-270
	2006
29		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248
28		John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
27		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
26		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166
25		Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444
24		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
23		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)
22		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)
21		Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
20		Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
	2005
19		Yi Zhang, David Parker, Marta Z. Kwiatkowska: A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN 2005: 732-741
18		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)
17		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)
16		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)
	2004
15		Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A Formal Analysis of Bluetooth Device Discovery. ISoLA (Preliminary proceedings) 2004: 268-275
14		Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood: Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS 2004: 123-130
13		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323
12		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
11		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-
10		Andrew S. Miner, David Parker: Symbolic Representations and Analysis of Large Probabilistic Systems. Validation of Stochastic Systems 2004: 296-338
9		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT 6(2): 128-142 (2004)
	2003
8		Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
7		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)
	2002
6		Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
5		David Parker: Computer Based Real-Time Simulator for Renewable Energy Converters. DELTA 2002: 280-286
4		Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66
3		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)
	2001
2		Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
	2000
1		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

1	Luca de Alfaro	[1] [38]
2	Christel Baier	[27] [37]
3	Manfred Beckmann	[42]
4	Konstantinos Chatzikokolakis	[45]
5	Taolue Chen	[56] [60]
6	Frank Ciesinski	[27] [37]
7	Alastair F. Donaldson	[32] [44]
8	John Draper	[42]
9	Marie Duflot	[15] [20]
10	David P. Enot	[42]
11	Lu Feng	[49] [54] [59]
12	Vojtech Forejt	[51] [52] [60]
13	Eamonn Gaffney	[24]
14	Marcus Größer	[27] [37]
15	Rajesh K. Gupta (Rajesh Gupta)	[18]
16	Ernst Moritz Hahn	[53]
17	Tingting Han	[59]
18	John Heath	[24] [28] [33]
19	Holger Hermanns	[7]
20	Andrew Hinton	[25]
21	Jorge Júlvez	[58]
22	Joost-Pieter Katoen	[2]
23	Mark Kattenbelt	[36] [43] [47]
24	Marta Z. Kwiatkowska	[1] [2] [3] [4] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [33] [34] [35] [36] [39] [40] [43] [46] [47] [48] [49] [50] [51] [52] [54] [55] [56] [57] [58] [59] [60]
25	Wanchang Lin	[42]
26	Rashid Mehmood	[3] [14]
27	Alice Miller	[32] [44]
28	Andrew S. Miner	[10]
29	Gethin Norman	[1] [2] [3] [4] [6] [7] [8] [9] [11] [12] [13] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [34] [35] [36] [38] [39] [40] [41] [43] [45] [46] [47] [48] [50] [51] [52] [53] [57] [58]
30	Catuscia Palamidessi	[31] [41]
31	Hongyang Qu	[48] [51] [55]
32	Pritam Roy	[38]
33	Roberto Segala	[1]
34	Sandeep K. Shukla (Sandeep Kumar Shukla)	[11] [17] [18]
35	Markus Siegle	[7]
36	Aistis Simaitis	[56] [60]
37	Stuart Snowdon	[42]
38	Jeremy Sproston	[8] [22]
39	Oksana Tymchyshyn	[24] [28] [33]
40	Maria Grazia Vigliotti	[39]
41	Björn Wachter	[53]
42	Peng Wu	[31] [41]
43	Håkan L. S. Younes	[12] [21]
44	Lijun Zhang	[53]
45	Yi Zhang	[14] [19]
46	Hassan Zubair	[42]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page