Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDDavid Parker 0001
David Anthony Parker
Person information
- affiliation: University of Birmingham, School of Computer Science, UK
Other persons with the same name
- David Parker — disambiguation page
- David Parker 0002
![[0000-0003-1482-1355]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-1482-1355")
— University of Hull - David Parker 0003 — University of Newcastle, UK
- David Parker 0004 — The Scarborough Hospital (and 1 more)
- David Parker 0005 — Aston University, Aston Business School, Birmingham, UK
- David Parker 0006 — Aberystwyth University, UK (and 1 more)
- David Parker 0007 — Dalhousie University, Halifax, Nova Scotia, Canada
- David Parker 0008 — Columbia University, New York, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j34]Ning Shi, Zexuan Zhu, Ke Tang, David Parker, Shan He:
ATEN: And/Or tree ensemble for inferring accurate Boolean network topology and dynamics. Bioinform. 36(2): 578-585 (2020)- [c78]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) 2020: 475-487 - [c77]Edoardo Bacci, David Parker:
Probabilistic Guarantees for Safe Deep Reinforcement Learning. FORMATS 2020: 231-248 - [c76]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST 2020: 74-95 - [e4]Armin Biere, David Parker:
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12078, Springer 2020, ISBN 978-3-030-45189-9 [contents] - [e3]Armin Biere, David Parker:
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12079, Springer 2020, ISBN 978-3-030-45236-0 [contents] - [i9]Edoardo Bacci, David Parker:
Probabilistic Guarantees for Safe Deep Reinforcement Learning. CoRR abs/2005.07073 (2020) - [i8]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020) - [i7]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic Verification of Concurrent Stochastic Systems. CoRR abs/2008.04613 (2020)
2010 – 2019
- 2019
- [j33]Bruno Lacerda, Fatma Faruq, David Parker, Nick Hawes:
Probabilistic planning with formal performance guarantees for mobile service robots. Int. J. Robotics Res. 38(9) (2019) - [j32]Avi Pfeffer, Curt Wu, Gerald Fry, Kenny Lu, Steve Marotta, Michael Reposa, Yuan Shi, T. K. Satish Kumar, Craig A. Knoblock, David Parker, Irfan Muhammad, Chris Novakovic:
Software Adaptation for an Unmanned Undersea Vehicle. IEEE Softw. 36(2): 91-96 (2019) - [c75]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. The Art of Modelling Computational Systems 2019: 379-396 - [c74]Chris Novakovic, David Parker:
Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems. ESORICS (1) 2019: 319-337 - [c73]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315 - [c72]Alexandros Evangelidis, David Parker:
Quantitative Verification of Numerical Stability for Kalman Filters. FM 2019: 425-441 - [c71]Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz:
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) 2019: 69-92 - [c70]Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters:
The Quantitative Verification Benchmark Set. TACAS (1) 2019: 344-350 - [e2]David Parker, Verena Wolf:
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Lecture Notes in Computer Science 11785, Springer 2019, ISBN 978-3-030-30280-1 [contents] - [i6]Marta Kwiatkowska, Gethin Norman, David Parker:
Verification and Control of Turn-Based Probabilistic Real-Time Games. CoRR abs/1906.09142 (2019) - 2018
- [j31]Alexandros Evangelidis, David Parker, Rami Bahsoon:
Performance modelling and verification of cloud-based auto-scaling policies. Future Gener. Comput. Syst. 87: 629-638 (2018) - [j30]Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. Int. J. Softw. Tools Technol. Transf. 20(2): 195-210 (2018) - [j29]Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe:
Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1152-1166 (2018) - [j28]David Parker:
Replicated Computational Results (RCR) Report for "ProPPA: Probabilistic Programming for Stochastic Dynamical Systems". ACM Trans. Model. Comput. Simul. 28(1): 4:1-4:3 (2018) - [c69]Fatma Faruq, David Parker, Bruno Lacerda, Nick Hawes:
Simultaneous Task Allocation and Planning Under Uncertainty. IROS 2018: 3559-3564 - [c68]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automated Verification of Concurrent Stochastic Games. QEST 2018: 223-239 - [i5]Fatma Faruq, Bruno Lacerda, Nick Hawes, David Parker:
Simultaneous Task Allocation and Planning Under Uncertainty. CoRR abs/1803.02906 (2018) - [i4]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR abs/1811.07145 (2018) - 2017
- [j27]Gethin Norman, David Parker, Xueyi Zou:
Verification and control of partially observable probabilistic systems. Real Time Syst. 53(3): 354-402 (2017) - [c67]Bruno Lacerda, David Parker, Nick Hawes:
Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees. ICAPS 2017: 504-512 - [c66]Marta Kwiatkowska, Gethin Norman, David Parker:
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools 2017: 289-309 - [c65]Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich:
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. CAV (1) 2017: 160-180 - [c64]Alexandros Evangelidis, David Parker, Rami Bahsoon:
Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. CCGrid 2017: 355-364 - 2016
- [j26]Christian von Essen, Barbara Jobstmann, David Parker, Rahul Varshneya:
Synthesizing efficient systems in probabilistic environments. Acta Informatica 53(4): 425-457 (2016) - [c63]Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe:
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. CMSB 2016: 232-251 - [c62]Zaruhi Aslanyan, Flemming Nielson, David Parker:
Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF 2016: 105-119 - [c61]Nishanthan Kamaleson, David Parker, Jonathan E. Rowe:
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. SPIN 2016: 147-164 - [c60]Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. TACAS 2016: 560-566 - 2015
- [j25]Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Permissive Controller Synthesis for Probabilistic Systems. Log. Methods Comput. Sci. 11(2) (2015) - [c59]Bruno Lacerda, David Parker, Nick Hawes:
Nested Value Iteration for Partially Satisfiable Co-Safe LTL Specifications (Extended Abstract). AAAI Fall Symposia 2015: 54-55 - [c58]Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek:
The Hanoi Omega-Automata Format. CAV (1) 2015: 479-486 - [c57]Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. FORMATS 2015: 240-255 - [c56]Bruno Lacerda, David Parker, Nick Hawes:
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. IJCAI 2015: 1587-1593 - [i3]Gethin Norman, David Parker, Xueyi Zou:
Verification and Control of Partially Observable Probabilistic Real-Time Systems. CoRR abs/1506.06419 (2015) - 2014
- [j24]Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu:
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538: 37-53 (2014) - [c55]Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Verification of Markov Decision Processes Using Learning Algorithms. ATVA 2014: 98-114 - [c54]Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind 2014: 40-58 - [c53]Bruno Lacerda, David Parker, Nick Hawes:
Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. IROS 2014: 1511-1516 - [c52]Klaus Dräger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Permissive Controller Synthesis for Probabilistic Systems. TACAS 2014: 531-546 - [p2]Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
On Incremental Quantitative Verification for Probabilistic Systems. HOWARD-60 2014: 245-257 - [i2]Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Verification of Markov Decision Processes using Learning Algorithms. CoRR abs/1402.2967 (2014) - 2013
- [j23]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic verification of competitive stochastic systems. Formal Methods Syst. Des. 43(1): 61-92 (2013) - [j22]Gethin Norman, David Parker, Jeremy Sproston:
Model checking for probabilistic timed automata. Formal Methods Syst. Des. 43(2): 164-190 (2013) - [j21]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232: 38-65 (2013) - [c51]Marta Z. Kwiatkowska, David Parker:
Automated Verification and Strategy Synthesis for Probabilistic Systems. ATVA 2013: 5-22 - [c50]Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker:
Probabilistic Point-to-Point Information Leakage. CSF 2013: 193-205 - [c49]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 - [c48]Christian Dehnert, Joost-Pieter Katoen, David Parker:
SMT-Based Bisimulation Minimisation of Markov Models. VMCAI 2013: 28-47 - [c47]Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Strategic Analysis of Trust Models for User-Centric Networks. SR 2013: 53-59 - 2012
- [j20]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic verification of Herman's self-stabilisation algorithm. Formal Aspects Comput. 24(4-6): 661-670 (2012) - [j19]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Int. J. Comput. Their Appl. 19(2): 101-111 (2012) - [c46]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. ATVA 2012: 317-332 - [c45]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
The PRISM Benchmark Suite. QEST 2012: 203-204 - [c44]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
Incremental Runtime Verification of Probabilistic Systems. RV 2012: 314-319 - [c43]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330 - [p1]Marta Z. Kwiatkowska, David Parker:
Advances in Probabilistic Model Checking. Software Safety and Security 2012: 126-151 - [e1]Alastair F. Donaldson, David Parker:
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 [contents] - [i1]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker:
Pareto Curves for Probabilistic Model Checking. CoRR abs/1206.6295 (2012) - 2011
- [c42]Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker:
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521 - [c41]Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Systematic Approach to Evaluate Sustained Stochastic Oscillations. BICoB 2011: 134-139 - [c40]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM 4.0: Verification of Probabilistic Real-Time Systems. CAV 2011: 585-591 - [c39]Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207 - [c38]Marta Z. Kwiatkowska, David Parker, Hongyang Qu:
Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370 - [c37]Lu Feng, Marta Z. Kwiatkowska, David Parker:
Automated Learning of Probabilistic Assumptions for Compositional Reasoning. FASE 2011: 2-17 - [c36]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 - [c35]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Automated Verification Techniques for Probabilistic Systems. SFM 2011: 53-113 - [c34]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127 - 2010
- [j18]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A game-based abstraction-refinement framework for Markov decision processes. Formal Methods Syst. Des. 36(3): 246-280 (2010) - [c33]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Framework for Verification of Software with Time and Probabilities. FORMATS 2010: 25-45 - [c32]Lu Feng, Marta Z. Kwiatkowska, David Parker:
Compositional Verification of Probabilistic Systems Using Learning. QEST 2010: 133-142 - [c31]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37
2000 – 2009
- 2009
- [j17]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: probabilistic model checking for performance and reliability analysis. SIGMETRICS Perform. Evaluation Rev. 36(4): 40-45 (2009) - [j16]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti:
Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009) - [j15]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) - [c30]Marta Kwiatkowska, Gethin Norman, David Parker:
Quantitative Verification Techniques for Biological Processes. Algorithmic Bioprocesses 2009: 391-409 - [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
- [j14]Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Game-Based Probabilistic Predicate Abstraction in PRISM. Electron. Notes Theor. Comput. Sci. 220(3): 5-21 (2008) - [j13]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Using probabilistic model checking in systems biology. SIGMETRICS Perform. Evaluation Rev. 35(4): 14-21 (2008) - [j12]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Analysis of a gossip protocol in PRISM. SIGMETRICS Perform. Evaluation Rev. 36(3): 17-22 (2008) - [j11]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
- [j10]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Quantitative Analysis With the Probabilistic Model Checker PRISM. Electron. Notes Theor. Comput. Sci. 153(2): 5-31 (2006) - [j9]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston:
Performance analysis of probabilistic timed automata using digital clocks. Formal Methods Syst. Des. 29(1): 33-78 (2006) - [j8]Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transf. 8(3): 216-228 (2006) - [j7]Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A formal analysis of bluetooth device discovery. Int. J. Softw. Tools Technol. Transf. 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 A. Gaffney:
Simulation and verification for computational modelling of signalling pathways. Winter Simulation Conference 2006: 1666-1674 - 2005
- [j6]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta:
Using probabilistic model checking for dynamic power management. Formal Aspects Comput. 17(2): 160-176 (2005) - [j5]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic model checking in practice: case studies with PRISM. SIGMETRICS Perform. Evaluation Rev. 32(4): 16-21 (2005) - [j4]Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla:
Evaluating the reliability of NAND multiplexing with PRISM. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 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
- [b2]Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden:
Mathematical techniques for analyzing concurrent and probabilistic systems. CRM monograph series 23, American Mathematical Society 2004, ISBN 978-0-8218-3571-5, pp. I-VIII, 1-215 - [j3]Marta Z. Kwiatkowska, Gethin Norman, David Parker:
Probabilistic symbolic model checking with PRISM: a hybrid approach. Int. J. Softw. Tools Technol. Transf. 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
- [b1]David Anthony Parker:
Implementation of symbolic model checking for probabilistic systems. University of Birmingham, UK, 2003 - [j2]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. Algebraic Methods 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.