Annabelle McIver

156 papers A* 5A 8B 20C 13Journal 72Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	A	`ed.`	43rd International Symposium on Theoretical Aspects of Computer Science, STACS 2026, Grenoble, France, March 9-13, 2026 STACS Meena Mahajan, Florin Manea, Annabelle McIver, Kim Thang Nguyen
2026	J	`jnl`	Beyond Theoretical Bounds: Empirical Privacy Loss Calibration for Text Rewriting Under Local Differential Privacy. CoRR Weijun Li, Arnaud Grivet Sébert, Qiongkai Xu, Annabelle McIver, Mark Dras
2026	B	`conf`	Composition Theorems for f-Differential Privacy. FoSSaCS Natasha Fernandes, Annabelle McIver, Parastoo Sadeghi
2026	J	`jnl`	De-identification of clinical data: A systematic review of free text, image and tabular data approaches. Int. J. Medical Informatics Pedro Faustini, Annabelle McIver, Ryan Sullivan, Mark Dras
2025	J	`jnl`	Comparing privacy notions for protection against reconstruction attacks in machine learning. CoRR Sayan Biswas, Mark Dras, Pedro Faustini, Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Parastoo Sadeghi
2025	J	`jnl`	Composition Theorems for f-Differential Privacy. CoRR Natasha Fernandes, Annabelle McIver, Parastoo Sadeghi
2025	J	`jnl`	Empirical Calibration and Metric Differential Privacy in Language Models. IEEE Access Pedro Faustini, Natasha Fernandes, Annabelle McIver, Mark Dras
2025	J	`jnl`	Empirical Calibration and Metric Differential Privacy in Language Models. CoRR Pedro Faustini, Natasha Fernandes, Annabelle McIver, Mark Dras
2025	C	`conf`	Forward and Backward Simulations for Partially Observable Probability. ICTAC Chris Chen, Annabelle McIver, Carroll Morgan
2025	J	`jnl`	Forward and Backward Simulations for Partially Observable Probability. CoRR Chris Chen, Annabelle McIver, Carroll Morgan
2024	J	`jnl`	Bayes' capacity as a measure for reconstruction attacks in federated learning. CoRR Sayan Biswas, Mark Dras, Pedro Faustini, Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Parastoo Sadeghi
2024	A	`conf`	Explaining ∊ in Local Differential Privacy Through the Lens of Quantitative Information Flow. CSF Natasha Fernandes, Annabelle McIver, Parastoo Sadeghi
2024	J	`jnl`	IDT: Dual-Task Adversarial Attacks for Privacy Protection. CoRR Pedro Faustini, Shakila Mahjabin Tonni, Annabelle McIver, Qiongkai Xu, Mark Dras
2024	C	`conf`	Probabilistic Datatypes. ICTAC Chris Chen, Annabelle McIver, Carroll Morgan
2024	—	`conf`	Source-Level Reasoning for Quantifying Information Leaks. Principles of Verification (1) Chris Chen, Annabelle McIver, Carroll Morgan
2024	J	`jnl`	Source-level reasoning for quantitative information flow. CoRR Chris Chen, Annabelle McIver, Carroll Morgan
2024	A*	`conf`	The Privacy-Utility Trade-off in the Topics API. CCS Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes
2024	J	`jnl`	The Privacy-Utility Trade-off in the Topics API. CoRR Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel H. Nunes
2023	A*	`conf`	A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow. CCS Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
2023	—	`conf`	A Quantitative Information Flow Analysis of the Topics API. WPES@CCS Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes
2023	J	`jnl`	A Quantitative Information Flow Analysis of the Topics API. CoRR Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes
2023	J	`jnl`	A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow. CoRR Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
2023	J	`jnl`	Universal optimality and robust utility bounds for metric differential privacy. J. Comput. Secur. Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding
2022	J	`jnl`	Directional Privacy for Deep Learning. CoRR Pedro Faustini, Natasha Fernandes, Annabelle McIver, Mark Dras
2022	J	`jnl`	Explaining epsilon in differential privacy through the lens of information theory. CoRR Natasha Fernandes, Annabelle McIver, Parastoo Sadeghi
2022	J	`jnl`	Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. CoRR Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
2022	J	`jnl`	Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. Proc. Priv. Enhancing Technol. Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
2022	B	`conf`	How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk). CSL Natasha Fernandes, Annabelle McIver, Carroll Morgan
2022	A	`conf`	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CSF Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding
2022	J	`jnl`	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CoRR Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding
2021	J	`jnl`	Editorial. Formal Aspects Comput. Annabelle McIver, Maurice H. ter Beek
2021	J	`jnl`	Formal methods: practical applications and foundations. Formal Methods Syst. Des. Maurice H. ter Beek, Annabelle McIver
2021	A*	`conf`	The Laplace Mechanism has optimal utility for differential privacy over continuous queries. LICS Natasha Fernandes, Annabelle McIver, Carroll Morgan
2021	J	`jnl`	The Laplace Mechanism has optimal utility for differential privacy over continuous queries. CoRR Natasha Fernandes, Annabelle McIver, Carroll Morgan
2020	—	`conf`	Correctness by Construction for Probabilistic Programs. ISoLA (1) Annabelle McIver, Carroll Morgan
2020	J	`jnl`	Correctness by construction for probabilistic programs. CoRR Annabelle McIver, Carroll Morgan
2020	—	`conf`	Failure Mode Reasoning in Model Based Safety Analysis. IMBSA Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos
2020	J	`jnl`	Failure Mode Reasoning in Model Based Safety Analysis. CoRR Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos
2020	J	`jnl`	Introduction to the Special Section on Quantitative Evaluation of Systems (QEST 2018). ACM Trans. Model. Perform. Evaluation Comput. Syst. Annabelle McIver, András Horváth
2020	B	`conf`	On Privacy and Accuracy in Data Releases (Invited Paper). CONCUR Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Gabriel Henrique Nunes
2020	—	`ch.`	Quantitative Information Flow with Monads in Haskell. Foundations of Probabilistic Programming Jeremy Gibbons, Annabelle McIver, Carroll Morgan, Tom Schrijvers
2020	C	`conf`	Reasoning with Failures. ICFEM Hamid Jahanian, Annabelle McIver
2020	J	`jnl`	Reasoning with failures. CoRR Hamid Jahanian, Annabelle McIver
2020	—	`book`	The Science of Quantitative Information Flow. Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2019	J	`jnl`	Abstract Hidden Markov Models: a monadic account of quantitative information flow. Log. Methods Comput. Sci. Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2019	J	`jnl`	An axiomatization of information flow measures. Theor. Comput. Sci. Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2019	—	`conf`	Categorical Information Flow. The Art of Modelling Computational Systems Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth
2019	B	`conf`	Experiments in Information Flow Analysis. MPC Annabelle McIver
2019	B	`ed.`	Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings FM Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
2019	—	`conf`	Generalised Differential Privacy for Text Document Processing. POST Natasha Fernandes, Mark Dras, Annabelle McIver
2019	B	`conf`	Proving that Programs Are Differentially Private. APLAS Annabelle McIver, Carroll Morgan
2018	J	`jnl`	A new proof rule for almost-sure termination. Proc. ACM Program. Lang. Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen
2018	B	`conf`	An Algebraic Approach for Reasoning About Information Flow. FM Arthur Américo, Mário S. Alvim, Annabelle McIver
2018	J	`jnl`	An Algebraic Approach for Reasoning About Information Flow. CoRR Arthur Américo, Mário S. Alvim, Annabelle McIver
2018	J	`jnl`	Author Obfuscation Using Generalised Differential Privacy. CoRR Natasha Fernandes, Mark Dras, Annabelle McIver
2018	J	`jnl`	Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst. Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
2018	J	`jnl`	Generalised Differential Privacy for Text Document Processing. CoRR Natasha Fernandes, Mark Dras, Annabelle McIver
2018	B	`conf`	Processing Text for Privacy: An Information Flow Perspective. FM Natasha Fernandes, Mark Dras, Annabelle McIver
2018	—	`ed.`	Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings QEST Annabelle McIver, András Horváth
2018	J	`jnl`	Schedulers and finishers: On generating and filtering the behaviours of an event structure. Theor. Comput. Sci. Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2017	J	`jnl`	A New Proof Rule for Almost-Sure Termination. CoRR Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen
2017	J	`jnl`	Abstract Hidden Markov Models: a monadic account of quantitative information flow. CoRR Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2017	C	`conf`	Algebra for Quantitative Information Flow. RAMiCS Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja
2017	—	`conf`	Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. SBMF Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver
2017	J	`jnl`	Privacy in elections: How small is "small"? J. Inf. Secur. Appl. Annabelle McIver, Tahiry M. Rabehaja, Roland Wen, Carroll Morgan
2017	C	`conf`	Reasoning About Distributed Secrets. FORTE Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2016	J	`jnl`	A new rule for almost-certain termination of probabilistic and demonic programs. CoRR Annabelle McIver, Carroll Morgan
2016	A	`conf`	Axioms for Information Leakage. CSF Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2016	J	`jnl`	Compositional security and collateral leakage. CoRR Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2016	J	`jnl`	Probabilistic rely-guarantee calculus. Theor. Comput. Sci. Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2016	C	`conf`	Schedulers and Finishers: On Generating the Behaviours of an Event Structure. ICTAC Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2015	—	`ed.`	20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. LPAR (short papers) Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov
2015	J	`jnl`	A Process Algebra for Wireless Mesh Networks. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2015	J	`jnl`	A Rigorous Analysis of AODV and its Variants. CoRR Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
2015	A*	`conf`	Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. LICS Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
2015	J	`jnl`	Automated Analysis of AODV using UPPAAL. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2015	J	`jnl`	Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181). Dagstuhl Reports Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, Annabelle McIver
2015	J	`jnl`	Conditioning in Probabilistic Programming. CoRR Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo
2015	B	`conf`	Conditioning in Probabilistic Programming. MFPS Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
2015	J	`jnl`	Hidden-Markov program algebra with iteration. Math. Struct. Comput. Sci. Annabelle McIver, Larissa Meinicke, Carroll Morgan
2015	B	`ed.`	Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings LPAR Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
2015	J	`jnl`	Modelling and Analysis of AODV in UPPAAL. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2014	—	`conf`	Abstract Channels and Their Robust Information-Leakage Ordering. POST Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke
2014	A	`conf`	Additive and Multiplicative Notions of Leakage, and Their Capacities. CSF Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2014	J	`jnl`	Hopscotch - reaching the target hop by hop. J. Log. Algebraic Methods Program. Peter Höfner, Annabelle McIver
2014	J	`jnl`	Operational versus weakest pre-expectation semantics for the probabilistic guarded command language. Perform. Evaluation Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2014	J	`jnl`	Probabilistic Rely-guarantee Calculus. CoRR Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2014	—	`conf`	Program Refinement, Perfect Secrecy and Information Flow. SETSS Annabelle McIver
2014	B	`conf`	Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections. FM Roland Wen, Annabelle McIver, Carroll Morgan
2013	J	`jnl`	A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. CoRR Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2013	—	`ed.`	ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012 ATx/WInG@IJCAR Jacques D. Fleuriot, Peter Höfner, Annabelle McIver, Alan Smaill
2013	B	`conf`	An Event Structure Model for Probabilistic Concurrent Kleene Algebra. LPAR Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013	J	`jnl`	An Event Structure Model for Probabilistic Concurrent Kleene Algebra. CoRR Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013	—	`conf`	Prinsys - On a Quest for Probabilistic Loop Invariants. QEST Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2013	—	`conf`	Probabilistic Concurrent Kleene Algebra. QAPL Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2013	—	`conf`	Statistical Model Checking of Wireless Mesh Routing Protocols. NASA Formal Methods Peter Höfner, Annabelle McIver
2013	J	`jnl`	Weak Concurrent Kleene Algebra with Application to Algebraic Verification CoRR Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2012	A*	`conf`	A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. LICS Annabelle McIver, Larissa Meinicke, Carroll Morgan
2012	A	`conf`	A Process Algebra for Wireless Mesh Networks. ESOP Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2012	A	`conf`	A rigorous analysis of AODV and its variants. MSWiM Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
2012	A	`conf`	Automated Analysis of AODV Using UPPAAL. TACAS Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
2012	—	`conf`	Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language. QEST Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver
2012	J	`jnl`	Preface: Special Issue QFM 2009. J. Log. Algebraic Methods Program. Suzana Andover, Annabelle McIver, Manuel Núñez
2012	J	`jnl`	Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10). NII Shonan Meet. Rep. Jin Song Dong, Annabelle McIver, Carroll Morgan
2011	B	`conf`	Continual and explicit comparison to promote proactive facilitation during second computer language learning. ITiCSE Matt Bower, Annabelle McIver
2011	J	`jnl`	Hidden-Markov Program Algebra with iteration CoRR Annabelle McIver, Larissa Meinicke, Carroll Morgan
2011	—	`conf`	Model exploration and analysis for quantitative safety refinement in probabilistic B Refine@FM Ukachukwu Ndukwu, Annabelle McIver
2011	C	`conf`	On Probabilistic Kleene Algebras, Automata and Simulations. RAMiCS Annabelle McIver, Tahiry M. Rabehaja, Georg Struth
2011	—	`ed.`	Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011 ATE Peter Höfner, Annabelle McIver, Georg Struth
2011	C	`conf`	Towards an Algebra of Routing Tables. RAMiCS Peter Höfner, Annabelle McIver
2010	—	`conf`	An expectation transformer approach to predicate abstraction and data independence for probabilistic programs QAPL Ukachukwu Ndukwu, Annabelle McIver
2010	—	`conf`	Compositional Closure for Bayes Risk in Probabilistic Noninterference. ICALP (2) Annabelle McIver, Larissa Meinicke, Carroll Morgan
2010	J	`jnl`	Compositional closure for Bayes Risk in probabilistic noninterference CoRR Annabelle McIver, Larissa Meinicke, Carroll Morgan
2010	B	`conf`	Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. SAS Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan
2009	—	`ch.`	Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. Methods, Models and Tools for Fault Tolerance Ansgar Fehnker, Matthias Fruth, Annabelle McIver
2009	—	`ed.`	Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. QFM Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez
2009	B	`conf`	Security, Probability and Nearly Fair Coins in the Cryptographers' Café. FM Annabelle McIver, Larissa Meinicke, Carroll Morgan
2009	C	`conf`	The Secret Art of Computer Programming. ICTAC Annabelle McIver
2008	—	`conf`	CaVi -- Simulation and Model Checking for Wireless Sensor Networks. QEST Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver
2007	C	`conf`	Automating Refinement Checking in Probabilistic System Design. ICFEM Carlos Gonzalía, Annabelle McIver
2007	J	`jnl`	Results on the quantitative µ-calculus qMµ. ACM Trans. Comput. Log. Annabelle McIver, Carroll Morgan
2006	—	`conf`	Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation. RODIN Book Carroll Morgan, Annabelle McIver
2006	B	`conf`	Quantitative Refinement FM Annabelle McIver
2006	C	`conf`	Quantitative µ-Calculus Analysis of Power Management in Wireless Networks. ICTAC Annabelle McIver
2006	—	`conf`	Using Probabilistic Kleene Algebra for Protocol Verification. RelMiCS Annabelle McIver, Ernie Cohen, Carroll Morgan
2005	—	`conf`	A Novel Stochastic Game Via the Quantitative QAPL Annabelle McIver, Carroll Morgan
2005	J	`jnl`	Abstraction and refinement in probabilistic systems. SIGMETRICS Perform. Evaluation Rev. Annabelle McIver, Carroll Morgan
2005	—	`book`	Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver, Carroll Morgan
2005	J	`jnl`	An elementary proof that Herman's Ring is Theta (N Inf. Process. Lett. Annabelle McIver, Carroll Morgan
2005	B	`conf`	Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. FM Orieta Celiku, Annabelle McIver
2005	—	`conf`	Development via Refinement in Probabilistic B - Foundation and Case Study. ZB Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
2005	J	`jnl`	Probabilistic guarded commands mechanized in Theor. Comput. Sci. Joe Hurd, Annabelle McIver, Carroll Morgan
2005	B	`conf`	Towards Automated Proof Support for Probabilistic Distributed Systems. LPAR Annabelle McIver, Tjark Weber
2004	J	`jnl`	Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. Nord. J. Comput. Orieta Celiku, Annabelle McIver
2004	C	`conf`	Deriving Probabilistic Semantics Via the 'Weakest Completion'. ICFEM Jifeng He, Carroll Morgan, Annabelle McIver
2004	—	`conf`	Developing and Reasoning About Probabilistic Programs in PSSE Annabelle McIver, Carroll Morgan
2004	—	`conf`	Memoryless Strategies for Stochastic Games via Domain Theory. SBMF Carroll Morgan, Annabelle McIver
2004	—	`conf`	Probabilistic Guarded Commands Mechanized in QAPL Joe Hurd, Annabelle McIver, Carroll Morgan
2003	J	`jnl`	Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL. Theor. Comput. Sci. Annabelle McIver, Carroll Morgan
2003	—	`conf`	Probabilistic Invariants for Probabilistic Machines. ZB Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
2003	—	`conf`	Probabilistic Termination in B. ZB Annabelle McIver, Carroll Morgan, Thai Son Hoang
2003	J	`jnl`	Results on the quantitative mu-calculus qMu CoRR Annabelle McIver, Carroll Morgan
2002	B	`conf`	Games, Probability and the Quantitative µ-Calculus qMµ. LPAR Annabelle McIver, Carroll Morgan
2002	J	`jnl`	Quantitative program logic and expected time bounds in probabilistic distributed algorithms. Theor. Comput. Sci. Annabelle McIver
2001	B	`conf`	A Generalisation of Stationary Distributions, and Probabilistic Program Algebra. MFPS Annabelle McIver
2001	—	`conf`	Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL. CATS Annabelle McIver, Carroll Morgan
2001	C	`conf`	Cost Analysis of Games, Using Program Logic. APSEC Carroll Morgan, Annabelle McIver
2001	J	`jnl`	Demonic, angelic and unbounded probabilistic choices in sequential programs. Acta Informatica Annabelle McIver, Carroll Morgan
2001	J	`jnl`	Partial correctness for probabilistic demonic programs. Theor. Comput. Sci. Annabelle McIver, Carroll Morgan
1999	J	`jnl`	An Expectation-Transformer Model for Probabilistic Temporal Logic. Log. J. IGPL Carroll Morgan, Annabelle McIver
1999	—	`conf`	Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms. ARTS Annabelle McIver
1998	—	`conf`	Reasoning about efficiency within a probabilistic µ-calculus. PROBMIV Annabelle McIver
1997	J	`jnl`	Probabilistic Models for the Guarded Command Language. Sci. Comput. Program. Jifeng He, Karen Seidel, Annabelle McIver
1996	J	`jnl`	Probabilistic Predicate Transformers. ACM Trans. Program. Lang. Syst. Carroll Morgan, Annabelle McIver, Karen Seidel
1996	J	`jnl`	Refinement-Oriented Probability for CSP. Formal Aspects Comput. Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders
1996	J	`jnl`	Unifying wp and wlp. Inf. Process. Lett. Carroll Morgan, Annabelle McIver