Larissa Meinicke

28 papers A* 1B 8C 3Journal 10Unranked 5

Year	Rank	Type	Title / 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