Overview
Background
Larissa Meinicke's research interests include mathematical notations and techniques for the formal specification and development of computing systems; probabilistic systems; computer security; abstract algebra and refinement algebra; real-time and fault-tolerant systems.
Dr Meinicke is currently a lecturer in the Division of Systems and Software Engineering Research in the School of Information Technology and Electrical Engineering.
She completed her PhD in the area of Computer Science at the University of Queensland in 2008 under the supervision of Professor Ian Hayes. Since then she has worked as a researcher at the Department of Information Technologies at Åbo Akademi University in Finland, both as a part of Professor Ralph-Johan Back’s Formal Methods and Programming research group, and as a member of the European Commission for Information and Communication Technologies project "Deploy".
From 2009 to 2011 Dr Meinicke worked on the ARC Research project "Hidden-state modelling for modular analysis of information flow, protection and risk evaluation" in conjunction with Associate Professor Annabelle McIver and Professor Carroll Morgan at Macquarie University in Sydney. Information about this research may be found at the Specification and Development of Probabilistic Systems page (below).
Availability
- Dr Larissa Meinicke is:
- Available for supervision
Qualifications
- Bachelor (Honours), The University of Queensland
- Doctor of Philosophy, The University of Queensland
Works
Search Professor Larissa Meinicke’s works on UQ eSpace
2013
Journal Article
Linking unifying theories of program refinement
Hayes, 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
Towards an algebra for real-time programs
Dongol, 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
2012
Conference Publication
A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism
McIver, 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
2010
Conference Publication
Compositional closure for Bayes Risk in probabilistic noninterference
McIver, 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 programs
Meinicke, 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
2010
Conference Publication
Linear-invariant generation for probabilistic programs: Automated support for proof-based methods
Katoen, 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 abort
Hayes, 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
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-loops
Meinicke, 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 approach
Meinicke, 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 Programs
Meinicke, 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 Algebra
Meinicke, 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 algebra
Meinicke, 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 course
Strooper, 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
A stepwise development process for reasoning about the reliability of real-time systems
Meinicke, 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
2007
Conference Publication
Evaluation of a new assessment scheme for a third-year concurrency course
Strooper, 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..
2006
Conference Publication
Continuous action system refinement
Meinicke, 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
2006
Conference Publication
Reasoning algebraically about probabilistic loops
Meinicke, 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
Funding
Past funding
Supervision
Availability
- Dr Larissa Meinicke is:
- Available for supervision
Before you email them, read our advice on how to contact a supervisor.
Supervision history
Current supervision
-
Doctor Philosophy
A hybrid model for a concurrent refinement algebra
Principal Advisor
Other advisors: Emeritus Professor Ian Hayes
-
Doctor Philosophy
Concurrent valuation algebras
Principal Advisor
Other advisors: Emeritus Professor Ian Hayes
-
Doctor Philosophy
Concurrent valuation algebras
Principal Advisor
Other advisors: Emeritus Professor Ian Hayes
-
Doctor Philosophy
Design and verification of concurrent systems
Associate Advisor
Other advisors: Emeritus Professor Ian Hayes
Media
Enquiries
For media enquiries about Dr Larissa Meinicke's areas of expertise, story ideas and help finding experts, contact our Media team: