Follow
Larissa Meinicke
Larissa Meinicke
Verified email at uq.edu.au
Title
Cited by
Cited by
Year
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
1052010
Compositional closure for Bayes risk in probabilistic noninterference
A McIver, L Meinicke, C Morgan
International Colloquium on Automata, Languages, and Programming, 223-235, 2010
872010
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
802014
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
272017
Hidden-Markov program algebra with iteration
A McIver, L Meinicke, C Morgan
Mathematical Structures in Computer Science 25 (2), 320-360, 2015
262015
An algebra of synchronous atomic steps
IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis
International Symposium on Formal Methods, 352-369, 2016
252016
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
242012
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
222010
Continuous action system refinement
L Meinicke, IJ Hayes
Mathematics of Program Construction: 8th International Conference, MPC 2006 …, 2006
172006
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
152019
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
152012
Refinement algebra for probabilistic programs
L Meinicke, K Solin
Electronic Notes in Theoretical Computer Science 201, 177-195, 2008
142008
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
132009
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
122014
Algebraic reasoning for probabilistic action systems and while-loops
L Meinicke, IJ Hayes
Acta Informatica 45 (5), 321-382, 2008
102008
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
82013
Refinement algebra for probabilistic programs
L Meinicke, K Solin
Formal Aspects of Computing 22, 3-31, 2010
82010
Reasoning algebraically about probabilistic loops
L Meinicke, IJ Hayes
International Conference on Formal Engineering Methods, 380-399, 2006
82006
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
72010
Cylindric Kleene lattices for program construction
B Dongol, I Hayes, L Meinicke, G Struth
Mathematics of Program Construction: 13th International Conference, MPC 2019 …, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20