Linear-invariant generation for probabilistic programs: Automated support for proof-based methods JP Katoen, AK McIver, LA Meinicke, CC Morgan Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 111 | 2010 |

Compositional closure for Bayes risk in probabilistic noninterference A McIver, L Meinicke, C Morgan International Colloquium on Automata, Languages, and Programming, 223-235, 2010 | 88 | 2010 |

Abstract channels and their robust information-leakage ordering A McIver, C Morgan, G Smith, B Espinoza, L Meinicke Principles of Security and Trust: Third International Conference, POST 2014 …, 2014 | 80 | 2014 |

Designing a semantic model for a wide-spectrum language with concurrency RJ Colvin, IJ Hayes, LA Meinicke Formal Aspects of Computing 29, 853-875, 2017 | 31 | 2017 |

Hidden-Markov program algebra with iteration A McIver, L Meinicke, C Morgan Mathematical Structures in Computer Science 25 (2), 320-360, 2015 | 27 | 2015 |

An algebra of synchronous atomic steps IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis International Symposium on Formal Methods, 352-369, 2016 | 26 | 2016 |

A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism A McIver, L Meinicke, C Morgan 2012 27th Annual IEEE Symposium on Logic in Computer Science, 461-470, 2012 | 24 | 2012 |

Unifying theories of programming that distinguish nontermination and abort IJ Hayes, SE Dunne, L Meinicke Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010 | 22 | 2010 |

Continuous action system refinement L Meinicke, IJ Hayes Mathematics of Program Construction: 8th International Conference, MPC 2006 …, 2006 | 17 | 2006 |

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency IJ Hayes, LA Meinicke, K Winter, RJ Colvin Formal Aspects of Computing 31, 133-163, 2019 | 16 | 2019 |

Towards an algebra for real-time programs B Dongol, IJ Hayes, L Meinicke, K Solin International Conference on Relational and Algebraic Methods in Computer …, 2012 | 15 | 2012 |

Refinement algebra for probabilistic programs L Meinicke, K Solin Electronic Notes in Theoretical Computer Science 201, 177-195, 2008 | 14 | 2008 |

Security, probability and nearly fair coins in the cryptographers’ café A McIver, L Meinicke, C Morgan FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 13 | 2009 |

Abstractions of non-interference security: probabilistic versus possibilistic TS Hoang, AK McIver, L Meinicke, CC Morgan, A Sloane, E Susatyo Formal Aspects of Computing 26, 169-194, 2014 | 12 | 2014 |

Algebraic reasoning for probabilistic action systems and while-loops L Meinicke, IJ Hayes Acta Informatica 45 (5), 321-382, 2008 | 10 | 2008 |

Abstract channels, gain functions and the information order A McIver, C Morgan, L Meinicke, G Smith, B Espinoza FCS 2013 Workshop on Foundations of Computer Security, 359-378, 2013 | 9 | 2013 |

Refinement algebra for probabilistic programs L Meinicke, K Solin Formal Aspects of Computing 22, 3-31, 2010 | 9 | 2010 |

Reasoning algebraically about probabilistic loops L Meinicke, IJ Hayes International Conference on Formal Engineering Methods, 380-399, 2006 | 8 | 2006 |

Linear-invariant generation for probabilistic programs: In: Cousot, R., Martel, M.(eds.) SAS 2010. LNCS, vol. 6337 JP Katoen, AK McIver, LA Meinicke, CC Morgan Springer, Heidelberg, 2010 | 7 | 2010 |

Cylindric Kleene lattices for program construction B Dongol, I Hayes, L Meinicke, G Struth Mathematics of Program Construction: 13th International Conference, MPC 2019 …, 2019 | 6 | 2019 |