The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Parker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Symmetry Reduction for Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:234-248 [Conf]
  2. John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
    Probabilistic Model Checking of Complex Biological Pathways. [Citation Graph (0, 0)][DBLP]
    CMSB, 2006, pp:32-47 [Conf]
  3. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    PRISM: Probabilistic Symbolic Model Checker. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:200-204 [Conf]
  4. David Parker
    Computer Based Real-Time Simulator for Renewable Energy Converters. [Citation Graph (0, 0)][DBLP]
    DELTA, 2002, pp:280-286 [Conf]
  5. Yi Zhang, David Parker, Marta Z. Kwiatkowska
    A Wavefront Parallelisation of CTMC Solution Using MTBDDs. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:732-741 [Conf]
  6. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
    Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:105-120 [Conf]
  7. Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
    On Reduction Criteria for Probabilistic Reward Models. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:309-320 [Conf]
  8. Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood
    Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2004, pp:123-130 [Conf]
  9. Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Faster and Symbolic CTMC Model Checking. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:23-38 [Conf]
  10. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    PRISM 2.0: A Tool for Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:322-323 [Conf]
  11. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Game-based Abstraction for Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:157-166 [Conf]
  12. Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala
    Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:395-410 [Conf]
  13. Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    PRISM: A Tool for Automatic Verification of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:441-444 [Conf]
  14. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:52-66 [Conf]
  15. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:46-60 [Conf]
  16. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
    Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2004, pp:907-0 [Conf]
  17. Andrew S. Miner, David Parker
    Symbolic Representations and Analysis of Large Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:296-338 [Conf]
  18. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn Gaffney
    Simulation and verification for computational modelling of signalling pathways. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2006, pp:1666-1674 [Conf]
  19. Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker
    A Symbolic Out-of-Core Solution Method for Markov Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  20. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Quantitative Analysis With the Probabilistic Model Checker PRISM. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:5-31 [Journal]
  21. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta
    Using probabilistic model checking for dynamic power management. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:2, pp:160-176 [Journal]
  22. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
    Performance analysis of probabilistic timed automata using digital clocks. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:1, pp:33-78 [Journal]
  23. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
    On the use of MTBDDs for performability analysis and verification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:23-67 [Journal]
  24. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Probabilistic model checking in practice: case studies with PRISM. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:16-21 [Journal]
  25. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Probabilistic symbolic model checking with PRISM: a hybrid approach. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:128-142 [Journal]
  26. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Numerical vs. statistical probabilistic model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:216-228 [Journal]
  27. Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    A formal analysis of bluetooth device discovery. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:621-632 [Journal]
  28. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
    Evaluating the reliability of NAND multiplexing with PRISM. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:10, pp:1629-1637 [Journal]
  29. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Stochastic Model Checking. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:220-270 [Conf]

  30. Stochastic Games for Verification of Probabilistic Timed Automata. [Citation Graph (, )][DBLP]


  31. Bisimulation for Demonic Schedulers. [Citation Graph (, )][DBLP]


  32. A Formal Analysis of Bluetooth Device Discovery. [Citation Graph (, )][DBLP]


  33. GRIP: Generic Representatives in PRISM. [Citation Graph (, )][DBLP]


  34. Model checking the probabilistic pi-calculus. [Citation Graph (, )][DBLP]


  35. Symbolic Magnifying Lens Abstraction in Markov Decision Processes. [Citation Graph (, )][DBLP]


  36. Language-Level Symmetry Reduction for Probabilistic Model Checking. [Citation Graph (, )][DBLP]


  37. Generating Compact MTBDD-Representations from ProbmelaSpecifications. [Citation Graph (, )][DBLP]


  38. Assume-Guarantee Verification for Probabilistic Systems. [Citation Graph (, )][DBLP]


  39. Abstraction Refinement for Probabilistic Software. [Citation Graph (, )][DBLP]


  40. Metabolite signal identification in accurate mass metabolomics data with MZedDB, an interactive m/z annotation tool utilising predicted ionisation behaviour 'rules'. [Citation Graph (, )][DBLP]


  41. Game-Based Probabilistic Predicate Abstraction in PRISM. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002