Larissa Meinicke

Cliff B. Jones

CoRR, 2024

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures.

[BibT_eX]

[DOI]

CoRR, 2024

Data reification in a concurrent rely-guarantee algebra.

[BibT_eX]

[DOI]

Cliff B. Jones

CoRR, 2024

Reasoning about distributive laws in a concurrent refinement algebra.

[BibT_eX]

[DOI]

CoRR, 2024

Restructuring a Concurrent Refinement Algebra.

[BibT_eX]

[DOI]

Nasos Evangelou-Oost

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Using scylindric algebra to support local variables in rely/guarantee concurrency.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Trace Models of Concurrent Valuation Algebras.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2023

Specifying and Reasoning About Shared-Variable Concurrency.

[BibT_eX]

[DOI]

Cliff B. Jones

Proceedings of the Theories of Programming and Formal Methods, 2023

2021

Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style.

[BibT_eX]

[DOI]

Patrick A. Meiring

CoRR, 2021

2019

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

Handling localisation in rely/guarantee concurrency: An algebraic approach.

[BibT_eX]

[DOI]

CoRR, 2019

Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Cylindric Kleene Lattices for Program Construction.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

Encoding fairness in a synchronous concurrent program algebra: extended version with proofs.

[BibT_eX]

[DOI]

CoRR, 2018

Type Capabilities for Object-Oriented Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Encoding Fairness in a Synchronous Concurrent Program Algebra.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Designing a semantic model for a wide-spectrum language with concurrency.

[BibT_eX]

[DOI]

Robert J. Colvin

Formal Aspects Comput., 2017

Evaluating quality of security testing of the JDK.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, 2017

Capabilities for Java: Secure Access to Resources.

[BibT_eX]

[DOI]

Xi Wu

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

An Algebra of Synchronous Atomic Steps.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2015

Hidden-Markov program algebra with iteration.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

2014

Abstractions of non-interference security: probabilistic versus possibilistic.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Abstract Channels and Their Robust Information-Leakage Ordering.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Invariants, Well-Founded Statements and Real-Time Program Algebra.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

2013

Linking Unifying Theories of Program refinement.

[BibT_eX]

[DOI]

Steve Dunne

Sci. Comput. Program., 2013

2012

A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Towards an Algebra for Real-Time Programs.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2010

Refinement algebra for probabilistic programs.

[BibT_eX]

[DOI]

Kim Solin

Formal Aspects Comput., 2010

Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 17th International Symposium, 2010

Unifying Theories of Programming That Distinguish Nontermination and Abort.

[BibT_eX]

[DOI]

Steve Dunne

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Compositional Closure for Bayes Risk in Probabilistic Noninterference.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Security, Probability and Nearly Fair Coins in the Cryptographers' Café.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

2008

Transformation Rules for Probabilistic Progams: An Algebraic Approach

[BibT_eX]

[DOI]

PhD thesis, 2008

Algebraic reasoning for probabilistic action systems and while-loops.

[BibT_eX]

[DOI]

Acta Informatica, 2008

Probabilistic Choice in Refinement Algebra.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

Reactive Probabilistic Programs and Refinement Algebra.

[BibT_eX]

[DOI]

Kim Solin

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.

[BibT_eX]

[DOI]

Graeme Smith

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Continuous Action System Refinement.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Reasoning Algebraically About Probabilistic Loops.

[BibT_eX]

[DOI]