Willem P. de Roever

Willem-Paul de Roever: Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009). Sci. Comput. Program. 75(4): 211-213 (2010)

Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler: What Is in a Step: New Perspectives on a Classical Question. Essays in Memory of Amir Pnueli 2010: 370-399

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Inform. 82(4): 391-463 (2008)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science 5382, Springer 2008, isbn 978-3-540-92187-5

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709, Springer 2007, isbn 978-3-540-74791-8

Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer: Compositional Operational Semantics of a UML-Kernel-Model Language. Electr. Notes Theor. Comput. Sci. 156(1): 79-96 (2006)

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Exceptions in Multithreaded Java. Electr. Notes Theor. Comput. Sci. 159: 281-297 (2006)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Lecture Notes in Computer Science 4111, Springer 2006, isbn 3-540-36749-7

Marcel Kyas, Frank S. de Boer, Willem P. de Roever: A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12(2): 116-132 (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): 251-290 (2005)

Maty Sylla, Frank A. Stomp, Willem P. de Roever: Verifying Parameterized Refinement. ICECCS 2005: 313-321

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: 52-65

Willem-Paul de Roever: A Perspective on Program Verification. VSTTE 2005: 470-477

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Lecture Notes in Computer Science 3657, Springer 2005, isbn 3-540-29131-8

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science 3188, Springer 2004, isbn 3-540-22942-6

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Compositional Operational Semantics for Java_MT. Verification: Theory and Practice 2003: 290-303

Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science 2852, Springer 2003, isbn 3-540-20303-6

Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32

Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: Verification for Java's Reentrant Multithreading Concept. FoSSaCS 2002: 5-20

Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science 54, Cambridge University Press 2001, isbn 0-521-80608-9

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: 3-5

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: 1245-1265

Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann: The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. MFCS 1999: 343-353

Willem P. de Roever, Kai Engelhardt: Data Refinement: Model-oriented Proof Theories and their Comparison. Cambridge Tracts in Theoretical Computer Science 46, Cambridge University Press 1998, isbn 0-521-64170-5

Willem P. de Roever, Hans Langmaack, Amir Pnueli (Eds.): Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures. Lecture Notes in Computer Science 1536, Springer 1998, isbn 3-540-65493-3

David Gries, Willem P. de Roever (Eds.): Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA. IFIP Conference Proceedings 125, Chapman & Hall 1998, isbn 0-412-83760-9

Qiwen Xu, Willem P. de Roever, Jifeng He: The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Asp. Comput. 9(2): 149-174 (1997)

Willem P. de Roever: The Need for Compositional Proof Systems: A Survey. COMPOS 1997: 1-22

Frank S. de Boer, Willem P. de Roever: Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS 1997: 632-646

Antonio Cau, Willem P. de Roever: A Dense-Time Temporal Logic with Nice Compositionality Properties. EUROCAST 1997: 123-145

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever: A Compositional Proof System for Shared Variable Concurrency. FME 1997: 515-532

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever: Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS 1997: 267-283

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: 595-608

Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst: Compositionality in Real-Time Shared Variable Concurrency. FTRTFT 1996: 420-439

Kai Engelhardt, Willem P. de Roever: Simulation of Specification Statements in Hoare Logic. MFCS 1996: 324-335

Kai Engelhardt, Willem P. de Roever: Towards a Practitioners' Approach to Abadi and Lamport's Method. Formal Asp. Comput. 7(5): 550-575 (1995)

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: 80-95

Frank A. Stomp, Willem P. de Roever: A Principle for Sequential Reasoning about Distributed Algorithms. Formal Asp. Comput. 6(6): 716-737 (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: 59-76

Hans Langmaack, Willem P. de Roever, Jan Vytopil (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings. Lecture Notes in Computer Science 863, Springer 1994, isbn 3-540-58468-4

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings. Lecture Notes in Computer Science 803, Springer 1994, isbn 3-540-58043-3

Antonio Cau, Willem P. de Roever: Using Relative Refinement for Fault Tolerance. FME 1993: 19-41

Kai Engelhardt, Willem P. de Roever: Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. FME 1993: 294-313

Antonio Cau, Willem P. de Roever: Specifying Fault Tolerance within Stark's Formalism. FTCS 1993: 392-401

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings. Lecture Notes in Computer Science 666, Springer 1993, isbn 3-540-56596-5

Jozef Hooman, S. Ramesh, Willem P. de Roever: A Compositional Axiomatization of Statecharts. Theor. Comput. Sci. 101(2): 289-335 (1992)

J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Lecture Notes in Computer Science 600, Springer 1992, isbn 3-540-55564-1

Cornelis Huizing, Willem P. de Roever: Introduction to Design Choices in the Semantics of Statecharts. Inf. Process. Lett. 37(4): 205-213 (1991)

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings. Lecture Notes in Computer Science 489, Springer 1991, isbn 3-540-53931-X

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings. Lecture Notes in Computer Science 430, Springer 1990, isbn 3-540-52559-9

Frank A. Stomp, Willem P. de Roever, Rob Gerth: The upsilon-Calculus as an Assertion-Language for Fairness Arguments. Inf. Comput. 82(3): 278-322 (1989)

Job Zwiers, Willem P. de Roever: Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. PODC 1989: 265-279

Willem P. de Roever, Jozef Hooman: Design and verification in real-time distributed computing: an introduction to compositional methods. PSTV 1989: 37-56

Frank A. Stomp, Willem P. de Roever: Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract). WDAG 1989: 242-253

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Lecture Notes in Computer Science 354, Springer 1989, isbn 3-540-51080-X

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): 210-256 (1988)

