dblp.uni-trier.dewww.uni-trier.de

David Parker

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
41EEKonstantinos Chatzikokolakis, Gethin Norman, David Parker: Bisimulation for Demonic Schedulers. FOSSACS 2009: 318-332
40EEMark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Abstraction Refinement for Probabilistic Software. VMCAI 2009: 182-197
39EEGethin 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)
38EEMarta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti: Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009)
2008
37EEPritam Roy, David Parker, Gethin Norman, Luca de Alfaro: Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112
36EEFrank Ciesinski, Christel Baier, Marcus Größer, David Parker: Generating Compact MTBDD-Representations from ProbmelaSpecifications. SPIN 2008: 60-76
35EEMark 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)
34EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review 35(4): 14-21 (2008)
33EEJohn 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
32EEAlastair F. Donaldson, Alice Miller, David Parker: GRIP: Generic Representatives in PRISM. QEST 2007: 115-116
31EEGethin Norman, Catuscia Palamidessi, David Parker, Peng Wu: Model checking the probabilistic pi-calculus. QEST 2007: 169-178
30EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Stochastic Model Checking. SFM 2007: 220-270
2006
29EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Symmetry Reduction for Probabilistic Model Checking. CAV 2006: 234-248
28EEJohn Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. CMSB 2006: 32-47
27EEMarcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
26EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. QEST 2006: 157-166
25EEAndrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: A Tool for Automatic Verification of Probabilistic Systems. TACAS 2006: 441-444
24EEMarta 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
23EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Quantitative Analysis With the Probabilistic Model Checker PRISM. Electr. Notes Theor. Comput. Sci. 153(2): 5-31 (2006)
22EEMarta 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)
21EEHåkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. statistical probabilistic model checking. STTT 8(3): 216-228 (2006)
20EEMarie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker: A formal analysis of bluetooth device discovery. STTT 8(6): 621-632 (2006)
2005
19EEYi Zhang, David Parker, Marta Z. Kwiatkowska: A Wavefront Parallelisation of CTMC Solution Using MTBDDs. DSN 2005: 732-741
18EEGethin 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)
17EEGethin 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)
16EEMarta 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
14EEMarta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood: Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. MASCOTS 2004: 123-130
13EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM 2.0: A Tool for Probabilistic Model Checking. QEST 2004: 322-323
12EEHåkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. TACAS 2004: 46-60
11EEGethin 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-
10EEAndrew S. Miner, David Parker: Symbolic Representations and Analysis of Large Probabilistic Systems. Validation of Stochastic Systems 2004: 296-338
9EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic symbolic model checking with PRISM: a hybrid approach. STTT 6(2): 128-142 (2004)
2003
8EEMarta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston: Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. FORMATS 2003: 105-120
7EEHolger 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
6EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: PRISM: Probabilistic Symbolic Model Checker. Computer Performance Evaluation / TOOLS 2002: 200-204
5EEDavid Parker: Computer Based Real-Time Simulator for Renewable Energy Converters. DELTA 2002: 280-286
4EEMarta Z. Kwiatkowska, Gethin Norman, David Parker: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. TACAS 2002: 52-66
3EEMarta 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
2EEJoost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker: Faster and Symbolic CTMC Model Checking. PAPM-PROBMIV 2001: 23-38
2000
1EELuca 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

1Luca de Alfaro [1] [37]
2Christel Baier [27] [36]
3Konstantinos Chatzikokolakis [41]
4Frank Ciesinski [27] [36]
5Alastair F. Donaldson [32]
6Marie Duflot [15] [20]
7Eamonn Gaffney [24]
8Marcus Größer [27] [36]
9Rajesh K. Gupta (Rajesh Gupta) [18]
10John Heath [24] [28] [33]
11Holger Hermanns [7]
12Andrew Hinton [25]
13Joost-Pieter Katoen [2]
14Mark Kattenbelt [35] [40]
15Marta 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] [38] [40]
16Rashid Mehmood [3] [14]
17Alice Miller [32]
18Andrew S. Miner [10]
19Gethin 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] [37] [38] [39] [40] [41]
20Catuscia Palamidessi [31] [39]
21Pritam Roy [37]
22Roberto Segala [1]
23Sandeep K. Shukla [11] [17] [18]
24Markus Siegle [7]
25Jeremy Sproston [8] [22]
26Oksana Tymchyshyn [24] [28] [33]
27Maria Grazia Vigliotti [38]
28Peng Wu [31] [39]
29Håkan L. S. Younes [12] [21]
30Yi Zhang [14] [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)