Abstraction, refinement and proof for probabilistic systems A McIver, CC Morgan Springer, 2004 | 567 | 2004 |
Probabilistic predicate transformers C Morgan, A McIver, K Seidel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996 | 412 | 1996 |
Probabilistic models for the guarded command language H Jifeng, K Seidel, A McIver Science of Computer Programming 28 (2-3), 171-192, 1997 | 222 | 1997 |
Generalised differential privacy for text document processing N Fernandes, M Dras, A McIver Principles of Security and Trust: 8th International Conference, POST 2019 …, 2019 | 133 | 2019 |
Refinement-oriented probability for CSP C Morgan, A McIver, K Seidel, JW Sanders Formal aspects of computing 8 (6), 617-647, 1996 | 125 | 1996 |
Probabilistic guarded commands mechanized in HOL J Hurd, A McIver, C Morgan Theoretical Computer Science 346 (1), 96-112, 2005 | 119 | 2005 |
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 | 118 | 2010 |
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 | 113 | 2017 |
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 | 105 | 2014 |
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 | 96 | 2012 |
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language F Gretz, JP Katoen, A McIver Performance Evaluation 73, 110-132, 2014 | 95 | 2014 |
pGCL: Formal reasoning for random algorithms C Morgan, A McIver South African Computer Journal, 14-27, 1999 | 91 | 1999 |
Compositional closure for Bayes risk in probabilistic noninterference A McIver, L Meinicke, C Morgan International Colloquium on Automata, Languages, and Programming, 223-235, 2010 | 90 | 2010 |
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 | 84 | 2012 |
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 | 82 | 2014 |
Partial correctness for probabilistic demonic programs AK McIver, C Morgan Theoretical Computer Science 266 (1-2), 513-541, 2001 | 77 | 2001 |
The Science of Quantitative Information Flow MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ... Springer International Publishing, 2020 | 76 | 2020 |
Advanced weakest precondition calculi for probabilistic programs BL Kaminski RWTH Aachen University, 2019 | 71 | 2019 |
Enumerating finite groups A McIver, PM Neumann The Quarterly Journal of Mathematics 38 (4), 473-488, 1987 | 70 | 1987 |
Games, Probability, and the Quantitative μ-Calculus qMμ AK McIver, CC Morgan Logic for Programming, Artificial Intelligence, and Reasoning: 9th …, 2002 | 67 | 2002 |