Larissa A. Meinicke

22 papers B 3C 2Journal 12Unranked 3
YearRankTypeTitle / 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