Annabelle McIver
Orcid: 0000000224059838Affiliations:
 Macquarie University, Sydney, Australia
According to our database^{1},
Annabelle McIver
authored at least 119 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org

on id.loc.gov

on dnb.info
On csauthors.net:
Bibliography
2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
2023
J. Comput. Secur., 2023
Proceedings of the 22nd Workshop on Privacy in the Electronic Society, 2023
A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata.
Proc. Priv. Enhancing Technol., 2022
CoRR, 2022
Explaining epsilon in differential privacy through the lens of information theory.
CoRR, 2022
How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk).
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
2021
Formal Methods Syst. Des., 2021
Formal Aspects Comput., 2021
The Laplace Mechanism has optimal utility for differential privacy over continuous queries.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Information Security and Cryptography, Springer, ISBN: 9783319961316, 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 ModelBased 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 DCNets 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 preexpectation 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 201210).
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 KantorovichMonadic 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
LinearInvariant Generation for Probabilistic Programs:  Automated Support for ProofBased 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
ProgrammingLogic Analysis of Fault Tolerance: Expected Performance of Selfstabilisation.
Proceedings of the Rigorous Development of Complex FaultTolerant Systems [FP6 IST511599 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: 9780387270067, 2005
Theor. Comput. Sci., 2005
SIGMETRICS Perform. Evaluation Rev., 2005
Inf. Process. Lett., 2005
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 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 CostBased Properties in Probabilistic Programs.
Proceedings of the FM 2005: Formal Methods, 2005
2004
CostBased Analysis of Probabilistic Programs Mechanised in HOL.
Nord. J. Comput., 2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Proceedings of the Refinement Techniques in Software Engineering, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
2003
Almostcertain 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
AlmostCertain Eventualities and Abstract Probabilities in the Temporal Logic PTL.
Proceedings of the Computing: The Australasian Theory Symposium, 2001
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001
Acta Informatica, 2001
Proceedings of the 8th AsiaPacific Software Engineering Conference (APSEC 2001), 2001
1999
Log. J. IGPL, 1999
Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.
Proceedings of the Formal Methods for RealTime and Probabilistic Systems, 1999
1998
Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998
1997
Sci. Comput. Program., 1997
1996
ACM Trans. Program. Lang. Syst., 1996
Inf. Process. Lett., 1996
Formal Aspects Comput., 1996