| 2008 |
|---|
| 84 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Springer 2008 |
| 83 | EE | 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) |
| 2007 |
|---|
| 82 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Springer 2007 |
| 2006 |
|---|
| 81 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Springer 2006 |
| 80 | EE | 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) |
| 79 | EE | 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) |
| 2005 |
|---|
| 78 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures
Springer 2005 |
| 77 | EE | Maty Sylla,
Frank A. Stomp,
Willem P. de Roever:
Verifying Parameterized Refinement.
ICECCS 2005: 313-321 |
| 76 | EE | 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 |
| 75 | | 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) |
| 74 | EE | 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) |
| 2004 |
|---|
| 73 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures
Springer 2004 |
| 2003 |
|---|
| 72 | | Frank S. de Boer,
Marcello M. Bonsangue,
Susanne Graf,
Willem P. de Roever:
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Springer 2003 |
| 71 | EE | Erika Ábrahám,
Frank S. de Boer,
Willem P. de Roever,
Martin Steffen:
Inductive Proof Outlines for Monitors in Java.
FMOODS 2003: 155-169 |
| 70 | EE | Erika Ábrahám,
Frank S. de Boer,
Willem P. de Roever,
Martin Steffen:
A Compositional Operational Semantics for JavaMT.
Verification: Theory and Practice 2003: 290-303 |
| 2002 |
|---|
| 69 | EE | 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 |
| 68 | EE | 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 |
| 2001 |
|---|
| 67 | | 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 University Press 2001 |
| 2000 |
|---|
| 66 | | 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 |
| 1999 |
|---|
| 65 | | 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 |
| 64 | EE | 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 |
| 1998 |
|---|
| 63 | | Willem P. de Roever,
Kai Engelhardt:
Data Refinement: Model-oriented Proof Theories and their Comparison
Cambridge University Press 1998 |
| 62 | | David Gries,
Willem P. de Roever:
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
Chapman & Hall 1998 |
| 61 | | Willem P. de Roever,
Hans Langmaack,
Amir Pnueli:
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures
Springer 1998 |
| 1997 |
|---|
| 60 | EE | Willem P. de Roever:
The Need for Compositional Proof Systems: A Survey.
COMPOS 1997: 1-22 |
| 59 | EE | Frank S. de Boer,
Willem P. de Roever:
Compositional Proof Methods for Concurrency: A Semantic Approach.
COMPOS 1997: 632-646 |
| 58 | | Antonio Cau,
Willem P. de Roever:
A Dense-Time Temporal Logic with Nice Compositionality Properties.
EUROCAST 1997: 123-145 |
| 57 | | Frank S. de Boer,
Ulrich Hannemann,
Willem P. de Roever:
A Compositional Proof System for Shared Variable Concurrency.
FME 1997: 515-532 |
| 56 | EE | Frank S. de Boer,
Ulrich Hannemann,
Willem P. de Roever:
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.
FSTTCS 1997: 267-283 |
| 55 | | 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) |
| 1996 |
|---|
| 54 | | 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 |
| 53 | | Frank S. de Boer,
H. Tej,
Willem P. de Roever,
M. van Hulst:
Compositionality in Real-Time Shared Variable Concurrency.
FTRTFT 1996: 420-439 |
| 52 | | Kai Engelhardt,
Willem P. de Roever:
Simulation of Specification Statements in Hoare Logic.
MFCS 1996: 324-335 |
| 1995 |
|---|
| 51 | | 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 |
| 50 | | Kai Engelhardt,
Willem P. de Roever:
Towards a Practitioners' Approach to Abadi and Lamport's Method.
Formal Asp. Comput. 7(5): 550-575 (1995) |
| 1994 |
|---|
| 49 | | J. W. de Bakker,
Willem P. de Roever,
Grzegorz Rozenberg:
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings
Springer 1994 |
| 48 | | Hans Langmaack,
Willem P. de Roever,
Jan Vytopil:
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
Springer 1994 |
| 47 | | 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 |
| 46 | | Frank A. Stomp,
Willem P. de Roever:
A Principle for Sequential Reasoning about Distributed Algorithms.
Formal Asp. Comput. 6(6): 716-737 (1994) |
| 1993 |
|---|
| 45 | | J. W. de Bakker,
Willem P. de Roever,
Grzegorz Rozenberg:
Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings
Springer 1993 |
| 44 | | Antonio Cau,
Willem P. de Roever:
Using Relative Refinement for Fault Tolerance.
FME 1993: 19-41 |
| 43 | | Kai Engelhardt,
Willem P. de Roever:
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli.
FME 1993: 294-313 |
| 42 | | Antonio Cau,
Willem P. de Roever:
Specifying Fault Tolerance within Stark's Formalism.
FTCS 1993: 392-401 |
| 1992 |
|---|
| 41 | | J. W. de Bakker,
Cornelis Huizing,
Willem P. de Roever,
Grzegorz Rozenberg:
Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings
Springer 1992 |
| 40 | | Jozef Hooman,
S. Ramesh,
Willem P. de Roever:
A Compositional Axiomatization of Statecharts.
Theor. Comput. Sci. 101(2): 289-335 (1992) |
| 1991 |
|---|
| 39 | | J. W. de Bakker,
Willem P. de Roever,
Grzegorz Rozenberg:
Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings
Springer 1991 |
| 38 | | Cornelis Huizing,
Willem P. de Roever:
Introduction to Design Choices in the Semantics of Statecharts.
Inf. Process. Lett. 37(4): 205-213 (1991) |
| 1990 |
|---|
| 37 | | J. W. de Bakker,
Willem P. de Roever,
Grzegorz Rozenberg:
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings
Springer 1990 |
| 1989 |
|---|
| 36 | | J. W. de Bakker,
Willem P. de Roever,
Grzegorz Rozenberg:
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings
Springer 1989 |
| 35 | | Job Zwiers,
Willem P. de Roever:
Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency.
PODC 1989: 265-279 |
| 34 | | Willem P. de Roever,
Jozef Hooman:
Design and verification in real-time distributed computing: an introduction to compositional methods.
PSTV 1989: 37-56 |
| 33 | | Frank A. Stomp,
Willem P. de Roever:
Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract).
WDAG 1989: 242-253 |
| 32 | | 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) |
| 1988 |
|---|
| 31 | | Cornelis Huizing,
Rob Gerth,
Willem P. de Roever:
Modeling Statecharts Behaviour in a Fully Abstract Way.
CAAP 1988: 271-294 |
| 30 | | 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) |
| 1987 |
|---|
| 29 | | Frank A. Stomp,
Willem P. de Roever:
A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract).
ICDCS 1987: 440-447 |
| 28 | | 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 |
| 27 | | 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 |
| 1986 |
|---|
| 26 | | J. W. de Bakker,
Willem P. de Roever,
Grzegorz Rozenberg:
Current Trends in Concurrency, Overviews and Tutorials
Springer 1986 |
| 25 | | Willem P. de Roever:
Process Constructors and Interpretations - Response.
IFIP Congress 1986: 515-518 |
| 24 | | 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 |
| 23 | | 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) |
| 1985 |
|---|
| 22 | | Job Zwiers,
Willem P. de Roever,
Peter van Emde Boas:
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem.
ICALP 1985: 509-519 |
| 21 | | 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 |
| 20 | | 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) |
| 1984 |
|---|
| 19 | | Rob Gerth,
Willem P. de Roever:
A Proof System for Concurrent ADA Programs.
Sci. Comput. Program. 4(2): 159-204 (1984) |
| 1983 |
|---|
| 18 | | 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 |
| 17 | | Ron Koymans,
Jan Vytopil,
Willem P. de Roever:
Real-Time Programming and Asynchronous Message Passing.
PODC 1983: 187-197 |
| 16 | | Ron Koymans,
Willem P. de Roever:
Examples of a Real-Time Temporal Logic Specification.
The Analysis of Concurrent Systems 1983: 231-251 |
| 1982 |
|---|
| 15 | | Rob Gerth,
Willem P. de Roever,
Marly Roncken:
Procedures and concurrency: A study in proof.
Symposium on Programming 1982: 132-163 |
| 1981 |
|---|
| 14 | | Marly Roncken,
Rob Gerth,
Willem P. de Roever:
A Proof System for Brinch Hansen's Distributed Processes.
GI Jahrestagung 1981: 88-95 |
| 13 | | Willem P. de Roever:
A Formalism for Reasoning about Fair Termination.
Logic of Programs 1981: 113-121 |
| 1980 |
|---|
| 12 | EE | 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) |
| 1979 |
|---|
| 11 | EE | Stanley Lee,
Willem P. de Roever,
Susan L. Gerhart:
The Evolution of List-Copying Algorithms.
POPL 1979: 53-67 |
| 10 | | 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) |
| 1978 |
|---|
| 9 | | Nissim Francez,
C. A. R. Hoare,
Willem P. de Roever:
Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract).
MFCS 1978: 191-200 |
| 1977 |
|---|
| 8 | | Willem P. de Roever:
On Backtracking and Greatest Fixpoints.
ICALP 1977: 412-429 |
| 1976 |
|---|
| 7 | | Willem P. de Roever:
Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.
MFCS 1976: 472-481 |
| 6 | | Willem P. de Roever:
Recursive program schemes: semantics and proof theory.
Mathematisch Centrum, Amsterdam 1976 |
| 1975 |
|---|
| 5 | | Willem P. de Roever:
First-Order Reductions of Call-by-Name to Call-by-Value.
MFCS 1975: 377-398 |
| 1974 |
|---|
| 4 | | Willem P. de Roever:
Recursion and Parameter Mechanisms: An Axiomatic Approach.
ICALP 1974: 34-65 |
| 3 | | Willem P. de Roever:
Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison.
MFCS 1974: 451-463 |
| 1973 |
|---|
| 2 | | Willem P. de Roever:
Operational and Mathematical Semantics for Recursive Polyadic Program Schemata.
MFCS 1973: 293-298 |
| 1972 |
|---|
| 1 | | J. W. de Bakker,
Willem P. de Roever:
A Calculus for Recursive Program Schemes.
ICALP 1972: 167-196 |
