Follow
Annabelle McIver
Annabelle McIver
Verified email at mq.edu.au
Title
Cited by
Cited by
Year
Abstraction, refinement and proof for probabilistic systems
A McIver, CC Morgan
Springer, 2004
5092004
Probabilistic predicate transformers
C Morgan, A McIver, K Seidel
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996
3861996
Probabilistic models for the guarded command language
H Jifeng, K Seidel, A McIver
Science of Computer Programming 28 (2-3), 171-192, 1997
2101997
Refinement-oriented probability for CSP
C Morgan, A McIver, K Seidel, JW Sanders
Formal aspects of computing 8 (6), 617-647, 1996
1211996
Probabilistic guarded commands mechanized in HOL
J Hurd, A McIver, C Morgan
Theoretical Computer Science 346 (1), 96-112, 2005
1132005
Linear-invariant generation for probabilistic programs: Automated support for proof-based methods
JP Katoen, AK McIver, LA Meinicke, CC Morgan
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
1052010
Generalised differential privacy for text document processing
N Fernandes, M Dras, A McIver
Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019
1032019
Additive and multiplicative notions of leakage, and their capacities
MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ...
2014 IEEE 27th Computer Security Foundations Symposium, 308-322, 2014
932014
A process algebra for wireless mesh networks
A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
922012
Compositional closure for Bayes risk in probabilistic noninterference
A McIver, L Meinicke, C Morgan
International Colloquium on Automata, Languages, and Programming, 223-235, 2010
872010
A new proof rule for almost-sure termination
A McIver, C Morgan, BL Kaminski, JP Katoen
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
862017
pGCL: Formal reasoning for random algorithms
C Morgan, A McIver
South African Computer Journal, 14-27, 1999
851999
Automated analysis of AODV using UPPAAL
A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
842012
Abstract channels and their robust information-leakage ordering
A McIver, C Morgan, G Smith, B Espinoza, L Meinicke
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
802014
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language
F Gretz, JP Katoen, A McIver
Performance Evaluation 73, 110-132, 2014
792014
Partial correctness for probabilistic demonic programs
AK McIver, C Morgan
Theoretical Computer Science 266 (1-2), 513-541, 2001
732001
Enumerating finite groups
A McIver, PM Neumann
The Quarterly Journal of Mathematics 38 (4), 473-488, 1987
671987
Games, Probability, and the Quantitative μ-Calculus qMμ
AK McIver, CC Morgan
Logic for Programming, Artificial Intelligence, and Reasoning: 9th …, 2002
662002
Results on the quantitative μ-calculus qMμ
A McIver, C Morgan
ACM Transactions on Computational Logic (TOCL) 8 (1), 3-es, 2007
632007
A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV
A Fehnker, R Van Glabbeek, P Höfner, A McIver, M Portmann, WL Tan
arXiv preprint arXiv:1312.7645, 2013
612013
The system can't perform the operation now. Try again later.
Articles 1–20