Browse by all authors Browse By Author ID - Meinicke, Larissa A.

Browse Results (24 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
McIver, Annabelle, Morgan, Carroll, Smith, Geoffrey, Espinoza, Barbara and Meinicke, Larissa (2014). Abstract channels and their robust information-leakage ordering. In: Martín Abadi and Steve Kremer, 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. 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, (83-102). 5 -13 April 2014. doi:10.1007/978-3-642-54792-8_5 28   Cited 0 times in Scopus0 0
Hoang, Thai Son, McIver, Annabelle K., Meinicke, Larissa, Morgan, Carroll C., Sloane, Anthony and Susatyo, Enrico (2014) Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects of Computing, 26 1: 169-194. doi:10.1007/s00165-012-0237-4 23   0 Cited 1 times in Scopus1 0
McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2012). A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, (461-470). 25 - 28 June 2012. doi:10.1109/LICS.2012.56 11   0 Cited 0 times in Scopus0 0
Meinicke, Larissa and Hayes, Ian J. (2006) Algebraic Reasoning for Probabilistic Action Systems and While-Loops. Technical Report SSE-2006-05, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 433 197
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 85   2 Cited 3 times in Scopus3 0
Meinicke, L. and Smith, G. (2007). A stepwise development process for reasoning about the reliability of real-time systems. In: J. Davies and J. Gibbons, Integrated Formal Methods 2007. 6th International Conference: IFM 2007 - Integrated Formal Methods, Oxford, U.K., (439-458). 2-5 July 2007. doi:10.1007/978-3-540-73210-5_23 65   1 Cited 0 times in Scopus0 0
McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2010). Compositional closure for Bayes Risk in probabilistic noninterference. In: Samson Abramsky, Cyril Gavoille and Claude Kirchner, Automata, languages and programming: 37th International Colloquium, ICALP 2010: Proceedings, part II. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Bordeaux, France, (223-235). 5-10 July 2010. doi:10.1007/978-3-642-14162-1_19 43 1 7 Cited 8 times in Scopus8 0
Meinicke, L. A. and Hayes, I. J. (2006). Continuous action system refinement. In: Tarmo Uustalu, Mathematics of Program Construction. 8th International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonia, (316-337). 3-5 July 2006. 75   5 Cited 3 times in Scopus3
Strooper, P. A. and Meinicke, L. (2007). Evaluation of a new assessment scheme for a third-year concurrency course. In: Simon Mann, Proceedings of the Ninth Australiasian Computing Education Conference (ACE 2007). Ninth Australiasian Computing Education Conference (ACE 2007), Ballarat, Victoria, Australia, (147-154). 30 January - 2 February, 2007. 72  
McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2015) Hidden-Markov program algebra with iteration. Mathematical Structures in Computer Science, 25 S02: 320-360. doi:10.1017/S0960129513000625 7   Cited 0 times in Scopus0 0
Hayes, Ian J. and Meinicke, Larissa (2014). Invariants, well-founded statements and real-time program algebra. In: Cliff Jones, Pekka Pihlajasaari and Jun Sun, FM 2014: Formal Methods - 19th International Symposium, Proceedings. 19th International Symposium on Formal Methods, FM 2014, Singapore, (318-334). 12 - 16 May 2014. doi:10.1007/978-3-319-06410-9_23 47 3 Cited 0 times in Scopus0 0
Katoen, Joost-Pieter, McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll C. (2010). Linear-invariant generation for probabilistic programs: Automated support for proof-based methods. In: Radhia Cousot and Matthieu Martel, Static Analysis: 17th International Symposium, SAS 2010: Proceedings. 17th International Static Analysis Symposium (SAS 2010), Perpignan, France, (390-406). 14-16 September 2010. doi:10.1007/978-3-642-15769-1_24 47   3 Cited 7 times in Scopus7 0
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 42   0 Cited 1 times in Scopus1 1
Meinicke, Larissa (2007) Probabilistic Action System Trace Semantics. SSE-2007-01, School of Information Technology and Electrical Engineering, The University of Queensland. 283 391
Meinicke, L. and Hayes, I. J. (2008). Probabilistic Choice in Refinement Algebra. In: P. Audebaud and C. Paulin-Mohring, Lecture Notes in Computer ScienceProceedings of the 9th international conference on Mathematics of Program Construction. 9th International Conference on Mathematics of Program Construction [MPC], Marseille, France, (243-267). 15-18 July 2008. doi:10.1007/978-3-540-70594-9_14 48   2 Cited 2 times in Scopus2 0
Meinicke, Larissa and Solin, Kim (2006) Probabilistic Demonic Refinement Algebra. Technical Report SSE-2006-04, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 334 200
Meinicke, L. A. and Solin, K. (2008). Reactive probabilistic programs and refinement algebra. In: Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008: Proceedings. 10th International Conference on Relational Methods in Computer Science/5th International Workshop on Applications of Kleene Algebra, Frauenworth Germany, (304-319). 7 - 11 April 2008. doi:10.1007/978-3-540-78913-0_23 17   3 Cited 3 times in Scopus3 0
Hayes, Ian J. and Meinicke, Larissa (2006) Reasoning Algebraically about Probabilistic Loops. Technical Report SSE-2006-02, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 253 217
Meinicke, Larissa and Hayes, Ian J. (2006). Reasoning algebraically about probabilistic loops. In: Z. Liu and J. He, 8th International Conference on Formal Engineering Methods, Macua, PR China, (380-399). 1-3 November, 2006. doi:10.1007/11901433 53 2 3 Cited 1 times in Scopus1 0
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 57 12 3 Cited 5 times in Scopus5 0
McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2009). Security, probability and nearly fair coins in the cryptographers' café. In: Ana Cavalcanti and Dennis Dams, FM 2009: Formal Methods: SecondWorld Congress proceedings. 2nd World Congress on Formal Methods (FM 2009), Eindhoven, The Netherlands, (41-71). 2-6 November 2009. doi:10.1007/978-3-642-05089-3_5 56 1 3 Cited 1 times in Scopus1 0
Dongol, Brijesh, Hayes, Ian J., Meinicke, Larissa and Solin, Kim (2012). Towards an algebra for real-time programs. In: Wolfram Kahl and Timothy G. Griffin, Proceedings: 13th International Conference, RAMiCS 2012. 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2012), Cambridge, United Kingdom, (50-65). 17 - 20 September 2012. doi:10.1007/978-3-642-33314-9_4 64   Cited 1 times in Scopus1 0
Meinicke, Larissa A. (2008). Transformation Rules for Probabilistic Progams: An Algebraic Approach PhD Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 367 94
Hayes, I. J., Dunne, S. E. and Meinicke, L. (2010). Unifying theories of programming that distinguish nontermination and abort. In: Claude Bolduc, Jules Desharnais and Béchir Ktari, Lecture Notes in Computer Science. Mathematics of Program Construction: 10th International Conference, MPC 2010. Mathematics of Program Construction [MPC], Québec City, Québec, Canada, (178-194). 21-23 June, 2010. doi:10.1007/978-3-642-13321-3 84 1 5 Cited 8 times in Scopus8 0