default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWillem P. de Roever
Willem-Paul de Roever
Person information
- affiliation: University of Kiel, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2016
[c60]Willem-Paul de Roever:
Warmest Congratulations, Frank! Theory and Practice of Formal Methods 2016: 9-11- 2015
- [c59]Willem-Paul de Roever:
Warmest Congratulations, Ernst-Rüdiger! Correct System Design 2015: 10-11 - 2010
- [j17]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) - [c58]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
2000 – 2009
- 2008
- [j16]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): 391-463 (2008) - [e16]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. Lecture Notes in Computer Science 5382, Springer 2008, ISBN 978-3-540-92187-5 [contents] - 2007
- [e15]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. Lecture Notes in Computer Science 4709, Springer 2007, ISBN 978-3-540-74791-8 [contents] - 2006
- [e14]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. Lecture Notes in Computer Science 4111, Springer 2006, ISBN 3-540-36749-7 [contents] - 2005
- [j15]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) - [j14]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) - [c57]Maty Sylla, Frank A. Stomp, Willem P. de Roever:
Verifying Parameterized Refinement. ICECCS 2005: 313-321 - [c56]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 - [c55]Willem-Paul de Roever:
A Perspective on Program Verification. VSTTE 2005: 470-477 - [c54]Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer:
Compositional Operational Semantics of a UML-Kernel-Model Language. SOS@ICALP 2005: 79-96 - [c53]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Exceptions in Multithreaded Java. FSEN 2005: 281-297 - [e13]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. Lecture Notes in Computer Science 3657, Springer 2005, ISBN 3-540-29131-8 [contents] - [i1]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:
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - 2004
- [e12]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. Lecture Notes in Computer Science 3188, Springer 2004, ISBN 3-540-22942-6 [contents] - 2003
- [c52]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 - [c51]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
Inductive Proof Outlines for Monitors in Java. FMOODS 2003: 155-169 - [e11]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. Lecture Notes in Computer Science 2852, Springer 2003, ISBN 3-540-20303-6 [contents] - 2002
- [c50]Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Tool-Supported Proof System for Multithreaded Java. FMCO 2002: 1-32 - [c49]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
- [b3]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 - 2000
- [c48]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
1990 – 1999
- 1999
- [c47]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 - [c46]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 - 1998
- [b2]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 - [e10]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. Lecture Notes in Computer Science 1536, Springer 1998, ISBN 3-540-65493-3 [contents] - [e9]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. IFIP Conference Proceedings 125, Chapman & Hall 1998, ISBN 0-412-83760-9 [contents] - 1997
- [j13]Qiwen Xu, Willem P. de Roever, Jifeng He:
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Aspects Comput. 9(2): 149-174 (1997) - [c45]Willem P. de Roever:
The Need for Compositional Proof Systems: A Survey. COMPOS 1997: 1-22 - [c44]Frank S. de Boer, Willem P. de Roever:
Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS 1997: 632-646 - [c43]Antonio Cau, Willem P. de Roever:
A Dense-Time Temporal Logic with Nice Compositionality Properties. EUROCAST 1997: 123-145 - [c42]Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever:
A Compositional Proof System for Shared Variable Concurrency. FME 1997: 515-532 - [c41]Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever:
Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS 1997: 267-283 - 1996
- [c40]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 - [c39]Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst:
Compositionality in Real-Time Shared Variable Concurrency. FTRTFT 1996: 420-439 - [c38]Kai Engelhardt, Willem P. de Roever:
Simulation of Specification Statements in Hoare Logic. MFCS 1996: 324-335 - 1995
- [j12]Kai Engelhardt, Willem P. de Roever:
Towards a Practitioners' Approach to Abadi and Lamport's Method. Formal Aspects Comput. 7(5): 550-575 (1995) - [c37]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 - 1994
- [j11]Frank A. Stomp, Willem P. de Roever:
A Principle for Sequential Reasoning about Distributed Algorithms. Formal Aspects Comput. 6(6): 716-737 (1994) - [c36]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 - [c35]Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska:
Formal Semantics for Ward & Mellor's Transformation Schemas. Refine 1994: 14-41 - [e8]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. Lecture Notes in Computer Science 863, Springer 1994, ISBN 3-540-58468-4 [contents] - [e7]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. Lecture Notes in Computer Science 803, Springer 1994, ISBN 3-540-58043-3 [contents] - 1993
- [c34]Antonio Cau, Willem P. de Roever:
Using Relative Refinement for Fault Tolerance. FME 1993: 19-41 - [c33]Kai Engelhardt, Willem P. de Roever:
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. FME 1993: 294-313 - [c32]Antonio Cau, Willem P. de Roever:
Specifying Fault Tolerance within Stark's Formalism. FTCS 1993: 392-401 - [e6]J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
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 [contents] - 1992
- [j10]Jozef Hooman, S. Ramesh, Willem P. de Roever:
A Compositional Axiomatization of Statecharts. Theor. Comput. Sci. 101(2): 289-335 (1992) - [c31]Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever:
Formalising Dijkstra's Development Strategy within Stark's Formalism. Refine 1992: 4-42 - [c30]Job Zwiers, J. Coenen, Willem P. de Roever:
A Note on Compositional Refinement. Refine 1992: 342-366 - [e5]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. Lecture Notes in Computer Science 600, Springer 1992, ISBN 3-540-55564-1 [contents] - 1991
- [j9]Cornelis Huizing, Willem P. de Roever:
Introduction to Design Choices in the Semantics of Statecharts. Inf. Process. Lett. 37(4): 205-213 (1991) - [e4]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. Lecture Notes in Computer Science 489, Springer 1991, ISBN 3-540-53931-X [contents] - 1990
- [e3]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. Lecture Notes in Computer Science 430, Springer 1990, ISBN 3-540-52559-9 [contents]
1980 – 1989
- 1989
- [j8]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) - [c29]Job Zwiers, Willem P. de Roever:
Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. PODC 1989: 265-279 - [c28]Willem P. de Roever, Jozef Hooman:
Design and verification in real-time distributed computing: an introduction to compositional methods. PSTV 1989: 37-56 - [c27]Frank A. Stomp, Willem P. de Roever:
Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract). WDAG 1989: 242-253 - [e2]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. Lecture Notes in Computer Science 354, Springer 1989, ISBN 3-540-51080-X [contents] - 1988
- [j7]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) - [c26]Cornelis Huizing, Rob Gerth, Willem P. de Roever:
Modeling Statecharts Behaviour in a Fully Abstract Way. CAAP 1988: 271-294 - 1987
- [c25]Frank A. Stomp, Willem P. de Roever:
A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). ICDCS 1987: 440-447 - [c24]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 - [c23]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
- [j6]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) - [c22]Willem P. de Roever:
Process Constructors and Interpretations - Response. IFIP Congress 1986: 515-518 - [p1]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 - [e1]J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg:
Current Trends in Concurrency, Overviews and Tutorials. Lecture Notes in Computer Science 224, Springer 1986, ISBN 3-540-16488-X [contents] - 1985
- [j5]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): 83-102 (1985) - [c21]Job Zwiers, Willem P. de Roever, Peter van Emde Boas:
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP 1985: 509-519 - [c20]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 - 1984
- [j4]Rob Gerth, Willem P. de Roever:
A Proof System for Concurrent ADA Programs. Sci. Comput. Program. 4(2): 159-204 (1984) - [c19]Willem P. de Roever:
The Cooperation Test : a syntax-directed verification method. Logics and Models of Concurrent Systems 1984: 213-257 - 1983
- [c18]Ron Koymans, Willem P. de Roever:
Examples of a Real-Time Temporal Logic Specification. The Analysis of Concurrent Systems 1983: 231-251 - [c17]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 - [c16]Ron Koymans, Jan Vytopil, Willem P. de Roever:
Real-Time Programming and Asynchronous Message Passing. PODC 1983: 187-197 - 1982
- [c15]Amir Pnueli, Willem P. de Roever:
Rendezvous with ADA: a proof theoretical view. AdaTEC Conference on Ada 1982: 129-137 - [c14]Ruurd Kuiper, Willem P. de Roever:
Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts 1982: 159-170 - [c13]Rob Gerth, Willem P. de Roever, Marly Roncken:
Procedures and concurrency: A study in proof. Symposium on Programming 1982: 132-163 - 1981
- [c12]Marly Roncken, Rob Gerth, Willem P. de Roever:
A Proof System for Brinch Hansen's Distributed Processes. GI Jahrestagung 1981: 88-95 - [c11]Willem P. de Roever:
A Formalism for Reasoning about Fair Termination. Logic of Programs 1981: 113-121 - 1980
- [j3]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)
1970 – 1979
- 1979
- [j2]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) - [c10]Stanley Lee, Willem P. de Roever, Susan L. Gerhart:
The Evolution of List-Copying Algorithms. POPL 1979: 53-67 - 1978
- [c9]Nissim Francez, C. A. R. Hoare, Willem P. de Roever:
Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). MFCS 1978: 191-200 - 1977
- [c8]Willem P. de Roever:
On Backtracking and Greatest Fixpoints. ICALP 1977: 412-429 - [c7]Willem P. de Roever:
On Backtracking and Greatest Fixpoints. Formal Description of Programming Concepts 1977: 621-640 - 1976
- [b1]Willem P. de Roever:
Recursive program schemes: semantics and proof theory. Mathematisch Centrum, Amsterdam, Mathematical Centre Tracts 70, 1976 - [c6]Willem P. de Roever:
Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. MFCS 1976: 472-481 - 1975
- [c5]Willem P. de Roever:
First-Order Reductions of Call-by-Name to Call-by-Value. MFCS 1975: 377-398 - 1974
- [c4]Willem P. de Roever:
Recursion and Parameter Mechanisms: An Axiomatic Approach. ICALP 1974: 34-65 - [c3]Willem P. de Roever:
Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. MFCS 1974: 451-463 - 1973
- [j1]Willem P. de Roever:
Operational and mathematical semantics for recursive polyadic program schemata. ACM SIGPLAN Notices 8(6): 31-34 (1973) - [c2]Willem P. de Roever:
Operational and Mathematical Semantics for Recursive Polyadic Program Schemata. MFCS 1973: 293-298 - 1972
- [c1]J. W. de Bakker, Willem P. de Roever:
A Calculus for Recursive Program Schemes. ICALP 1972: 167-196
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
