| Publication | Date of Publication | Type |
|---|
| Weak progressive forward simulation is necessary and sufficient for strong observational refinement | 2024-08-13 | Paper |
| When are software verification results valid for approximate hardware? | 2024-04-05 | Paper |
| Verifying correctness of persistent concurrent data structures | 2024-03-14 | Paper |
| Rely-guarantee reasoning for causally consistent shared memory | 2024-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6083440 | 2023-12-08 | Paper |
| Parallel program analysis via range splitting | 2023-11-24 | Paper |
| Reasoning about promises in weak memory models with event structures | 2023-08-17 | Paper |
| Information Exchange Between Over- and Underapproximating Software Analyses | 2023-08-04 | Paper |
| Making Linearizability Compositional for Partially Ordered Executions | 2023-06-28 | Paper |
| Causal testing | 2022-12-11 | Paper |
| Unifying Operational Weak Memory Verification: An Axiomatic Approach | 2022-12-08 | 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 |
| On the correctness problem for serializability | 2022-03-31 | Paper |
| Integrating Owicki-Gries for C11-style memory models into Isabelle/HOL | 2022-03-25 | Paper |
| Editorial | 2022-01-11 | Paper |
| Editorial | 2022-01-11 | Paper |
| Verifying correctness of persistent concurrent data structures: a sound and complete method | 2021-09-14 | Paper |
| Verifying Opacity of a Transactional Mutex Lock | 2019-12-19 | Paper |
| Information flow certificates | 2018-11-23 | Paper |
| Mechanized proofs of opacity: a comparison of two techniques | 2018-09-12 | Paper |
| Proving Opacity of a Pessimistic {STM} | 2018-07-18 | Paper |
| Grammar-based model transformations: definition, execution, and quality properties | 2018-05-15 | Paper |
| Value-based or conflict-based? Opacity definitions for STMs | 2017-11-03 | Paper |
| Verification of Concurrent Programs on Weak Memory Models | 2016-12-21 | Paper |
| The behavioural semantics of Event-B refinement | 2016-08-05 | Paper |
| Towards a Thread-Local Proof Technique for Starvation Freedom | 2016-06-17 | Paper |
| From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog | 2015-11-04 | Paper |
| A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures | 2015-09-17 | Paper |
| Compositional CSP Traces Refinement Checking | 2015-03-18 | Paper |
| Alloy as a Refactoring Checker? | 2014-03-26 | Paper |
| A High-Level Semantics for Program Execution under Total Store Order Memory | 2013-10-04 | Paper |
| Model evolution and refinement | 2012-07-20 | Paper |
| Sound and Complete Abstract Graph Transformation | 2011-11-11 | Paper |
| Model transformations across views | 2010-02-26 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Model Transformations Incorporating Multiple Views | 2009-04-28 | Paper |
| Proving Linearizability Via Non-atomic Refinement | 2009-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601408 | 2009-02-10 | Paper |
| Bounded Model Checking for Partial Kripke Structures | 2009-01-27 | Paper |
| Slicing Abstractions | 2008-07-01 | Paper |
| Integrating a formal method into a software engineering process with UML and Java | 2008-04-09 | Paper |
| Refactoring Object-Oriented Specifications with Data and Processes | 2007-11-28 | Paper |
| Analysis of UML Activities Using Dynamic Meta Modeling | 2007-11-28 | Paper |
| On using data abstractions for model checking refinements | 2007-04-26 | Paper |
| Optimizing slicing of formal specifications by deductive verification | 2007-04-10 | 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 |
| Slicing techniques for verification re-use | 2005-11-01 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| Specification and (property) inheritance in CSP-OZ | 2005-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665722 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4654728 | 2005-03-08 | Paper |
| Behavioral subtyping relations for active objects | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436964 | 2003-12-04 | Paper |
| Process algebra with action dependencies | 2002-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767195 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764111 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790346 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503827 | 2001-09-04 | Paper |
| Data abstraction techniques in the validation of CSP-OZ specifications | 2001-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499200 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762656 | 2001-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494252 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699323 | 2000-02-01 | Paper |
| Modelling causality via action dependencies in branching time semantics | 1997-02-27 | Paper |
