Annabelle McIver

A. K. McIver

	2012
60		Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: A Process Algebra for Wireless Mesh Networks. ESOP 2012: 295-315
59		Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan: Automated Analysis of AODV Using UPPAAL. TACAS 2012: 173-187
58		Suzana Andover, Annabelle McIver, Manuel Núñez: Preface: Special Issue QFM 2009. J. Log. Algebr. Program. 81(1): 1 (2012)
	2011
57		Peter Höfner, Annabelle McIver, Georg Struth: Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011 CEUR-WS.org 2011
56		Matt Bower, Annabelle McIver: Continual and explicit comparison to promote proactive facilitation during second computer language learning. ITiCSE 2011: 218-222
55		Peter Höfner, Annabelle McIver: Towards an Algebra of Routing Tables. RAMICS 2011: 212-229
54		Annabelle McIver, Tahiry M. Rabehaja, Georg Struth: On Probabilistic Kleene Algebras, Automata and Simulations. RAMICS 2011: 264-279
53		Ukachukwu Ndukwu, Annabelle McIver: Model exploration and analysis for quantitative safety refinement in probabilistic B Refine 2011: 101-120
52		Annabelle McIver, Larissa Meinicke, Carroll Morgan: Hidden-Markov Program Algebra with iteration CoRR abs/1102.0333: (2011)
51		A. K. McIver, Carroll C. Morgan: Compositional refinement in agent-based security protocols. Formal Asp. Comput. 23(6): 711-737 (2011)
	2010
50		Ukachukwu Ndukwu, A. K. McIver: YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B. ATVA 2010: 378-386
49		Annabelle McIver, Larissa Meinicke, Carroll Morgan: Compositional Closure for Bayes Risk in Probabilistic Noninterference. ICALP (2) 2010: 223-235
48		Ukachukwu Ndukwu, Annabelle McIver: An expectation transformer approach to predicate abstraction and data independence for probabilistic programs QAPL 2010: 129-143
47		Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan: Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. SAS 2010: 390-406
46		Annabelle McIver, Larissa Meinicke, Carroll Morgan: Compositional closure for Bayes Risk in probabilistic noninterference CoRR abs/1007.1054: (2010)
	2009
45		Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez: Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications QFM 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: 12-40 (2001)
9		Annabelle McIver: A Generalisation of Stationary Distributions, and Probabilistic Program Algebra. Electr. Notes Theor. Comput. Sci. 45: 269-279 (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: 138-155 (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	Suzana Andova	[45]
2	Suzana Andover	[58]
3	Athanassios Boulis	[39]
4	Matt Bower	[56]
5	Orieta Celiku	[19] [29]
6	E. Cohen	[31] [38]
7	Pieter J. L. Cuijpers	[45]
8	Pedro R. D'Argenio	[45]
9	Ansgar Fehnker	[33] [39] [41] [59] [60]
10	Matthias Fruth	[39] [41]
11	Rob J. van Glabbeek	[59] [60]
12	C. Gonzalia	[38] [40]
13	Carlos Gonzalia	[37]
14	Jifeng He	[4] [21]
15	Thai Son Hoang	[17] [18] [27]
16	Peter Höfner	[55] [57] [59] [60]
17	Joe Hurd	[22] [26]
18	Zhendong Jin	[17] [27]
19	Joost-Pieter Katoen	[47]
20	Jasen Markovski	[45]
21	Larissa Meinicke	[43] [46] [47] [49] [52]
22	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] [45] [46] [47] [49] [51] [52]
23	Ukachukwu Ndukwu	[48] [50] [53]
24	Manuel Núñez	[45] [58]
25	Marius Portmann	[59] [60]
26	Tahiry M. Rabehaja	[54]
27	Ken Robinson (Kenneth Arthur Robinson)	[17] [27]
28	Jeff W. Sanders (Jeffrey W. Sanders)	[2]
29	Karen Seidel	[2] [3] [4]
30	Georg Struth	[54] [57]
31	Wee Lum Tan	[59] [60]
32	Tjark Weber	[28]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page