Willem P. de Roever - researchr alias

researchr

You are not signed in
Sign in
Sign up

2008

Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 5382 of Lecture Notes in Computer Science, Springer, 2008.

A Deductive Proof System for Multithreaded Java with ExceptionsErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. FUIN, 82(4):391-463, 2008. [doi]

2007

Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 4709 of Lecture Notes in Computer Science, Springer, 2007.

2006

Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 4111 of Lecture Notes in Computer Science, Springer, 2006.

Compositional Operational Semantics of a UML-Kernel-Model LanguageHarald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer. ENTCS, 156(1):79-96, 2006. [doi]

Inductive Proof Outlines for Exceptions in Multithreaded JavaErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. ENTCS, 159:281-297, 2006. [doi]

2005

Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 3657 of Lecture Notes in Computer Science, Springer, 2005.

29 New Unclarities in the Semantics of UML 2.0 State MachinesHarald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever. icfem 2005: 52-65 [doi]

A Compositional Trace Logic for Behavioural Interface SpecificationsMarcel Kyas, Frank S. de Boer, Willem P. de Roever. njc, 12(2):116-132, 2005.

Verifying Parameterized RefinementMaty Sylla, Frank A. Stomp, Willem P. de Roever. iceccs 2005: 313-321 [doi]

An assertion-based proof system for multithreaded JavaErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. TCS, 331(2-3):251-290, 2005. [doi]

2004

Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 3188 of Lecture Notes in Computer Science, Springer, 2004.

2003

Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 2852 of Lecture Notes in Computer Science, Springer, 2003.

Inductive Proof Outlines for Monitors in JavaErika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. fmoods 2003: 155-169 [doi]

A Compositional Operational Semantics for Java::MT::Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen. BIRTHDAY 2003: 290-303 [doi]

2002

Verification for Java s Reentrant Multithreading ConceptErika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen. fossacs 2002: 5-20 [doi]

A Tool-Supported Proof System for Multithreaded JavaErika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen. FMCO 2003: 1-32 [doi]

2001

Concurrency Verification: Introduction to Compositional and Noncompositional MethodsWillem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers. Volume 54 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.

2000

Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programsWillem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers. fbt 2000: 3-5

1999

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

Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic ApproachFrank S. de Boer, Ulrich Hannemann, Willem P. de Roever. fm 1999: 1245-1265 [doi]

1998

Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised LecturesWillem P. de Roever, Hans Langmaack, Amir Pnueli, editors, Volume 1536 of Lecture Notes in Computer Science, Springer, 1998.

Data Refinement: Model-oriented Proof Theories and their ComparisonWillem P. de Roever, Kai Engelhardt. Volume 46 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1998.

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, USADavid Gries, Willem P. de Roever, editors, Volume 125 of IFIP Conference Proceedings, Chapman and Hall, 1998.

1997

1996

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

Simulation of Specification Statements in Hoare LogicKai Engelhardt, Willem P. de Roever. mfcs 1996: 324-335

Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program DevelopmentJob Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp. fm 1996: 595-608

1995

Towards a Practitioners Approach to Abadi and Lamport s MethodKai Engelhardt, Willem P. de Roever. fac, 7(5):550-575, 1995.

Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed SystemsJob Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever. fsttcs 1995: 80-95

1994

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 803 of Lecture Notes in Computer Science, Springer, 1994.

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, ProceedingsHans Langmaack, Willem P. de Roever, Jan Vytopil, editors, Volume 863 of Lecture Notes in Computer Science, Springer, 1994.

Formal Semantics for Ward & Mellor s Transformation Schemas and the Specification of Faul Tolerant SystemsCarsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska. edcc 1994: 59-76

A Principle for Sequential Reasoning about Distributed AlgorithmsFrank A. Stomp, Willem P. de Roever. fac, 6(6):716-737, 1994.

1993

Specifying Fault Tolerance within Stark s FormalismAntonio Cau, Willem P. de Roever. ftcs 1993: 392-401

Using Relative Refinement for Fault ToleranceAntonio Cau, Willem P. de Roever. fm 1993: 19-41

Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 666 of Lecture Notes in Computer Science, Springer, 1993.

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

