David Parker

2008
35	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008)
34	EE	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
33	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Model Checking. SFM 2007: 220-270
2006
32	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker: Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248
31	EE	John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
30	EE	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
29	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166
28	EE	Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444
27	EE	Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker: An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. WADS 2006: 188-209
26	EE	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
25	EE	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)
24	EE	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)
23	EE	Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
22	EE	Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
2005
21	EE	Yi Zhang, David Parker, Marta Z. Kwiatkowska: A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN 2005: 732-741
20	EE	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)
19	EE	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)
18	EE	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
17	EE	Yiannis Papadopoulos, David Parker, Christian Grante: Automating the Failure Modes and Effects Analysis of Safety Critical Systems. HASE 2004: 310-311
16	EE	Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood: Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS 2004: 123-130
15	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323
14	EE	Yiannis Papadopoulos, David Parker, Christian Grante: A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. SCS 2004: 89-95
13	EE	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
12	EE	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-
11	EE	Andrew S. Miner, David Parker: Symbolic Representations and Analysis of Large Probabilistic Systems. Validation of Stochastic Systems 2004: 296-338
10	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT 6(2): 128-142 (2004)
2003
9	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
8	EE	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
7	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
6	EE	David Parker: Computer Based Real-Time Simulator for Renewable Energy Converters. DELTA 2002: 280-286
5	EE	Marta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66
4	EE	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): (2002)
2001
3	EE	Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
2000
2	EE	Adam Etches, David Parker, Sean Ince, Philip James: UTIS (Urban Transportation Information System) a geo-spatial transport database. ACM-GIS 2000: 83-88
1	EE	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]
2	Christel Baier	[30]
3	Egor Bondarev	[27]
4	Frank Ciesinski	[30]
5	Marie Duflot	[22]
6	Adam Etches	[2]
7	Eamonn Gaffney	[26]
8	Christian Grante	[14] [17]
9	Marcus Größer	[30]
10	Lars Grunske	[27]
11	Rajesh K. Gupta (Rajesh Gupta)	[20]
12	John Heath	[26] [31] [34]
13	Holger Hermanns	[8]
14	Andrew Hinton	[28]
15	Sean Ince	[2]
16	Philip James	[2]
17	Joost-Pieter Katoen	[3]
18	Marta Z. Kwiatkowska	[1] [3] [4] [5] [7] [8] [9] [10] [12] [13] [15] [16] [18] [19] [20] [21] [22] [23] [24] [25] [26] [28] [29] [30] [31] [32] [33] [34] [35]
19	Peter A. Lindsay	[27]
20	Rashid Mehmood	[4] [16]
21	Andrew S. Miner	[11]
22	Gethin Norman	[1] [3] [4] [5] [7] [8] [9] [10] [12] [13] [15] [18] [19] [20] [22] [23] [24] [25] [26] [28] [29] [30] [31] [32] [33] [34] [35]
23	Yiannis Papadopoulos	[14] [17] [27]
24	Roberto Segala	[1]
25	Sandeep K. Shukla	[12] [19] [20]
26	Markus Siegle	[8]
27	Jeremy Sproston	[9] [24]
28	Oksana Tymchyshyn	[26] [31] [34]
29	Håkan L. S. Younes	[13] [23]
30	Yi Zhang	[16] [21]

Colors in the list of coauthors