Willem P. de Roever

According to our database, Willem P. de Roever authored at least 79 papers between 1972 and 2016.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2016

Warmest Congratulations, Frank!

Willem-Paul de Roever

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Warmest Congratulations, Ernst-Rüdiger!

Willem-Paul de Roever

Proceedings of the Correct System Design, 2015

2010

Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009).

Willem-Paul de Roever

Sci. Comput. Program., 2010

What Is in a Step: New Perspectives on a Classical Question.

Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler

Proceedings of the Time for Verification, 2010

2008

A Deductive Proof System for Multithreaded Java with Exceptions.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Fundam. Informaticae, 2008

2005

An assertion-based proof system for multithreaded Java.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Theor. Comput. Sci., 2005

A Compositional Trace Logic for Behavioural Interface Specifications.

Marcel Kyas, Frank S. de Boer, Willem P. de Roever

Nord. J. Comput., 2005

Compositional Operational Semantics of a UML-Kernel-Model Language.

Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Inductive Proof Outlines for Exceptions in Multithreaded Java.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

A Perspective on Program Verification.

Willem-Paul de Roever

Proceedings of the Verified Software: Theories, 2005

29 New Unclarities in the Semantics of UML 2.0 State Machines.

Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever

Proceedings of the Formal Methods and Software Engineering, 2005

Verifying Parameterized Refinement.

Maty Sylla, Frank A. Stomp, Willem P. de Roever

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

2003

Inductive Proof Outlines for Monitors in Java.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

A Compositional Operational Semantics for Java_MT.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the Verification: Theory and Practice, 2003

2002

Verification for Java's Reentrant Multithreading Concept.

Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the Foundations of Software Science and Computation Structures, 2002

A Tool-Supported Proof System for Multithreaded Java.

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen

Proceedings of the Formal Methods for Components and Objects, 2002

2001

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press, ISBN: 0-521-80608-9, 2001

2000

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999

The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes.

Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Proceedings of the FM'99 - Formal Methods, 1999

1998

Data Refinement: Model-oriented Proof Theories and their Comparison

Willem P. de Roever, Kai Engelhardt

Cambridge Tracts in Theoretical Computer Science 46, Cambridge University Press, ISBN: 0-521-64170-5, 1998

1997

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs.

Qiwen Xu, Willem P. de Roever, Jifeng He

Formal Aspects Comput., 1997

Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

A Compositional Proof System for Shared Variable Concurrency.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

A Dense-Time Temporal Logic with Nice Compositionality Properties.

Antonio Cau, Willem P. de Roever

Proceedings of the Computer Aided Systems Theory, 1997

The Need for Compositional Proof Systems: A Survey.

Willem P. de Roever

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Compositional Proof Methods for Concurrency: A Semantic Approach.

Frank S. de Boer, Willem P. de Roever

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

Simulation of Specification Statements in Hoare Logic.

Kai Engelhardt, Willem P. de Roever

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Compositionality in Real-Time Shared Variable Concurrency.

Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

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

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Towards a Practitioners' Approach to Abadi and Lamport's Method.

Kai Engelhardt, Willem P. de Roever

Formal Aspects Comput., 1995

Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.

Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994

A Principle for Sequential Reasoning about Distributed Algorithms.

Frank A. Stomp, Willem P. de Roever

Formal Aspects Comput., 1994

Formal Semantics for Ward & Mellor's Transformation Schemas.

Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska

Proceedings of the 6th Refinement Workshop, 1994

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

Proceedings of the Dependable Computing, 1994

1993

Specifying Fault Tolerance within Stark's Formalism.

Antonio Cau, Willem P. de Roever

Proceedings of the Digest of Papers: FTCS-23, 1993

Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli.

Kai Engelhardt, Willem P. de Roever

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Using Relative Refinement for Fault Tolerance.

Antonio Cau, Willem P. de Roever

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

A Compositional Axiomatization of Statecharts.

Jozef Hooman, S. Ramesh, Willem P. de Roever

Theor. Comput. Sci., 1992

A Note on Compositional Refinement.

Job Zwiers, J. Coenen, Willem P. de Roever

Proceedings of the 5th Refinement Workshop, 1992

Formalising Dijkstra's Development Strategy within Stark's Formalism.

Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever

Proceedings of the 5th Refinement Workshop, 1992

1991

Introduction to Design Choices in the Semantics of Statecharts.

Cornelis Huizing, Willem P. de Roever

Inf. Process. Lett., 1991

1989

The upsilon-Calculus as an Assertion-Language for Fairness Arguments

