| 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 |
scientific article; zbMATH DE number 7774306 (Why is no real title available?)
(available as arXiv preprint) | 2023-12-08 | Paper |
| Parallel program analysis via range splitting | 2023-11-24 | Paper |
Reasoning about promises in weak memory models with event structures
Formal Methods | 2023-08-17 | Paper |
Reasoning about promises in weak memory models with event structures
Formal Methods | 2023-08-17 | Paper |
Information Exchange Between Over- and Underapproximating Software Analyses
Software Engineering and Formal Methods | 2023-08-04 | Paper |
Making Linearizability Compositional for Partially Ordered Executions
Lecture Notes in Computer Science | 2023-06-28 | Paper |
Making Linearizability Compositional for Partially Ordered Executions
Lecture Notes in Computer Science | 2023-06-28 | Paper |
Causal testing
Mathematical Foundations of Computer Science 1996 | 2022-12-11 | Paper |
Unifying Operational Weak Memory Verification: An Axiomatic Approach
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
Defining and verifying durable opacity: correctness for persistent software transactional memory
Formal Techniques for Distributed Objects, Components, and Systems | 2022-10-13 | Paper |
scientific article; zbMATH DE number 7577571 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577571 (Why is no real title available?) | 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
Journal of Automated Reasoning | 2022-03-25 | Paper |
Editorial
Formal Aspects of Computing | 2022-01-11 | Paper |
Editorial
Formal Aspects of Computing | 2022-01-11 | Paper |
Verifying correctness of persistent concurrent data structures: a sound and complete method
Formal Aspects of Computing | 2021-09-14 | Paper |
Verifying opacity of a transactional mutex lock
FM 2015: Formal Methods | 2019-12-19 | Paper |
| Information flow certificates | 2018-11-23 | Paper |
Mechanized proofs of opacity: a comparison of two techniques
Formal Aspects of Computing | 2018-09-12 | Paper |
| Proving opacity of a pessimistic STM | 2018-07-18 | Paper |
Grammar-based model transformations: definition, execution, and quality properties
Computer Languages, Systems & Structures | 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
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
The behavioural semantics of Event-B refinement
Formal Aspects of Computing | 2016-08-05 | Paper |
Towards a thread-local proof technique for starvation freedom
Lecture Notes in Computer Science | 2016-06-17 | Paper |
From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog
Lecture Notes in Computer Science | 2015-11-04 | Paper |
A sound and complete proof technique for linearizability of concurrent data structures
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Compositional CSP traces refinement checking
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
Alloy as a refactoring checker?
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
A high-level semantics for program execution under total store order memory
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
Model evolution and refinement
Science of Computer Programming | 2012-07-20 | Paper |
Sound and complete abstract graph transformation
Formal Methods, Foundations and Applications | 2011-11-11 | Paper |
Model transformations across views
Science of Computer Programming | 2010-02-26 | Paper |
Specification and inheritance in CSP-OZ.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Inheritance of temporal logic properties.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Checking consistency in UML diagrams: classes and state machines.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Model Transformations Incorporating Multiple Views
Algebraic Methodology and Software Technology | 2009-04-28 | Paper |
Proving Linearizability Via Non-atomic Refinement
Lecture Notes in Computer Science | 2009-03-06 | Paper |
| scientific article; zbMATH DE number 5506101 (Why is no real title available?) | 2009-02-10 | Paper |
Bounded Model Checking for Partial Kripke Structures
Theoretical Aspects of Computing - ICTAC 2008 | 2009-01-27 | Paper |
Slicing Abstractions
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Integrating a formal method into a software engineering process with UML and Java
Formal Aspects of Computing | 2008-04-09 | Paper |
Refactoring Object-Oriented Specifications with Data and Processes
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Analysis of UML Activities Using Dynamic Meta Modeling
Lecture Notes in Computer Science | 2007-11-28 | Paper |
On using data abstractions for model checking refinements
Acta Informatica | 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
Lecture Notes in Computer Science | 2005-11-10 | Paper |
ZB 2005: Formal Specification and Development in Z and B
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Slicing techniques for verification re-use
Theoretical Computer Science | 2005-11-01 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming | 2005-05-12 | Paper |
| scientific article; zbMATH DE number 2155176 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2143091 (Why is no real title available?) | 2005-03-08 | Paper |
Behavioral subtyping relations for active objects
Formal Methods in System Design | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 2013580 (Why is no real title available?) | 2003-12-04 | Paper |
Process algebra with action dependencies
Acta Informatica | 2002-08-14 | Paper |
| scientific article; zbMATH DE number 1696907 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1693515 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1860619 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1507039 (Why is no real title available?) | 2001-09-04 | Paper |
Data abstraction techniques in the validation of CSP-OZ specifications
Formal Aspects of Computing | 2001-03-07 | Paper |
| scientific article; zbMATH DE number 1497783 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1569128 (Why is no real title available?) | 2001-02-22 | Paper |
| scientific article; zbMATH DE number 1487740 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1361504 (Why is no real title available?) | 2000-02-01 | Paper |
Modelling causality via action dependencies in branching time semantics
Information Processing Letters | 1997-02-27 | Paper |
