Larissa Meinicke

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 6

Top Topics

Causal Networks

Algebraic Expressions

Security Systems

Practical Experience

Top Venues

Math. Struct. Comput. Sci.

Formal Aspects Comput.

Publications

Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. CoRR (2024)
Nasos Evangelou-Oost, Callum Bannister, Larissa Meinicke, Ian J. Hayes
Trace models of concurrent valuation algebras. CoRR (2023)
Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes
Trace Models of Concurrent Valuation Algebras. ICFEM (2023)
Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Georg Struth
Cylindric Kleene Lattices for Program Construction. MPC (2019)
Padmanabhan Krishnan, Jerome Loh, Rebecca O'Donoghue, Larissa Meinicke
Evaluating quality of security testing of the JDK. A-TEST@ESEC/SIGSOFT FSE (2017)
Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter, Andrius Velykis
An algebra of synchronous atomic steps. CoRR (2016)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Hidden-Markov program algebra with iteration. Math. Struct. Comput. Sci. 25 (2) (2015)
Ian J. Hayes, Larissa Meinicke
Invariants, Well-Founded Statements and Real-Time Program Algebra. FM (2014)
Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke
Abstract Channels and Their Robust Information-Leakage Ordering. POST (2014)
Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo
Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects Comput. 26 (1) (2014)
Ian J. Hayes, Steve Dunne, Larissa Meinicke
Linking Unifying Theories of Program refinement. Sci. Comput. Program. 78 (11) (2013)
Brijesh Dongol, Ian J. Hayes, Larissa Meinicke, Kim Solin
Towards an Algebra for Real-Time Programs. RAMiCS (2012)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. LICS (2012)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Hidden-Markov Program Algebra with iteration CoRR (2011)
Ian J. Hayes, Steve Dunne, Larissa Meinicke
Unifying Theories of Programming That Distinguish Nontermination and Abort. MPC (2010)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Compositional closure for Bayes Risk in probabilistic noninterference CoRR (2010)
Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. SAS (2010)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Compositional Closure for Bayes Risk in Probabilistic Noninterference. ICALP (2) (2010)
Larissa Meinicke, Kim Solin
Refinement algebra for probabilistic programs. Formal Aspects Comput. 22 (1) (2010)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Security, Probability and Nearly Fair Coins in the Cryptographers' Café. FM (2009)
Larissa Meinicke, Ian J. Hayes
Algebraic reasoning for probabilistic action systems and while-loops. Acta Informatica 45 (5) (2008)
Larissa Meinicke, Kim Solin
Refinement Algebra for Probabilistic Programs. Electron. Notes Theor. Comput. Sci. 201 (2008)
Larissa Meinicke, Ian J. Hayes
Probabilistic Choice in Refinement Algebra. MPC (2008)
Larissa Meinicke, Kim Solin
Reactive Probabilistic Programs and Refinement Algebra. RelMiCS (2008)
Larissa Meinicke, Graeme Smith
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. IFM (2007)
Larissa Meinicke, Ian J. Hayes
Reasoning Algebraically About Probabilistic Loops. ICFEM (2006)
Larissa Meinicke, Ian J. Hayes
Continuous Action System Refinement. MPC (2006)