• 1155 Citations
  • 18 h-Index
1987 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

Filter
Article
Article

Abstract Hidden Markov Models: a monadic account of quantitative information flow

McIver, A., Morgan, C. & Rabehaja, T., 29 Mar 2019, In : Logical Methods in Computer Science. 15, 1, p. 1-50 50 p., 36.

Research output: Contribution to journalArticle

Open Access
File
18 Downloads (Pure)

Abstraction and refinement in probabilistic systems

McIver, A. K. & Morgan, C., 2005, In : Performance Evaluation Review. 32, 4, p. 41-47 7 p.

Research output: Contribution to journalArticle

Abstractions of non-interference security: Probabilistic versus possibilistic

Hoang, T. S., McIver, A. K., Meinicke, L., Morgan, C. C., Sloane, A. & Susatyo, E., Jan 2014, In : Formal Aspects of Computing. 26, 1, p. 169-194 26 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
5 Citations (Scopus)

Almost-certain eventualities and abstract probabilities in quantitative temporal logic

McIver, A. & Morgan, C., Jan 2001, In : Electronic Notes in Theoretical Computer Science. 42, p. 15-43 29 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL

McIver, A. & Morgan, C., 9 Feb 2003, In : Theoretical Computer Science. 293, 3, p. 507-534 28 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

An axiomatization of information flow measures

Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C. & Smith, G., 19 Jul 2019, In : Theoretical Computer Science. 777, p. 32-54 23 p.

Research output: Contribution to journalArticle

An elementary proof that Herman's Ring is Θ(N2)

McIver, A. & Morgan, C., 30 Apr 2005, In : Information Processing Letters. 94, 2, p. 79-84 6 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

A new proof rule for almost-sure termination

McIver, A., Morgan, C., Kaminski, B. L. & Katoen, J-P., 5 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-28 28 p., 33.

Research output: Contribution to journalArticle

A Novel Stochastic Game Via the Quantitative μ-calculus

McIver, A. & Morgan, C., 23 May 2006, In : Electronic Notes in Theoretical Computer Science. 153, 2 SPEC. ISS., p. 195-212 18 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Compositional refinement in agent-based security protocols

McIver, A. K. & Morgan, C. C., Nov 2011, In : Formal Aspects of Computing. 23, 6, p. 711-737 27 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Compositional specification and analysis of cost-based properties in probabilistic programs

Celiku, O. & McIver, A., 2005, In : Lecture Notes in Computer Science. 3582, p. 107-122 16 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Conditioning in probabilistic programming

Olmedo, F., Gretz, F., Jansen, N., Kaminski, B. L., Katoen, J. P. & McIver, A., 1 Jan 2018, In : ACM Transactions on Programming Languages and Systems. 40, 1, p. 1-50 50 p., 4.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Conditioning in Probabilistic Programming

Jansen, N., Kaminski, B. L., Katoen, J. P., Olmedo, F., Gretz, F. & McIver, A., 21 Dec 2015, In : Electronic Notes in Theoretical Computer Science. 319, p. 199-216 18 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

Cost-based analysis of probabilistic programs mechanised in HOL

Celiku, O. & McIver, A., 2004, In : Nordic Journal of Computing. 11, 2, p. 102-128 27 p.

Research output: Contribution to journalArticle

Demonic, angelic and unbounded probabilistic choices in sequential programs

McIver, A. K. & Morgan, C., Jan 2001, In : Acta Informatica. 37, 4-5, p. 329-354 26 p.

Research output: Contribution to journalArticle

19 Citations (Scopus)

Development via refinement in probabilistic B - Foundation and case study

Hoang, T. S., Jin, Z., Robinson, K., McIver, A. & Morgan, C., 2005, In : Lecture Notes in Computer Science. 3455, p. 355-373 19 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Enumerating finite groups

Mciver, A. & Neumann, P. M., Dec 1987, In : Quarterly Journal of Mathematics. 38, 4, p. 473-488 16 p.

Research output: Contribution to journalArticle

28 Citations (Scopus)

Finitely generated non-Hopf modules

McIver, A., Jun 1990, In : Archiv der Mathematik. 54, 6, p. 533-538 6 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)

Hidden-Markov program algebra with iteration

McIver, A., Meinicke, L. & Morgan, C., 19 Feb 2015, In : Mathematical Structures in Computer Science. 25, 2, p. 320-360 41 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)

Hopscotch - reaching the target hop by hop