Frank A. Stomp, Willem P. de Roever, Rob Gerth

Inf. Comput., September, 1989

Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract).

Frank A. Stomp, Willem P. de Roever

Proceedings of the Distributed Algorithms, 1989

Design and verification in real-time distributed computing: an introduction to compositional methods.

Willem P. de Roever, Jozef Hooman

Proceedings of the Protocol Specification, 1989

Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency.

Job Zwiers, Willem P. de Roever

Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

1988

Compositional Semantics for Real-Time Distributed Computing

Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar

Inf. Comput., December, 1988

Modeling Statecharts Behaviour in a Fully Abstract Way.

Cornelis Huizing, Rob Gerth, Willem P. de Roever

Proceedings of the CAAP '88, 1988

1987

Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach.

Job Zwiers, Willem P. de Roever

Proceedings of the Temporal Logic in Specification, 1987

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language.

Cornelis Huizing, Rob Gerth, Willem P. de Roever

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract).

Frank A. Stomp, Willem P. de Roever

Proceedings of the 7th International Conference on Distributed Computing Systems, 1987

1986

Program Derivation Through Transformations: The Evolution of List-Copying Algorithms.

N. W. P. van Diepen, Willem P. de Roever

Sci. Comput. Program., 1986

Process Constructors and Interpretations - Response.

Willem P. de Roever

Proceedings of the Information Processing 86, 1986

The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP.

Jozef Hooman, Willem P. de Roever

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985

A Proof Rule for Fair Termination of Guarded Commands

Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever

Inf. Control., 1985

Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem.

Job Zwiers, Willem P. de Roever, Peter van Emde Boas

Proceedings of the Automata, 1985

1984

A Proof System for Concurrent ADA Programs.

Rob Gerth, Willem P. de Roever

Sci. Comput. Program., 1984

The Cooperation Test : a syntax-directed verification method.

Willem P. de Roever

Proceedings of the Logics and Models of Concurrent Systems, 1984

1983

Real-Time Programming and Asynchronous Message Passing.

Ron Koymans, Jan Vytopil, Willem P. de Roever

Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, 1983

A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract).

Job Zwiers, Arie de Bruin, Willem P. de Roever

Proceedings of the Logics of Programs, 1983

Examples of a Real-Time Temporal Logic Specification.

Ron Koymans, Willem P. de Roever

Proceedings of the Analysis of Concurrent Systems, 1983

1982

Procedures and concurrency: A study in proof.

Rob Gerth, Willem P. de Roever, Marly Roncken

Proceedings of the International Symposium on Programming, 1982

Fairness Assumptions for CSP in a Temporal Logic Framework.

Ruurd Kuiper, Willem P. de Roever

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

Rendezvous with ADA: a proof theoretical view.

Amir Pnueli, Willem P. de Roever

Proceedings of the AdaTEC Conference on Ada, 1982

1981

A Formalism for Reasoning about Fair Termination.

Willem P. de Roever

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

A Proof System for Brinch Hansen's Distributed Processes.

Marly Roncken, Rob Gerth, Willem P. de Roever

Proceedings of the GI, 1981

1980

A Proof System for Communicating Sequential Processes.

Krzysztof R. Apt, Nissim Francez, Willem P. de Roever

ACM Trans. Program. Lang. Syst., 1980

1979

Semantics of Nondeterminism, Concurrency, and Communication.

Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever

J. Comput. Syst. Sci., 1979

The Evolution of List-Copying Algorithms.

Stanley Lee, Willem P. de Roever, Susan L. Gerhart

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

1978

Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract).

Nissim Francez, C. A. R. Hoare, Willem P. de Roever

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977

On Backtracking and Greatest Fixpoints.

Willem P. de Roever

Proceedings of the Automata, 1977

1976

Recursive program schemes: semantics and proof theory.

Willem P. de Roever

PhD thesis, 1976

Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.

Willem P. de Roever

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

First-Order Reductions of Call-by-Name to Call-by-Value.

Willem P. de Roever

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

1974

Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison.

Willem P. de Roever

Proceedings of the Mathematical Foundations of Computer Science, 1974

Recursion and Parameter Mechanisms: An Axiomatic Approach.

Willem P. de Roever

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1973

Operational and mathematical semantics for recursive polyadic program schemata.

Willem P. de Roever

ACM SIGPLAN Notices, 1973

1972

A Calculus for Recursive Program Schemes.

J. W. de Bakker, Willem P. de Roever

Proceedings of the Automata, 1972