1992

Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, ProceedingsJ. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 600 of Lecture Notes in Computer Science, Springer, 1992.

A Compositional Axiomatization of StatechartsJozef Hooman, S. Ramesh, Willem P. de Roever. TCS, 101(2):289-335, 1992.

1991

Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 489 of Lecture Notes in Computer Science, Springer, 1991.

Introduction to Design Choices in the Semantics of StatechartsCornelis Huizing, Willem P. de Roever. ipl, 37(4):205-213, 1991.

1990

Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 430 of Lecture Notes in Computer Science, Springer, 1990.

1989

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 354 of Lecture Notes in Computer Science, Springer, 1989.

Design and verification in real-time distributed computing: an introduction to compositional methodsWillem P. de Roever, Jozef Hooman. pstv 1990: 37-56

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

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

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

1988

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

Compositional Semantics for Real-Time Distributed ComputingRon Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar. iandc, 79(3):210-256, December 1988.

1987

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

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

Compositionality and Modularity in Process Specification and Design: A Trace-State Based ApproachJob Zwiers, Willem P. de Roever. tls 1989: 351-374

1986

Current Trends in Concurrency, Overviews and TutorialsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 224 of Lecture Notes in Computer Science, Springer, 1986.

Process Constructors and Interpretations - ResponseWillem P. de Roever. ifip 1986: 515-518

The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSPJozef Hooman, Willem P. de Roever. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Current Trends in Concurrency, Overviews and Tutorials. Volume 224 of Lecture Notes in Computer Science, pages 343-395, Springer, 1986.

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

1985

A Proof Rule for Fair Termination of Guarded CommandsOrna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever. iandc, 66(1/2):83-102, July/August 1985.

Compositional Semantics for Real-time Distributed ComputingRon Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar. lop 1985: 167-189

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

1984

A Proof System for Concurrent ADA ProgramsRob Gerth, Willem P. de Roever. SCP, 4(2):159-204, 1984.

1983

Examples of a Real-Time Temporal Logic SpecificationRon Koymans, Willem P. de Roever. acs 1985: 231-251

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

A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)Job Zwiers, Arie de Bruin, Willem P. de Roever. lop 1984: 513-527

1982

Procedures and concurrency: A study in proofRob Gerth, Willem P. de Roever, Marly Roncken. programm 1982: 132-163

1981

A Formalism for Reasoning about Fair TerminationWillem P. de Roever. lop 1982: 113-121

A Proof System for Brinch Hansen s Distributed ProcessesMarly Roncken, Rob Gerth, Willem P. de Roever. gi 1981: 88-95

1980

A Proof System for Communicating Sequential ProcessesKrzysztof R. Apt, Nissim Francez, Willem P. de Roever. TOPLAS, 2(3):359-385, 1980. [doi]

1979

Semantics of Nondeterminism, Concurrency, and CommunicationNissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever. jcss, 19(3):290-308, 1979.

The Evolution of List-Copying AlgorithmsStanley Lee, Willem P. de Roever, Susan L. Gerhart. POPL 1979: 53-67 [doi]

1978

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

1977

On Backtracking and Greatest FixpointsWillem P. de Roever. icalp 1977: 412-429

1976

Dijkstra s Predicate Transformer, Non-Determinism, Recursion and TerminationWillem P. de Roever. mfcs 1976: 472-481

Recursive program schemes: semantics and proof theoryWillem P. de Roever. PhD thesis, Mathematisch Centrum, Amsterdam, 1976.

1975

First-Order Reductions of Call-by-Name to Call-by-ValueWillem P. de Roever. mfcs 1975: 377-398

1974

Call-by-Value versus Call-by-Name: A proof-Theoretic ComparisonWillem P. de Roever. mfcs 1975: 451-463

Recursion and Parameter Mechanisms: An Axiomatic ApproachWillem P. de Roever. icalp 1974: 34-65

1973

Operational and Mathematical Semantics for Recursive Polyadic Program SchemataWillem P. de Roever. mfcs 1973: 293-298

1972

A Calculus for Recursive Program SchemesJ. W. de Bakker, Willem P. de Roever. icalp 1972: 167-196