# Annabelle McIver

According to our database

Collaborative distances:

^{1}, Annabelle McIver authored at least 104 papers between 1996 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2020

Introduction to the Special Section on Quantitative Evaluation of Systems (QEST 2018).

ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

Proceedings of the Formal Methods and Software Engineering, 2020

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Theor. Comput. Sci., 2019

Abstract Hidden Markov Models: a monadic account of quantitative information flow.

Log. Methods Comput. Sci., 2019

J. Log. Algebraic Methods Program., 2019

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Schedulers and finishers: On generating and filtering the behaviours of an event structure.

Theor. Comput. Sci., 2018

Proc. ACM Program. Lang., 2018

CoRR, 2018

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

J. Inf. Secur. Appl., 2017

Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Theor. Comput. Sci., 2016

CoRR, 2016

CoRR, 2016

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Math. Struct. Comput. Sci., 2015

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Dagstuhl Reports, 2015

CoRR, 2015

2014

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language.

Perform. Evaluation, 2014

J. Log. Algebraic Methods Program., 2014

Formal Aspects Comput., 2014

Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections.

Proceedings of the FM 2014: Formal Methods, 2014

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

CoRR, 2013

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.

CoRR, 2013

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Proceedings of the NASA Formal Methods, 2013

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10).

NII Shonan Meet. Rep., 2012

J. Log. Algebraic Methods Program., 2012

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command Language.

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Proceedings of the 15th ACM International Conference on Modeling, 2012

A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism.

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Proceedings of the Programming Languages and Systems, 2012

2011

Formal Aspects Comput., 2011

Model exploration and analysis for quantitative safety refinement in probabilistic B

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Continual and explicit comparison to promote proactive facilitation during second computer language learning.

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.

Proceedings of the Static Analysis - 17th International Symposium, 2010

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.

Proceedings of the Automated Technology for Verification and Analysis, 2010

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols.

Proceedings of the Methods, 2009

Proceedings of the Theoretical Aspects of Computing, 2009

Proceedings of the FM 2009: Formal Methods, 2009

<i>Sums and Lovers: </i> Case Studies in Security, Compositionality and Refinement.

Proceedings of the FM 2009: Formal Methods, 2009

2008

J. Log. Algebraic Methods Program., 2008

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Proceedings of the FM 2008: Formal Methods, 2008

2007

ACM Trans. Comput. Log., 2007

Proceedings of the Formal Methods and Software Engineering, 2007

2006

Electron. Notes Theor. Comput. Sci., 2006

Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Proceedings of the Leveraging Applications of Formal Methods, 2006

Proceedings of the Theoretical Aspects of Computing, 2006

Quantitative Refinement <i>and</i> Model Checking for the Analysis of Probabilistic Systems.

Proceedings of the FM 2006: Formal Methods, 2006

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Monographs in Computer Science, Springer, ISBN: 978-0-387-27006-7, 2005

SIGMETRICS Perform. Evaluation Rev., 2005

Inf. Process. Lett., 2005

Electron. Notes Theor. Comput. Sci., 2005

Electron. Notes Theor. Comput. Sci., 2005

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Proceedings of the Logic for Programming, 2005

Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs.

Proceedings of the FM 2005: Formal Methods, 2005

2004

Cost-Based Analysis of Probabilistic Programs Mechanised in HOL.

Nord. J. Comput., 2004

Proceedings of the Refinement Techniques in Software Engineering, 2004

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL.

Theor. Comput. Sci., 2003

CoRR, 2003

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002

Quantitative program logic and expected time bounds in probabilistic distributed algorithms.

Theor. Comput. Sci., 2002

Proceedings of the Logic for Programming, 2002

2001

Theor. Comput. Sci., 2001

Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL.

Electron. Notes Theor. Comput. Sci., 2001

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Acta Informatica, 2001

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999

Log. J. IGPL, 1999

Electron. Notes Theor. Comput. Sci., 1999

Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1997

Sci. Comput. Program., 1997

1996

ACM Trans. Program. Lang. Syst., 1996

Inf. Process. Lett., 1996

Formal Aspects Comput., 1996