Willem P. de Roever

Publication Activity (10 Years)

Years Active: 1972-2008
Publications (10 Years): 0

Mathematisch Centrum, Amsterdam (PHD)

Education History

Mathematisch Centrum, Amsterdam

PHD

Publications

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Informaticae 82 (4) (2008)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Inductive Proof Outlines for Exceptions in Multithreaded Java. Electron. Notes Theor. Comput. Sci. 159 (2006)
Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
Compositional Operational Semantics of a UML-Kernel-Model Language. Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever
29 New Unclarities in the Semantics of UML 2.0 State Machines. ICFEM (2005)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. 331 (2-3) (2005)
Maty Sylla, Frank A. Stomp, Willem P. de Roever
Verifying Parameterized Refinement. ICECCS (2005)
Marcel Kyas, Frank S. de Boer, Willem P. de Roever
A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12 (2) (2005)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
. Verification: Theory and Practice (2003)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Inductive Proof Outlines for Monitors in Java. FMOODS (2003)
Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Verification for Java's Reentrant Multithreading Concept. FoSSaCS (2002)
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
A Tool-Supported Proof System for Multithreaded Java. FMCO (2002)
Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT (2000)
Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. MFCS (1999)
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. World Congress on Formal Methods (1999)
Frank S. de Boer, Willem P. de Roever
Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS (1997)
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
A Compositional Proof System for Shared Variable Concurrency. FME (1997)
Antonio Cau, Willem P. de Roever
A Dense-Time Temporal Logic with Nice Compositionality Properties. EUROCAST (1997)
Willem P. de Roever
The Need for Compositional Proof Systems: A Survey. COMPOS (1997)
Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS (1997)
Qiwen Xu, Willem P. de Roever, Jifeng He
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Aspects Comput. 9 (2) (1997)
Kai Engelhardt, Willem P. de Roever
Simulation of Specification Statements in Hoare Logic. MFCS (1996)
Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst
Compositionality in Real-Time Shared Variable Concurrency. FTRTFT (1996)
Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp
Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. FME (1996)
Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. FSTTCS (1995)
Kai Engelhardt, Willem P. de Roever
Towards a Practitioners' Approach to Abadi and Lamport's Method. Formal Aspects Comput. 7 (5) (1995)
Frank A. Stomp, Willem P. de Roever
A Principle for Sequential Reasoning about Distributed Algorithms. Formal Aspects Comput. 6 (6) (1994)
Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. EDCC (1994)
Antonio Cau, Willem P. de Roever
Specifying Fault Tolerance within Stark's Formalism. FTCS (1993)
Antonio Cau, Willem P. de Roever
Using Relative Refinement for Fault Tolerance. FME (1993)
Kai Engelhardt, Willem P. de Roever
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. FME (1993)
Job Zwiers, J. Coenen, Willem P. de Roever
A Note on Compositional Refinement. Refine (1992)
Jozef Hooman, S. Ramesh, Willem P. de Roever
A Compositional Axiomatization of Statecharts. Theor. Comput. Sci. 101 (2) (1992)
Cornelis Huizing, Willem P. de Roever
Introduction to Design Choices in the Semantics of Statecharts. Inf. Process. Lett. 37 (4) (1991)
Job Zwiers, Willem P. de Roever
Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. PODC (1989)
Willem P. de Roever, Jozef Hooman
Design and verification in real-time distributed computing: an introduction to compositional methods. PSTV (1989)
Frank A. Stomp, Willem P. de Roever, Rob Gerth
The upsilon-Calculus as an Assertion-Language for Fairness Arguments Inf. Comput. 82 (3) (1989)
Frank A. Stomp, Willem P. de Roever
Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract). WDAG (1989)
Cornelis Huizing, Rob Gerth, Willem P. de Roever
Modeling Statecharts Behaviour in a Fully Abstract Way. CAAP (1988)
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-Time Distributed Computing Inf. Comput. 79 (3) (1988)
Cornelis Huizing, Rob Gerth, Willem P. de Roever
Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. POPL (1987)
Job Zwiers, Willem P. de Roever
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. Temporal Logic in Specification (1987)
Frank A. Stomp, Willem P. de Roever
A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). ICDCS (1987)
Willem P. de Roever
Process Constructors and Interpretations - Response. IFIP Congress (1986)
N. W. P. van Diepen, Willem P. de Roever
Program Derivation Through Transformations: The Evolution of List-Copying Algorithms. Sci. Comput. Program. 6 (3) (1986)
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
Compositional Semantics for Real-time Distributed Computing. Logic of Programs (1985)
Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever
A Proof Rule for Fair Termination of Guarded Commands Inf. Control. 66 (1/2) (1985)
Job Zwiers, Willem P. de Roever, Peter van Emde Boas
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP (1985)
Willem P. de Roever
The Cooperation Test : a syntax-directed verification method. Logics and Models of Concurrent Systems (1984)
Rob Gerth, Willem P. de Roever
A Proof System for Concurrent ADA Programs. Sci. Comput. Program. 4 (2) (1984)
Job Zwiers, Arie de Bruin, Willem P. de Roever
A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). Logic of Programs (1983)
Ron Koymans, Willem P. de Roever
Examples of a Real-Time Temporal Logic Specification. The Analysis of Concurrent Systems (1983)
Ron Koymans, Jan Vytopil, Willem P. de Roever
Real-Time Programming and Asynchronous Message Passing. PODC (1983)
Amir Pnueli, Willem P. de Roever
Rendezvous with ADA: a proof theoretical view. AdaTEC Conference on Ada (1982)
Ruurd Kuiper, Willem P. de Roever
Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts (1982)
Rob Gerth, Willem P. de Roever, Marly Roncken
Procedures and concurrency: A study in proof. Symposium on Programming (1982)
Willem P. de Roever
A Formalism for Reasoning about Fair Termination. Logic of Programs (1981)
Marly Roncken, Rob Gerth, Willem P. de Roever
A Proof System for Brinch Hansen's Distributed Processes. GI Jahrestagung (1981)
Krzysztof R. Apt, Nissim Francez, Willem P. de Roever
A Proof System for Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 2 (3) (1980)
Stanley Lee, Willem P. de Roever, Susan L. Gerhart
The Evolution of List-Copying Algorithms. POPL (1979)
Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever
Semantics of Nondeterminism, Concurrency, and Communication. J. Comput. Syst. Sci. 19 (3) (1979)
Nissim Francez, C. A. R. Hoare, Willem P. de Roever
Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). MFCS (1978)
Willem P. de Roever
On Backtracking and Greatest Fixpoints. ICALP (1977)
Willem P. de Roever
On Backtracking and Greatest Fixpoints. Formal Description of Programming Concepts (1977)
Willem P. de Roever
Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. MFCS (1976)
Willem P. de Roever
First-Order Reductions of Call-by-Name to Call-by-Value. MFCS (1975)
Willem P. de Roever
Recursion and Parameter Mechanisms: An Axiomatic Approach. ICALP (1974)
Willem P. de Roever
Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. MFCS (1974)
Willem P. de Roever
Operational and mathematical semantics for recursive polyadic program schemata. ACM SIGPLAN Notices 8 (6) (1973)
Willem P. de Roever
Operational and Mathematical Semantics for Recursive Polyadic Program Schemata. MFCS (1973)
J. W. de Bakker, Willem P. de Roever
A Calculus for Recursive Program Schemes. ICALP (1972)

Willem P. de Roever.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Willem P. de Roever