| Publication | Date of Publication | Type |
|---|
| Compositional proof methods for concurrency: a semantic approach | 2025-03-19 | Paper |
| The need for compositional proof systems: a survey | 2025-03-19 | Paper |
| Warmest congratulations, Frank! | 2021-05-20 | Paper |
Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Warmest Congratulations, Ernst-Rüdiger!
Lecture Notes in Computer Science | 2015-11-04 | Paper |
| Compositional operational semantics of a UML-kernel-model language | 2013-10-07 | Paper |
| scientific article; zbMATH DE number 5898709 (Why is no real title available?) | 2011-05-20 | Paper |
What is in a step: new perspectives on a classical question
Time for Verification | 2010-09-07 | Paper |
Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009)
Science of Computer Programming | 2010-04-29 | Paper |
A compositional operational semantics for Java\(_{\text{MT}}\)
Lecture Notes in Computer Science | 2010-03-23 | Paper |
A tool-supported proof system for multithreaded Java.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Inductive proof outlines for monitors in Java.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
| Data Refinement | 2009-01-06 | Paper |
| A deductive proof system for multithreaded Java with exceptions | 2008-04-14 | Paper |
| A compositional trace logic for behavioural interface specifications | 2006-02-08 | Paper |
An assertion-based proof system for multithreaded Java
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2087419 (Why is no real title available?) | 2004-08-11 | Paper |
An introduction to compositional methods for concurrency and their application to real-time.
Sādhanā | 2002-02-18 | Paper |
Concurrency verification. Introduction to compositional and noncompositional methods
Cambridge Tracts in Theoretical Computer Science | 2002-02-03 | Paper |
| scientific article; zbMATH DE number 1487492 (Why is no real title available?) | 2000-10-23 | Paper |
| scientific article; zbMATH DE number 1418350 (Why is no real title available?) | 2000-03-19 | Paper |
| Data Refinement | 1999-11-24 | Paper |
The Rely-Guarantee method for verifying shared variable concurrent programs
Formal Aspects of Computing | 1997-11-10 | Paper |
| scientific article; zbMATH DE number 3963180 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3903940 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3890715 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3413799 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3378527 (Why is no real title available?) | 1972-01-01 | Paper |
