Annabelle McIver

Professor

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1987 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference proceeding contribution

Search results

  • 2020

    Correctness by construction for probabilistic programs

    McIver, A. & Morgan, C., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 216-239 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12476 LNCS).

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

    1 Citation (Scopus)
  • Failure Mode Reasoning in model based safety analysis

    Jahanian, H., Parker, D., Zeller, M., McIver, A. & Papadopoulos, Y., 2020, Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020 Lisbon, Portugal, September 14–16, 2020 Proceedings. Zeller, M. & Höfig, K. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 130-145 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12297 LNCS).

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

  • On privacy and accuracy in data releases

    Alvim, M. S., Fernandes, N., McIver, A. & Nunes, G. H., Aug 2020, 31st International Conference on Concurrency Theory: CONCUR 2020, September 1–4, 2020, Vienna, Austria (Virtual Conference). Konnov, I. & Kovács, L. (eds.). Saarbrücken/Wadern, Germany: Dagstuhl Publishing, 18 p. 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

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

    Open Access
    File
    3 Downloads (Pure)
  • Reasoning with failures

    Jahanian, H. & McIver, A., 2020, Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020 Singapore, Singapore, March 1–3, 2021, Proceedings. Lin, S-W., Hou, Z. & Mahoney, B. (eds.). Cham, Switzerland: Springer, Springer Nature, p. 36-52 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12531 LNCS).

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

  • 2019

    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

  • 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
    3 Citations (Scopus)
    60 Downloads (Pure)
  • Proving that programs are differentially private

    McIver, A. & Morgan, C., 1 Jan 2019, Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Proceedings. Lin, A. W. (ed.). Cham: Springer, Springer Nature, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11893 LNCS).

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

  • 2018

    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

    1 Citation (Scopus)
  • Preface

    McIver, A. & Horvath, A., 1 Jan 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018. McIver, A. & Horvath, A. (eds.). Vol. 11024 LNCS. p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

  • Processing text for privacy: an information flow perspective

    Fernandes, N., Dras, M. & 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. 3-21 19 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

    1 Citation (Scopus)
  • 2017

    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

    4 Citations (Scopus)
  • 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)
  • Reasoning about distributed secrets

    Bordenabe, N., McIver, A., Morgan, C. & Rabehaja, T., 2017, Formal techniques for distributed objects, components, and systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Bouajjani, A. & Silva, A. (eds.). Cham: Springer, Springer Nature, p. 156-170 15 p. (Lecture Notes in Computer Science; vol. 10321).

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

    2 Citations (Scopus)
  • 2016

    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

    26 Citations (Scopus)
  • Schedulers and finishers: On generating the behaviours of an event structure

    McIver, A., Rabehaja, T. & Struth, G., 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Sampaio, A. & Wang, F. (eds.). Cham, Switzerland: Springer, Springer Nature, Vol. 9965 LNCS. p. 121-138 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

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

    1 Citation (Scopus)
  • 2015

    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

    18 Citations (Scopus)
  • 2014

    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

    41 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

    46 Citations (Scopus)
  • Towards a formal analysis of information leakage for signature attacks in preferential elections

    Wen, R., McIver, A. & Morgan, C., 2014, FM 2014: Formal Methods - 19th International Symposium, Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). Cham, Switzerland: Springer, Springer Nature, Vol. 8442 LNCS. p. 595-610 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8442 LNCS).

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

    2 Citations (Scopus)
  • 2013

    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)
  • Prinsys - On a quest for probabilistic loop invariants

    Gretz, F., Katoen, J. P. & McIver, A., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D’Argenio, P. R. (eds.). Heidelberg: Springer, Springer Nature, p. 193-208 16 p. (Lecture Notes in Computer Science; vol. 8054).

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

    13 Citations (Scopus)
  • Statistical model checking of wireless mesh routing protocols

    Höfner, P. & McIver, A., 2013, NASA Formal Methods - 5th International Symposium, NFM 2013, Proceedings. Brat, G., Rungta, N. & Venet, A. (eds.). Heidelberg: Springer, Springer Nature, Vol. 7871. p. 322-336 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7871 LNCS).

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

    15 Citations (Scopus)
  • 2012

    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

    15 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 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

    48 Citations (Scopus)
  • Operational versus weakest precondition semantics for the probabilistic guarded command language

    Gretz, F., Katoen, J. P. & McIver, A., 2012, Proceedings - 2012 9th International Conference on Quantitative Evaluation of Systems, QEST 2012. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 168-177 10 p. 6354645

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

    6 Citations (Scopus)
  • 2011

    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

    4 Citations (Scopus)
  • Towards an algebra of routing tables

    Höfner, P. & McIver, A., 2011, Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Proceedings. de Swart, H. (ed.). Heidelberg, Germany: Springer, Springer Nature, Vol. 6663 LNCS. p. 212-229 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6663 LNCS).

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

    4 Citations (Scopus)
  • 2010

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

    54 Citations (Scopus)
  • Linear-invariant generation for probabilistic programs: Automated support for proof-based methods

    Katoen, J. P., McIver, A. K., Meinicke, L. A. & Morgan, C. C., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. Cousot, R. & Martel, M. (eds.). Berlin: Springer, Springer Nature, Vol. 6337 LNCS. p. 390-406 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6337 LNCS).

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

    48 Citations (Scopus)
  • YAGA: automated analysis of quantitative safety specifications in probabilistic B

    Ndukwu, U. & McIver, A. K., 2010, Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Proceedings. Bouajjani, A. & Chin, W-N. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 6252 LNCS. p. 378-386 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6252 LNCS).

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

    2 Citations (Scopus)
  • 2009

    Sums and lovers: Case studies in security, compositionality and refinement

    McIver, A. K. & Morgan, C. C., 2009, FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Cavalcanti, A. & Dams, D. R. (eds.). Berlin: Springer, Springer Nature, p. 289-304 16 p. (Lecture Notes in Computer Science; vol. 5850).

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

    10 Citations (Scopus)
  • The secret art of computer programming

    McIver, A. K., 2009, Theoretical aspects of computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, proceedings. Leucker, M. & Morgan, C. (eds.). Berlin: Springer, Springer Nature, p. 61-78 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5684 LNCS).

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

    3 Citations (Scopus)
  • 2008

    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)
    1 Downloads (Pure)
  • 2007

    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

  • 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

    18 Citations (Scopus)
  • 2006

    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)
  • Programming-logic analysis of fault tolerance: expected performance of self-stabilisation

    Morgan, C. C. & McIver, A., 2006, RIGOROUS DEVELOPMENT OF COMPLEX FAULT-TOLERANT SYSTEMS. Butler, M., Jones, C., Romanovsky, A. & Troubitsyna, E. (eds.). Berlin; New York: Springer, Springer Nature, p. 288-305 18 p. (Lecture Notes in Computer Science; vol. 4157).

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

    Open Access
  • Quantitative refinement and model checking for the analysis of probabilistic systems

    McIver, A. K., 2006, FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Proceedings. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). Berlin; New York: Springer, Springer Nature, Vol. 4085 LNCS. p. 131-146 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4085 LNCS).

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

    5 Citations (Scopus)
  • Quantitative μ-calculus analysis of power management in wireless networks

    McIver, A. K., 2006, Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Proceedings. Barkaoui, K., Cavalcanti, A. & Cerone, A. (eds.). Berlin; New York: Springer, Springer Nature, Vol. 4281 LNCS. p. 50-64 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4281 LNCS).

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

    1 Citation (Scopus)
  • Using probabilistic kleene algebra for protocol verification

    McIver, A. K., Cohen, E. & Morgan, C. C., 2006, Relations and Kleene Algebra in Computer Science - 9th Int. Conf. on Relational Methods in Computer Science and 4th Int. Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Proceedings. Berlin; New York: Springer, Springer Nature, Vol. 4136 LNCS. p. 296-310 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4136 LNCS).

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

    22 Citations (Scopus)
  • 2002

    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)
  • 2001

    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

  • 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)
  • 1999

    Quantitative program logic and performance in probabilistic distributed algorithms

    McIver, A. K., 1999, Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings. Katoen, J-P. (ed.). 1 ed. Berlin: Springer, Springer Nature, Vol. 1601. p. 19-33 15 p. (Lecture Notes in Computer Science; vol. 1601).

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

    2 Citations (Scopus)