|
2013 Journal Article Linking unifying theories of program refinementHayes, Ian J., Dunne, Steve E. and Meinicke, Larissa A. (2013). Linking unifying theories of program refinement. Science of Computer Programming, 78 (11), 2086-2107. doi: 10.1016/j.scico.2012.07.010 |
|
2012 Conference Publication A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminismMcIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2012). A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism. 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, 25 - 28 June 2012. Los Alamitos, CA United States: IEEE Computer Society. doi: 10.1109/LICS.2012.56 |
|
2012 Conference Publication Towards an algebra for real-time programsDongol, Brijesh, Hayes, Ian J., Meinicke, Larissa and Solin, Kim (2012). Towards an algebra for real-time programs. 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, United Kingdom, 17 - 20 September 2012. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-33314-9_4 |
|
2010 Conference Publication Linear-invariant generation for probabilistic programs: Automated support for proof-based methodsKatoen, Joost-Pieter, McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll C. (2010). Linear-invariant generation for probabilistic programs: Automated support for proof-based methods. 17th International Static Analysis Symposium (SAS 2010), Perpignan, France, 14-16 September 2010. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-15769-1_24 |
|
2010 Conference Publication Unifying theories of programming that distinguish nontermination and abortHayes, I. J., Dunne, S. E. and Meinicke, L. (2010). Unifying theories of programming that distinguish nontermination and abort. Mathematics of Program Construction [MPC], Québec City, Québec, Canada, 21-23 June, 2010. Berlin, Germany: Springer. doi: 10.1007/978-3-642-13321-3 |
|
2010 Conference Publication Compositional closure for Bayes Risk in probabilistic noninterferenceMcIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2010). Compositional closure for Bayes Risk in probabilistic noninterference. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Bordeaux, France, 5-10 July 2010. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-14162-1_19 |
|
2010 Journal Article Refinement algebra for probabilistic programsMeinicke, Larissa and Solin, Kim (2010). Refinement algebra for probabilistic programs. Formal Aspects of Computing, 22 (1), 3-31. doi: 10.1007/s00165-009-0111-1 |
|
2009 Conference Publication Security, probability and nearly fair coins in the cryptographers' caféMcIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2009). Security, probability and nearly fair coins in the cryptographers' café. 2nd World Congress on Formal Methods (FM 2009), Eindhoven, The Netherlands, 2-6 November 2009. Heidelberg, Germany: Springer. doi: 10.1007/978-3-642-05089-3_5 |
|
2008 Journal Article Algebraic reasoning for probabilistic action systems and while-loopsMeinicke, Larissa and Hayes, Ian J. (2008). Algebraic reasoning for probabilistic action systems and while-loops. Acta Informatica, 45 (5), 321-382. doi: 10.1007/s00236-008-0073-4 |
|
2008 Other Outputs Transformation rules for probabilistic programs : an algebraic approachMeinicke, Larissa A. (2008). Transformation rules for probabilistic programs : an algebraic approach. PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. doi: 10.14264/151322 |
|
2008 Journal Article Refinement Algebra for Probabilistic ProgramsMeinicke, Larissa and Solin, Kim (2008). Refinement Algebra for Probabilistic Programs. Electronic Notes in Theoretical Computer Science, 201 (C), 177-195. doi: 10.1016/j.entcs.2008.02.020 |
|
2008 Conference Publication Probabilistic Choice in Refinement AlgebraMeinicke, L. and Hayes, I. J. (2008). Probabilistic Choice in Refinement Algebra. 9th International Conference on Mathematics of Program Construction [MPC], Marseille, France, 15-18 July 2008. Berlin, Heidelberg: Springer Verlag. doi: 10.1007/978-3-540-70594-9_14 |
|
2008 Conference Publication Reactive probabilistic programs and refinement algebraMeinicke, L. A. and Solin, K. (2008). Reactive probabilistic programs and refinement algebra. 10th International Conference on Relational Methods in Computer Science/5th International Workshop on Applications of Kleene Algebra, Frauenworth Germany, 7 - 11 April 2008. Heidelberg, Germany: Springer. doi: 10.1007/978-3-540-78913-0_23 |
|
2007 Journal Article Evaluation of a new assesment scheme for a third-year concurrency courseStrooper, Paul and Meinicke, Larissa (2007). Evaluation of a new assesment scheme for a third-year concurrency course. Conferences in Research and Practice in Information Technology Series, 66, 147-154. |
|
2007 Conference Publication Evaluation of a new assessment scheme for a third-year concurrency courseStrooper, P. A. and Meinicke, L. (2007). Evaluation of a new assessment scheme for a third-year concurrency course. Ninth Australiasian Computing Education Conference (ACE 2007), Ballarat, Victoria, Australia, 30 January - 2 February, 2007. New South Wales, Australia: Australian Computer Society, Inc.. |
|
2007 Conference Publication A stepwise development process for reasoning about the reliability of real-time systemsMeinicke, L. and Smith, G. (2007). A stepwise development process for reasoning about the reliability of real-time systems. 6th International Conference: IFM 2007 - Integrated Formal Methods, Oxford, U.K., 2-5 July 2007. Berlin, Germany: Springer-Verlag. doi: 10.1007/978-3-540-73210-5_23 |
|
2006 Conference Publication Reasoning algebraically about probabilistic loopsMeinicke, Larissa and Hayes, Ian J. (2006). Reasoning algebraically about probabilistic loops. 8th International Conference on Formal Engineering Methods, Macua, PR China, 1-3 November, 2006. Berlin, Germany: Springer-Verlag. doi: 10.1007/11901433_21 |
|
2006 Conference Publication Continuous action system refinementMeinicke, L. A. and Hayes, I. J. (2006). Continuous action system refinement. 8th International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonia, 3-5 July 2006. Berlin, Germany: Springer-Verlag. doi: 10.1007/11783596_19 |
