Carroll Morgan

A new proof rule for almost-sure termination

Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski et al. · Proceedings of the ACM on Programming Languages · 2017 · 95 citations · Full text

Source Code, Engineering, Automated Reasoning +15

Additive and Multiplicative Notions of Leakage, and Their Capacities

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver et al. · 2014 · 85 citations · Full text

Engineering, Information Security, Information Leakage +18

Probabilistic guarded commands mechanized in HOL

Joe Hurd, Annabelle McIver, Carroll Morgan · Theoretical Computer Science · 2005 · 71 citations · Full text

Engineering, Command And Control, Probabilistic Verification +7

Results on the quantitative μ-calculus <i>qM</i> μ

Annabelle McIver, Carroll Morgan · ACM Transactions on Computational Logic · 2007 · 61 citations

Measure Theory, Qm μ, Transition Systems +14

Characterising Testing Preorders for Finite Probabilistic Processes

Yuxin Deng, Rob van Glabbeek, Matthew Hennessy et al. · 2007 · 46 citations · Full text

Engineering, Probabilistic Computation, Higher-order Logic +16