Höfner, P. & McIver, A., 7 Aug 2014, In : Journal of Logical and Algebraic Methods in Programming. 83, 2, p. 212-224 13 p., 397.

Research output: Contribution to journalArticle

Memoryless strategies for stochastic games via domain theory

Morgan, C. & McIver, A., 12 May 2005, In : Electronic Notes in Theoretical Computer Science. 130, p. 23-37 15 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Operational versus weakest pre-expectation semantics for the probabilistic guarded command language

Gretz, F., Katoen, J. P. & McIver, A., Mar 2014, In : Performance Evaluation. 73, p. 110-132 23 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)

Partial correctness for probabilistic demonic programs

McIver, A. K. & Morgan, C., 6 Sep 2001, In : Theoretical Computer Science. 266, 1-2, p. 513-541 29 p.

Research output: Contribution to journalArticle

32 Citations (Scopus)

Privacy in elections: How small is “small”?

McIver, A., Rabehaja, T., Wen, R. & Morgan, C., 1 Oct 2017, In : Journal of Information Security and Applications. 36, p. 112-126 15 p.

Research output: Contribution to journalArticle

Probabilistic guarded commands mechanized in HOL

Hurd, J., McIver, A. & Morgan, C., 23 Nov 2005, In : Theoretical Computer Science. 346, 1, p. 96-112 17 p.

Research output: Contribution to journalArticle

40 Citations (Scopus)

Probabilistic Guarded Commands Mechanized in HOL

Hurd, J., McIver, A. & Morgan, C., 2 Jan 2005, In : Electronic Notes in Theoretical Computer Science. 112, SPEC. ISS., p. 95-111 17 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

Probabilistic invariants for probabilistic machines

Hoang, T. S., Jin, Z., Robinson, K., McIver, A. & Morgan, C., 2003, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2651, p. 240-259 20 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

Probabilistic models for the guarded command language

Jifeng, H., Seidel, K. & McIver, A., Apr 1997, In : Science of Computer Programming. 28, 2-3, p. 171-192 22 p.

Research output: Contribution to journalArticle

105 Citations (Scopus)

Probabilistic Predicate Transformers

Morgan, C., McIver, A. & Seidel, K., May 1996, In : ACM Transactions on Programming Languages and Systems. 18, 3, p. 325-353 29 p.

Research output: Contribution to journalArticle

163 Citations (Scopus)

Probabilistic rely-guarantee calculus

McIver, A., Rabehaja, T. & Struth, G., 6 Dec 2016, In : Theoretical Computer Science. 655, p. 120-134 15 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
11 Citations (Scopus)

Program algebra for quantitative information flow

McIver, A. K., Morgan, C. C. & Rabehaja, T., Aug 2019, In : Journal of Logical and Algebraic Methods in Programming. 106, p. 55-77 23 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms

McIver, A. K., 7 Jun 2002, In : Theoretical Computer Science. 282, 1, p. 191-219 29 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Reasoning about efficiency within a probabilistic μ-calculus

McIver, A. K., 1999, In : Electronic Notes in Theoretical Computer Science. 22, p. 138-155 18 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Refinement-oriented probability for CSP

Morgan, C., McIver, A., Seidel, K. & Sanders, J. W., 1996, In : Formal Aspects of Computing. 8, 6, p. 617-647 31 p.

Research output: Contribution to journalArticle

51 Citations (Scopus)

Results on the quantitative μ-calculus qMμ

McIver, A. & Morgan, C., 1 Jan 2007, In : ACM Transactions on Computational Logic. 8, 1, p. 1-43 43 p., 3.

Research output: Contribution to journalArticle

29 Citations (Scopus)

Schedulers and finishers: on generating and filtering the behaviours of an event structure

McIver, A., Rabehaja, T. & Struth, G., 5 Oct 2018, In : Theoretical Computer Science. 744, p. 97-112 16 p.

Research output: Contribution to journalArticle

Software, who needs it?

McIver, A., 1996, In : New Scientist. 152, 2054, p. 40-43 4 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
13 Citations (Scopus)

Unifying wp and wlp

Morgan, C. & McIver, A., 12 Aug 1996, In : Information Processing Letters. 59, 3, p. 159-163 5 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Using probabilistic Kleene algebra pKA for protocol verification

McIver, A. K., Gonzalia, C., Cohen, E. & Morgan, C. C., May 2008, In : Journal of Logic and Algebraic Programming. 76, 1, p. 90-111 22 p.

Research output: Contribution to journalArticle

11 Citations (Scopus)