The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gethin Norman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Automatic Verification of Real-Time Systems with Discrete Probability Distributions. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:75-95 [Conf]
  2. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Symmetry Reduction for Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:234-248 [Conf]
  3. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala
    Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:194-206 [Conf]
  4. 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]
  5. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Symbolic Computation of Maximal Probabilistic Reachability. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:169-183 [Conf]
  6. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:123-137 [Conf]
  7. 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]
  8. Gethin Norman, Vitaly Shmatikov
    Analysis of Probabilistic Contract Signing. [Citation Graph (0, 0)][DBLP]
    FASec, 2002, pp:81-96 [Conf]
  9. 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]
  10. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
    Symbolic Model Checking for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:293-308 [Conf]
  11. Marta Z. Kwiatkowska, Gethin Norman
    Verifying Randomized Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:194-209 [Conf]
  12. Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
    Stochastic Transition Systems for Continuous State Spaces and Non-determinism. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:125-139 [Conf]
  13. 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]
  14. Marta Z. Kwiatkowska, Gethin Norman
    Probabilistic Metric Semantics for a Simple Language with Recursion. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:419-430 [Conf]
  15. 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]
  16. Marta Z. Kwiatkowska, Gethin Norman, António Pacheco
    Model Checking CSL until Formulae with Random Time Bounds. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:152-168 [Conf]
  17. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:169-187 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Gethin Norman
    Analysing Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:384-418 [Conf]
  26. 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]
  27. Christel Baier, Marta Z. Kwiatkowska, Gethin Norman
    Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  28. Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  29. 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]
  30. Marta Z. Kwiatkowska, Gethin Norman
    A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal]
  31. Marta Z. Kwiatkowska, Gethin Norman
    A Testing Equivalence for Reactive Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal]
  32. 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]
  33. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:295-318 [Journal]
  34. 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]
  35. 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]
  36. Gethin Norman, Vitaly Shmatikov
    Analysis of probabilistic contract signing. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2006, v:14, n:6, pp:561-589 [Journal]
  37. 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]
  38. 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]
  39. Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
    Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:221-236 [Journal]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Automatic verification of real-time systems with discrete probability distributions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:101-150 [Journal]
  45. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Stochastic Model Checking. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:220-270 [Conf]
  46. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
    Symbolic model checking for probabilistic timed automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:7, pp:1027-1077 [Journal]

  47. Concavely-Priced Probabilistic Timed Automata. [Citation Graph (, )][DBLP]


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


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


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


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


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


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


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


  55. Quantitative Games on Probabilistic Timed Automata [Citation Graph (, )][DBLP]


  56. Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages [Citation Graph (, )][DBLP]


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


Search in 5.848secs, Finished in 5.851secs
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