• 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

Abstract channels and their robust information-leakage ordering

McIver, A., Morgan, C., Smith, G., Espinoza, B. & Meinicke, L., 2014, Principles of Security and Trust - Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Abadi, M. & Kremer, S. (eds.). Heidelberg: Springer, Springer Nature, p. 83-102 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8414 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

34 Citations (Scopus)

Abstract hidden Markov models: a monadic account of quantitative information flow

McIver, A., Morgan, C. & Rabehaja, T., 31 Jul 2015, Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015. Picataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 597-608 12 p. 7174915. (Annual Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

16 Citations (Scopus)

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, refinement and proof for probabilistic systems

McIver, A. & Morgan, C., 2005, New York, USA: Springer, Springer Nature.

Research output: Book/ReportBook

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)

Additive and multiplicative notions of leakage, and their capacities

Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C. & Smith, G., 13 Nov 2014, Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014. Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), Vol. 2014-January. p. 308-322 15 p. 6957119

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

42 Citations (Scopus)
5 Citations (Scopus)

A Generalisation of Stationary Distributions and Probabilistic Program Algebra

McIver, AK., 2001, Electronic Notes in Theoretical Computer Science, Vol 45. Brooks, S. & Mislove, M. (eds.). Amsterdam, The Netherlands: Elsevier, p. 1-11 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism

McIver, A., Meinicke, L. & Morgan, C., 2012, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 461-470 10 p. 6280465

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

11 Citations (Scopus)

Algebra for quantitative information flow

McIver, A. K., Morgan, C. C. & Rabehaja, T., 2017, Relational and algebraic methods in computer science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017. Proceedings. Höfner, P., Pous, D. & Struth, G. (eds.). Springer, Springer Nature, p. 3-23 21 p. (Lecture Notes in Computer Science; vol. 10226).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

3 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 algebraic approach for reasoning about information flow

Américo, A., Alvim, M. S. & McIver, A., 1 Jan 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Cham: Springer, Springer Nature, p. 55-72 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

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)

An event structure model for probabilistic concurrent Kleene algebra

McIver, A., Rabehaja, T. & Struth, G., 2013, Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR 2013, Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Heidelberg: Springer, Springer Nature, Vol. 8312. p. 653-667 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8312 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

4 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

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

Ndukwu, U. & McIver, A. K., 2010, Proceedings of the 8th Workshop on Quantitative Aspects of Programming Languages. Di Pierro, A. & Norman, G. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), p. 129-143 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

6 Citations (Scopus)

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)

A process algebra for wireless mesh networks

Fehnker, A., Van Glabbeek, R., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 2012, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. Seidl, H. (ed.). Heidelberg, Germany: Springer, Springer Nature, Vol. 7211 LNCS. p. 295-315 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7211 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

48 Citations (Scopus)

A question of identity

Mclver, A., 1994, In : Nature. 368, 6472, p. 589-590 2 p.

Research output: Contribution to journalShort survey

1 Citation (Scopus)

A rigorous analysis of AODV and its variants

Höfner, P., Tan, W. L., McIver, A., Van Glabbeek, R., Portmann, M. & Fehnker, A., 2012, MSWiM'12 - Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems. Zomaya, A. (ed.). New York: ACM, p. 203-212 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

15 Citations (Scopus)

Automated analysis of AODV using UPPAAL

Fehnker, A., Van Glabbeek, R., Höfner, P., McIver, A., Portmann, M. & Tan, W. L., 2012, Tools and Algorithms for the Construction and Analysis of Systems - 18th Int. Conf., TACAS 2012, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2012, Proceedings. Flanagan, C. & König, B. (eds.). Heidelberg, Germany: Springer, Springer Nature, Vol. 7214 LNCS. p. 173-187 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7214 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

47 Citations (Scopus)

Automating refinement checking in probabilistic system design

Gonzalia, C. & McIver, A., 2007, Formal Methods and Software Engineering - 9th International Conference on Formal Engineenng Methods, ICFEM 2007, Proceedings. Butler, M., Hinchey, M. G. & Larrondo-Petrie, M. M. (eds.). Berlin; New York: Springer, Springer Nature, Vol. 4789 LNCS. p. 212-231 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4789 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Axioms for information leakage

Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C. & Smith, G., 8 Aug 2016, Proceedings - IEEE 29th Computer Security Foundations Symposium, CSF 2016. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), Vol. 2016-August. p. 77-92 16 p. 7536368. (IEEE Computer Security Foundations Symposium Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

24 Citations (Scopus)

Categorical information flow

Rabehaja, T., McIver, A., Morgan, C. & Struth, G., 2019, The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 329-343 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

CaVi - Simulation and model checking for wireless sensor networks

Boulis, A., Fehnker, A., Fruth, M. & McIver, A., 2008, Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008. G., R. (ed.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 37-38 2 p. 4634949

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
6 Citations (Scopus)

Compositional closure for Bayes risk in probabilistic noninterference

McIver, A., Meinicke, L. & Morgan, C., 2010, Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). PART 2 ed. Berlin; Heidelberg: Springer, Springer Nature, Vol. 6199 LNCS. p. 223-235 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6199 LNCS, no. PART 2).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

46 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)

Continual and explicit comparison to promote proactive facilitation during second computer language learning

Bower, M. & McIver, A., 2011, ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. New York: ACM, p. 218-222 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2 Citations (Scopus)

Cost analysis of games, using program logic

Morgan, C. & McIver, A., Dec 2001, Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC. Piscataway, N.J.: Institute of Electrical and Electronics Engineers (IEEE), p. 351 1 p. 991501

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

8 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)

Developing and reasoning about probabilistic programs in pGCL

McIver, A. & Morgan, C., 2006, Refinement Techniques in Software Engineering - First Pernambuco Summer School on Software Engineering, PSSE 2004, Revised Lectures. Berlin; New York: Springer, Springer Nature, Vol. 3167 LNCS. p. 123-155 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3167 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

14 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)

Experiments in information flow analysis

McIver, A., 2019, Mathematics of program construction: 13th International Conference, MPC 2019, Proceedings. Hutton, G. (ed.). Cham: Springer, Springer Nature, p. 1-17 17 p. (Lecture Notes in Computer Science; vol. 11825).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

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

Formal analysis of the information leakage of the DC-nets and crowds anonymity protocols

Américo, A., Vaz, A., Alvim, M. S., Campos, S. V. A. & McIver, A., 2017, Formal methods: foundations and applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 – December 1, 2017. Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Cham: Springer, Springer Nature, p. 142-158 17 p. (Lecture Notes in Computer Science; vol. 10623).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

Formal techniques for the analysis of wireless networks

McIver, A. K. & Fehnker, A., 2007, Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 263-270 8 p. 4463722

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

17 Citations (Scopus)

Games, probability, and the quantitative μ-calculus qMμ

McIver, A. K. & Morgan, C. C., 2002, Logic for Programming, Artificial Intelligence, and Reasoning - 9th International Conference, LPAR 2002, Proceedings. Baaz, M. & Voronkov, A. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 2514. p. 292-310 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2514).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

30 Citations (Scopus)

Generalised differential privacy for text document processing

Fernandes, N., Dras, M. & McIver, A., 1 Jan 2019, Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Nielson, F. & Sands, D. (eds.). Cham: Springer-VDI-Verlag GmbH & Co. KG, p. 123-148 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11426 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
2 Citations (Scopus)
39 Downloads (Pure)
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