Concepedia

Annabelle McIver

AM

32

Publications

1.6K

Citations

20

H-Index

1987

Active since

Affiliations

Macquarie University(Current)

University of Oxford

RWTH Aachen University

Annabelle McIver is an author at Macquarie University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningVerificationProbabilitySoftware AnalysisProgram AnalysisSystems Engineering

Publications per year

1987–2018

32

Publications

32

Probabilistic predicate transformers

Carroll Morgan, Annabelle McIver, Karen Seidel · ACM Transactions on Programming Languages and Systems · 1996 · 301 citations · Full text

Bayesian Decision Theory, Engineering, Probabilistic Learning +21

Probabilistic models for the guarded command language

He Jifeng, Karen Seidel, Annabelle McIver · Science of Computer Programming · 1997 · 162 citations

Engineering, Program Analysis, Automated Reasoning +9

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

Refinement-oriented probability for CSP

Carroll Morgan, Annabelle McIver, Karen Seidel et al. · Formal Aspects of Computing · 1996 · 87 citations

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

Rows per page

1–5 of 32