Cornelis Huizing, Rob Gerth, Willem P. de Roever: Modeling Statecharts Behaviour in a Fully Abstract Way. CAAP 1988: 271-294

Frank A. Stomp, Willem P. de Roever: A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). ICDCS 1987: 440-447

Cornelis Huizing, Rob Gerth, Willem P. de Roever: Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. POPL 1987: 223-237

Job Zwiers, Willem P. de Roever: Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. Temporal Logic in Specification 1987: 351-374

J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (Eds.): Current Trends in Concurrency, Overviews and Tutorials. Lecture Notes in Computer Science 224, Springer 1986, isbn 3-540-16488-X

N. W. P. van Diepen, Willem P. de Roever: Program Derivation Through Transformations: The Evolution of List-Copying Algorithms. Sci. Comput. Program. 6(3): 213-272 (1986)

Jozef Hooman, Willem P. de Roever: The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP. Current Trends in Concurrency 1986: 343-395

Willem P. de Roever: Process Constructors and Interpretations - Response. IFIP Congress 1986: 515-518

Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever: A Proof Rule for Fair Termination of Guarded Commands. Information and Control 66(1/2): 83-102 (1985)

Job Zwiers, Willem P. de Roever, Peter van Emde Boas: Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP 1985: 509-519

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: 167-189

Rob Gerth, Willem P. de Roever: A Proof System for Concurrent ADA Programs. Sci. Comput. Program. 4(2): 159-204 (1984)

Ron Koymans, Willem P. de Roever: Examples of a Real-Time Temporal Logic Specification. The Analysis of Concurrent Systems 1983: 231-251

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: 513-527

Ron Koymans, Jan Vytopil, Willem P. de Roever: Real-Time Programming and Asynchronous Message Passing. PODC 1983: 187-197

Rob Gerth, Willem P. de Roever, Marly Roncken: Procedures and concurrency: A study in proof. Symposium on Programming 1982: 132-163

Marly Roncken, Rob Gerth, Willem P. de Roever: A Proof System for Brinch Hansen's Distributed Processes. GI Jahrestagung 1981: 88-95

Willem P. de Roever: A Formalism for Reasoning about Fair Termination. Logic of Programs 1981: 113-121

Krzysztof R. Apt, Nissim Francez, Willem P. de Roever: A Proof System for Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 2(3): 359-385 (1980)

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): 290-308 (1979)

Stanley Lee, Willem P. de Roever, Susan L. Gerhart: The Evolution of List-Copying Algorithms. POPL 1979: 53-67

Nissim Francez, C. A. R. Hoare, Willem P. de Roever: Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). MFCS 1978: 191-200

Willem P. de Roever: On Backtracking and Greatest Fixpoints. ICALP 1977: 412-429

Willem P. de Roever: Recursive program schemes: semantics and proof theory. Mathematical Centre Tracts 70, Mathematisch Centrum, Amsterdam 1976

Willem P. de Roever: Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. MFCS 1976: 472-481

Willem P. de Roever: First-Order Reductions of Call-by-Name to Call-by-Value. MFCS 1975: 377-398

Willem P. de Roever: Recursion and Parameter Mechanisms: An Axiomatic Approach. ICALP 1974: 34-65

Willem P. de Roever: Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. MFCS 1974: 451-463

Willem P. de Roever: Operational and Mathematical Semantics for Recursive Polyadic Program Schemata. MFCS 1973: 293-298

J. W. de Bakker, Willem P. de Roever: A Calculus for Recursive Program Schemes. ICALP 1972: 167-196