Larissa A. Meinicke

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Programming Language

Spatial Representation And Reasoning

Concurrent Programs

Algebraic Expressions

Top Venues

Formal Aspects Comput.

Publications

Larissa A. Meinicke, Ian J. Hayes
Reasoning about distributive laws in a concurrent refinement algebra. CoRR (2024)
Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
Restructuring a concurrent refinement algebra. CoRR (2024)
Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones
Data reification in a concurrent rely-guarantee algebra. CoRR (2024)
Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost
Restructuring a Concurrent Refinement Algebra. RAMiCS (2024)
Larissa A. Meinicke, Ian J. Hayes
Using scylindric algebra to support local variables in rely/guarantee concurrency. FormaliSE (2023)
Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke
Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods (2023)
Ian J. Hayes, Larissa A. Meinicke, Patrick A. Meiring
Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style. CoRR (2021)
Larissa A. Meinicke, Ian J. Hayes
Handling localisation in rely/guarantee concurrency: An algebraic approach. CoRR (2019)
Ian J. Hayes, Larissa A. Meinicke
Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges. UTP (2019)
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. Formal Aspects Comput. 31 (2) (2019)
Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
Type Capabilities for Object-Oriented Programming Languages. ICFEM (2018)
Ian J. Hayes, Larissa A. Meinicke
Encoding fairness in a synchronous concurrent program algebra: extended version with proofs. CoRR (2018)
Ian J. Hayes, Larissa A. Meinicke
Encoding Fairness in a Synchronous Concurrent Program Algebra. FM (2018)
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. CoRR (2017)
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
Designing a semantic model for a wide-spectrum language with concurrency. Formal Aspects Comput. 29 (5) (2017)
Ian J. Hayes, Xi Wu, Larissa A. Meinicke
Capabilities for Java: Secure Access to Resources. APLAS (2017)
Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis
An Algebra of Synchronous Atomic Steps. FM (2016)
Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke
Designing a semantic model for a wide-spectrum language with concurrency. CoRR (2016)