Annabelle McIver

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

Coauthor Index

1	Athanassios Boulis	[37]
2	Orieta Celiku	[19] [29]
3	E. Cohen	[31]
4	Ansgar Fehnker	[37]
5	Matthias Fruth	[37]
6	Carlos Gonzalia	[36]
7	Jifeng He	[4] [21]
8	Thai Son Hoang	[17] [18] [27]
9	Joe Hurd	[22] [26]
10	Zhendong Jin	[17] [27]
11	Carroll Morgan	[1] [2] [3] [5] [8] [10] [11] [12] [14] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] [26] [27] [30] [31] [32] [35]
12	Ken Robinson (Kenneth Arthur Robinson)	[17] [27]
13	Jeff W. Sanders	[2]
14	Karen Seidel	[2] [3] [4]
15	Tjark Weber	[28]

Colors in the list of coauthors