Larissa A. Meinicke

22 papers B 3C 2Journal 12Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Reasoning about concurrent loops and recursion with rely-guarantee rules. CoRR Ian J. Hayes, Larissa A. Meinicke, Cliff B. Jones
2024	J	`jnl`	Data reification in a concurrent rely-guarantee algebra. CoRR Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones
2024	J	`jnl`	Handling expression evaluation under interference. CoRR Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
2024	—	`ch.`	Reasoning About Distributive Laws in a Concurrent Refinement Algebra. The Practice of Formal Methods (II) Larissa A. Meinicke, Ian J. Hayes
2024	J	`jnl`	Reasoning about distributive laws in a concurrent refinement algebra. CoRR Larissa A. Meinicke, Ian J. Hayes
2024	C	`conf`	Restructuring a Concurrent Refinement Algebra. RAMiCS Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
2024	J	`jnl`	Restructuring a concurrent refinement algebra. CoRR Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
2023	—	`conf`	Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
2023	—	`conf`	Using scylindric algebra to support local variables in rely/guarantee concurrency. FormaliSE Larissa A. Meinicke, Ian J. Hayes
2021	J	`jnl`	Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style. CoRR Ian J. Hayes, Larissa A. Meinicke, Patrick A. Meiring
2019	J	`jnl`	A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. Formal Aspects Comput. Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
2019	—	`conf`	Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges. UTP Ian J. Hayes, Larissa A. Meinicke
2019	J	`jnl`	Handling localisation in rely/guarantee concurrency: An algebraic approach. CoRR Larissa A. Meinicke, Ian J. Hayes
2018	B	`conf`	Encoding Fairness in a Synchronous Concurrent Program Algebra. FM Ian J. Hayes, Larissa A. Meinicke
2018	J	`jnl`	Encoding fairness in a synchronous concurrent program algebra: extended version with proofs. CoRR Ian J. Hayes, Larissa A. Meinicke
2018	C	`conf`	Type Capabilities for Object-Oriented Programming Languages. ICFEM Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
2017	J	`jnl`	A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. CoRR Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
2017	B	`conf`	Capabilities for Java: Secure Access to Resources. APLAS Ian J. Hayes, Xi Wu, Larissa A. Meinicke
2017	J	`jnl`	Designing a semantic model for a wide-spectrum language with concurrency. Formal Aspects Comput. Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
2016	B	`conf`	An Algebra of Synchronous Atomic Steps. FM Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis
2016	J	`jnl`	Designing a semantic model for a wide-spectrum language with concurrency. CoRR Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
2008	—	`—`	Transformation Rules for Probabilistic Progams: An Algebraic Approach Larissa A. Meinicke