| 2005 | ICECCS | Verifying Parameterized Refinement. | Maty Sylla, Frank A. Stomp, Willem P. de Roever |
| 2005 | ICFEM | 29 New Unclarities in the Semantics of UML 2.0 State Machines. | Harald Fecher, Jens Schnborn, Marcel Kyas, Willem P. de Roever |
| 2002 | FOSSACS | Verification for Java's Reentrant Multithreading Concept. | Erika brahm-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
| 1999 | FM | Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
| 1999 | MFCS | The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. | Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann |
| 1997 | FM | A Compositional Proof System for Shared Variable Concurrency. | Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever |
| 1996 | FM | Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. | Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp |
| 1996 | MFCS | Simulation of Specification Statements in Hoare Logic. | Kai Engelhardt, Willem P. de Roever |
| 1994 | EDCC | Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. | Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska |
| 1993 | FM | Using Relative Refinement for Fault Tolerance. | Antonio Cau, Willem P. de Roever |
| 1993 | FM | Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. | Kai Engelhardt, Willem P. de Roever |
| 1989 | PODC | Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. | Job Zwiers, Willem P. de Roever |
| 1987 | ICDCS | A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). | Frank A. Stomp, Willem P. de Roever |
| 1987 | POPL | Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. | Cornelis Huizing, Rob Gerth, Willem P. de Roever |
| 1985 | ICALP | Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. | Job Zwiers, Willem P. de Roever, Peter van Emde Boas |
| 1983 | PODC | Real-Time Programming and Asynchronous Message Passing. | Ron Koymans, Jan Vytopil, Willem P. de Roever |
| 1981 | GI | A Proof System for Brinch Hansen's Distributed Processes. | Marly Roncken, Rob Gerth, Willem P. de Roever |
| 1979 | POPL | The Evolution of List-Copying Algorithms. | Stanley Lee, Willem P. de Roever, Susan L. Gerhart |
| 1978 | MFCS | Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). | Nissim Francez, C. A. R. Hoare, Willem P. de Roever |
| 1977 | ICALP | On Backtracking and Greatest Fixpoints. | Willem P. de Roever |
| 1976 | MFCS | Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. | Willem P. de Roever |
| 1975 | MFCS | First-Order Reductions of Call-by-Name to Call-by-Value. | Willem P. de Roever |
| 1974 | ICALP | Recursion and Parameter Mechanisms: An Axiomatic Approach. | Willem P. de Roever |
| 1974 | MFCS | Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. | Willem P. de Roever |
| 1973 | MFCS | Operational and Mathematical Semantics for Recursive Polyadic Program Schemata. | Willem P. de Roever |
| 1972 | ICALP | A Calculus for Recursive Program Schemes. | J. W. de Bakker, Willem P. de Roever |