Larissa Meinicke

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