The SCEAS System
Navigation Menu

Search the dblp DataBase


Annabelle McIver: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Annabelle McIver, E. Cohen, Carroll Morgan
    Using Probabilistic Kleene Algebra for Protocol Verification. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:296-310 [Conf]
  2. Carroll Morgan, Annabelle McIver
    Cost Analysis of Games, Using Program Logic. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:351-0 [Conf]
  3. Annabelle McIver
    Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:19-33 [Conf]
  4. Orieta Celiku, Annabelle McIver
    Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:107-122 [Conf]
  5. Annabelle McIver
    Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:131-146 [Conf]
  6. Jifeng He, Carroll Morgan, Annabelle McIver
    Deriving Probabilistic Semantics Via the 'Weakest Completion'. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:131-145 [Conf]
  7. Annabelle McIver
    Quantitative µ-Calculus Analysis of Power Management in Wireless Networks. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:50-64 [Conf]
  8. Annabelle McIver, Carroll Morgan
    Games, Probability and the Quantitative µ-Calculus qMµ. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:292-310 [Conf]
  9. Annabelle McIver, Tjark Weber
    Towards Automated Proof Support for Probabilistic Distributed Systems. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:534-548 [Conf]
  10. Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
    Probabilistic Invariants for Probabilistic Machines. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:240-259 [Conf]
  11. Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
    Development via Refinement in Probabilistic B - Foundation and Case Study. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:355-373 [Conf]
  12. Annabelle McIver, Carroll Morgan, Thai Son Hoang
    Probabilistic Termination in B. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:216-239 [Conf]
  13. Carroll Morgan, Annabelle McIver
    Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:288-305 [Conf]
  14. Annabelle McIver, Carroll Morgan
    Demonic, angelic and unbounded probabilistic choices in sequential programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2001, v:37, n:4/5, pp:329-354 [Journal]
  15. Annabelle McIver, Carroll Morgan
    Results on the quantitative mu-calculus qMu [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  16. Joe Hurd, Annabelle McIver, Carroll Morgan
    Probabilistic Guarded Commands Mechanized in HOL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:95-111 [Journal]
  17. Annabelle McIver
    A Generalisation of Stationary Distributions, and Probabilistic Program Algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  18. Annabelle McIver
    Reasoning about efficiency within a probabilistic µ-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  19. Annabelle McIver, Carroll Morgan
    A Novel Stochastic Game Via the Quantitative mu-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:195-212 [Journal]
  20. Carroll Morgan, Annabelle McIver
    Memoryless Strategies for Stochastic Games via Domain Theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:23-37 [Journal]
  21. Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders
    Refinement-Oriented Probability for CSP. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:617-647 [Journal]
  22. Carroll Morgan, Annabelle McIver
    An Expectation-Transformer Model for Probabilistic Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:6, pp:779-804 [Journal]
  23. Annabelle McIver, Carroll Morgan
    An elementary proof that Herman's Ring is Theta (N2). [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:94, n:2, pp:79-84 [Journal]
  24. Carroll Morgan, Annabelle McIver
    Unifying wp and wlp. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:59, n:3, pp:159-163 [Journal]
  25. Orieta Celiku, Annabelle McIver
    Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2004, v:11, n:2, pp:102-128 [Journal]
  26. Jifeng He, Karen Seidel, Annabelle McIver
    Probabilistic Models for the Guarded Command Language. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1997, v:28, n:2-3, pp:171-192 [Journal]
  27. Annabelle McIver, Carroll Morgan
    Abstraction and refinement in probabilistic systems. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:41-47 [Journal]
  28. Joe Hurd, Annabelle McIver, Carroll Morgan
    Probabilistic guarded commands mechanized in HOL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:96-112 [Journal]
  29. Annabelle McIver
    Quantitative program logic and expected time bounds in probabilistic distributed algorithms. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:191-219 [Journal]
  30. Annabelle McIver, Carroll Morgan
    Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  31. Annabelle McIver, Carroll Morgan
    Partial correctness for probabilistic demonic programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:513-541 [Journal]
  32. Annabelle McIver, Carroll Morgan
    Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:293, n:3, pp:507-534 [Journal]
  33. Annabelle McIver, Carroll Morgan
    Results on the quantitative µ-calculus qMµ. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]
  34. Carroll Morgan, Annabelle McIver, Karen Seidel
    Probabilistic Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:3, pp:325-353 [Journal]
  35. Carlos Gonzalia, Annabelle McIver
    Automating Refinement Checking in Probabilistic System Design. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:212-231 [Conf]
  36. Annabelle McIver, Carroll Morgan
    Developing and Reasoning About Probabilistic Programs in pGCL. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:123-155 [Conf]

  37. Security, Probability and Nearly Fair Coins in the Cryptographers' Café. [Citation Graph (, )][DBLP]

  38. Sums and Lovers: Case Studies in Security, Compositionality and Refinement. [Citation Graph (, )][DBLP]

  39. Compositional Closure for Bayes Risk in Probabilistic Noninterference. [Citation Graph (, )][DBLP]

  40. The Secret Art of Computer Programming. [Citation Graph (, )][DBLP]

  41. CaVi -- Simulation and Model Checking for Wireless Sensor Networks. [Citation Graph (, )][DBLP]

  42. Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. [Citation Graph (, )][DBLP]

  43. Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications [Citation Graph (, )][DBLP]

  44. An expectation transformer approach to predicate abstraction and data independence for probabilistic programs [Citation Graph (, )][DBLP]

  45. Compositional closure for Bayes Risk in probabilistic noninterference [Citation Graph (, )][DBLP]

Search in 0.024secs, Finished in 0.027secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002