| Publication | Date of Publication | Type |
|---|
| Verifying correctness of persistent concurrent data structures | 2024-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6083440 | 2023-12-08 | Paper |
| Making Linearizability Compositional for Partially Ordered Executions | 2023-06-28 | Paper |
| Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory | 2022-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101340 | 2022-08-30 | Paper |
| An Observational Approach to Defining Linearizability on Weak Memory Models | 2022-06-15 | Paper |
| Understanding, Explaining, and Deriving Refinement | 2022-03-02 | Paper |
| Verifying correctness of persistent concurrent data structures: a sound and complete method | 2021-09-14 | Paper |
| A Framework for Correctness Criteria on Weak Memory Models | 2019-12-19 | Paper |
| Verifying Opacity of a Transactional Mutex Lock | 2019-12-19 | Paper |
| Refinement | 2018-11-30 | Paper |
| Mechanized proofs of opacity: a comparison of two techniques | 2018-09-12 | Paper |
| Proving Opacity of a Pessimistic {STM} | 2018-07-18 | Paper |
| Model checking stochastic automata | 2017-06-13 | Paper |
| Relational concurrent refinement. III: Traces, partial relations and automata | 2016-08-05 | Paper |
| Relational Concurrent Refinement: Automata | 2016-08-01 | Paper |
| A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures | 2015-09-17 | Paper |
| Reasoning Algebraically About Refinement on TSO Architectures | 2015-01-13 | Paper |
| More Relational Concurrent Refinement: Traces and Partial Relations | 2014-03-26 | Paper |
| Model checking downward simulations | 2013-12-04 | Paper |
| A High-Level Semantics for Program Execution under Total Store Order Memory | 2013-10-04 | Paper |
| Unifying concurrent and relational refinement | 2013-08-19 | Paper |
| Temporal-logic property preservation under Z refinement | 2013-03-22 | Paper |
| Issues in formal methods | 2012-09-05 | Paper |
| Viewpoints modelling | 2012-09-05 | Paper |
| Z2SAL: a translation-based model checker for Z | 2011-05-27 | Paper |
| Incompleteness of relational simulations in the blocking paradigm | 2010-11-25 | Paper |
| Model transformations across views | 2010-02-26 | Paper |
| Relational concurrent refinement. II: Internal operations and outputs | 2009-05-27 | Paper |
| Model Transformations Incorporating Multiple Views | 2009-04-28 | Paper |
| Proving Linearizability Via Non-atomic Refinement | 2009-03-06 | Paper |
| Modelling Divergence in Relational Concurrent Refinement | 2009-02-24 | Paper |
| On using data abstractions for model checking refinements | 2007-04-26 | Paper |
| Verifying data refinements using a model checker | 2006-11-17 | Paper |
| ZB 2005: Formal Specification and Development in Z and B | 2005-11-10 | Paper |
| ZB 2005: Formal Specification and Development in Z and B | 2005-11-10 | Paper |
| Algebraic Methodology and Software Technology | 2005-08-25 | Paper |
| Relational concurrent refinement | 2005-02-08 | Paper |
| Structural refinement of systems specified in Object-Z and CSP | 2005-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808829 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472184 | 2004-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471917 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471918 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436964 | 2003-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436974 | 2003-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413670 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412485 | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412549 | 2003-07-15 | Paper |
| A formal framework for viewpoint consistency | 2002-09-18 | Paper |
| Combining component specifications in Object-Z and CSP. | 2002-09-09 | Paper |
| Analysis of a multimedia stream using stochastic process algebra | 2002-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790345 | 2002-01-01 | Paper |
| Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\) | 2001-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2724177 | 2001-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721099 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762658 | 2001-02-22 | Paper |
| A single complete refinement rule for Z | 2000-12-19 | Paper |
| Constructive consistency checking for partial specification in Z | 2000-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494251 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250653 | 1999-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251109 | 1999-06-17 | Paper |
| Strategies for consistency checking based on unification | 1999-03-30 | Paper |
| Specifying and refining internal operations in \(Z\) | 1999-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5677488 | 1967-01-01 | Paper |
