Annabelle McIver

A. K. McIver

	2009
44		Annabelle McIver, Carroll C. Morgan: Sums and Lovers: Case Studies in Security, Compositionality and Refinement. FM 2009: 289-304
43		Annabelle McIver, Larissa Meinicke, Carroll Morgan: Security, Probability and Nearly Fair Coins in the Cryptographers' Café. FM 2009: 41-71
42		Annabelle McIver: The Secret Art of Computer Programming. ICTAC 2009: 61-78
41		Ansgar Fehnker, Matthias Fruth, Annabelle McIver: Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. Methods, Models and Tools for Fault Tolerance 2009: 1-24
	2008
40		A. K. McIver, Carroll C. Morgan, C. Gonzalia: Proofs and Refutations for Probabilistic Refinement. FM 2008: 100-115
39		Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver: CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST 2008: 37-38
38		A. K. McIver, C. Gonzalia, E. Cohen, Carroll C. Morgan: Using probabilistic Kleene algebra pKA for protocol verification. J. Log. Algebr. Program. 76(1): 90-111 (2008)
	2007
37		Carlos Gonzalia, Annabelle McIver: Automating Refinement Checking in Probabilistic System Design. ICFEM 2007: 212-231
36		Annabelle McIver, Carroll Morgan: Results on the quantitative µ-calculus qMµ. ACM Trans. Comput. Log. 8(1): (2007)
	2006
35		Annabelle McIver: Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems. FM 2006: 131-146
34		Annabelle McIver: Quantitative µ-Calculus Analysis of Power Management in Wireless Networks. ICTAC 2006: 50-64
33		A. K. McIver, Ansgar Fehnker: Formal Techniques for the Analysis of Wireless Networks. ISoLA 2006: 263-270
32		Carroll Morgan, Annabelle McIver: Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation. RODIN Book 2006: 288-305
31		Annabelle McIver, E. Cohen, Carroll Morgan: Using Probabilistic Kleene Algebra for Protocol Verification. RelMiCS 2006: 296-310
30		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		Orieta Celiku, Annabelle McIver: Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. FM 2005: 107-122
28		Annabelle McIver, Tjark Weber: Towards Automated Proof Support for Probabilistic Distributed Systems. LPAR 2005: 534-548
27		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		Joe Hurd, Annabelle McIver, Carroll Morgan: Probabilistic Guarded Commands Mechanized in HOL. Electr. Notes Theor. Comput. Sci. 112: 95-111 (2005)
25		Carroll Morgan, Annabelle McIver: Memoryless Strategies for Stochastic Games via Domain Theory. Electr. Notes Theor. Comput. Sci. 130: 23-37 (2005)
24		Annabelle McIver, Carroll Morgan: An elementary proof that Herman's Ring is Theta (N2). Inf. Process. Lett. 94(2): 79-84 (2005)
23		Annabelle McIver, Carroll Morgan: Abstraction and refinement in probabilistic systems. SIGMETRICS Performance Evaluation Review 32(4): 41-47 (2005)
22		Joe Hurd, Annabelle McIver, Carroll Morgan: Probabilistic guarded commands mechanized in HOL. Theor. Comput. Sci. 346(1): 96-112 (2005)
	2004
21		Jifeng He, Carroll Morgan, Annabelle McIver: Deriving Probabilistic Semantics Via the 'Weakest Completion'. ICFEM 2004: 131-145
20		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		Annabelle McIver, Carroll Morgan, Thai Son Hoang: Probabilistic Termination in B. ZB 2003: 216-239
17		Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Probabilistic Invariants for Probabilistic Machines. ZB 2003: 240-259
16		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		Annabelle McIver, Carroll Morgan: Games, Probability and the Quantitative µ-Calculus qMµ. LPAR 2002: 292-310
13		Annabelle McIver: Quantitative program logic and expected time bounds in probabilistic distributed algorithms. Theor. Comput. Sci. 282(1): 191-219 (2002)
	2001
12		Carroll Morgan, Annabelle McIver: Cost Analysis of Games, Using Program Logic. APSEC 2001: 351-
11		Annabelle McIver, Carroll Morgan: Demonic, angelic and unbounded probabilistic choices in sequential programs. Acta Inf. 37(4/5): 329-354 (2001)
10		Annabelle McIver, Carroll Morgan: Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL. Electr. Notes Theor. Comput. Sci. 42: (2001)
9		Annabelle McIver: A Generalisation of Stationary Distributions, and Probabilistic Program Algebra. Electr. Notes Theor. Comput. Sci. 45: (2001)
8		Annabelle McIver, Carroll Morgan: Partial correctness for probabilistic demonic programs. Theor. Comput. Sci. 266(1-2): 513-541 (2001)
	1999
7		Annabelle McIver: Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms. ARTS 1999: 19-33
6		Annabelle McIver: Reasoning about efficiency within a probabilistic µ-calculus. Electr. Notes Theor. Comput. Sci. 22: (1999)
5		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		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		Carroll Morgan, Annabelle McIver: Unifying wp and wlp. Inf. Process. Lett. 59(3): 159-163 (1996)

Coauthor Index

1	Athanassios Boulis	[39]
2	Orieta Celiku	[19] [29]
3	E. Cohen	[31] [38]
4	Ansgar Fehnker	[33] [39] [41]
5	Matthias Fruth	[39] [41]
6	C. Gonzalia	[38] [40]
7	Carlos Gonzalia	[37]
8	Jifeng He	[4] [21]
9	Thai Son Hoang	[17] [18] [27]
10	Joe Hurd	[22] [26]
11	Zhendong Jin	[17] [27]
12	Larissa Meinicke	[43]
13	Carroll Morgan (Carroll C. 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] [36] [38] [40] [43] [44]
14	Ken Robinson (Kenneth Arthur Robinson)	[17] [27]
15	Jeff W. Sanders (Jeffrey W. Sanders)	[2]
16	Karen Seidel	[2] [3] [4]
17	Tjark Weber	[28]

Colors in the list of coauthors