Travelled to:1 × Austria
1 × Denmark
1 × Finland
1 × Germany
1 × Greece
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × France
Collaborated with:∅ F.S.d.Boer U.Hannemann J.Zwiers A.Cau K.Engelhardt J.W.d.Bakker C.Huizing R.Gerth P.v.E.Boas S.Lee S.L.Gerhart E.Ábrahám-Mumm M.Steffen Y.Lakhnech F.A.Stomp
Talks about:concurr (3) composit (2) approach (2) variabl (2) program (2) complet (2) semant (2) recurs (2) share (2) proofsystem (1)
Person: Willem P. de Roever
DBLP: Roever:Willem_P=_de
Contributed to:
2002
1999199719961993
1987
19851979197719741972Wrote 12 papers:
- FoSSaCS-2002-Abraham-MummBRS #concept #java #multi #thread #verification
- Verification for Java’s Reentrant Multithreading Concept (EÁM, FSdB, WPdR, MS), pp. 5–20.
- FM-v2-1999-BoerHR #approach #concurrent #paradigm #semantics
- Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach (FSdB, UH, WPdR), pp. 1245–1265.
- FME-1997-BoerHR #composition #concurrent #proving
- A Compositional Proof System for Shared Variable Concurrency (FSdB, UH, WPdR), pp. 515–532.
- FME-1996-ZwiersHLRS #composition #development #reuse #top-down #using
- Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development (JZ, UH, YL, WPdR, FAS), pp. 595–608.
- FME-1993-CauR #fault tolerance #refinement #using
- Using Relative Refinement for Fault Tolerance (AC, WPdR), pp. 19–41.
- FME-1993-EngelhardtR #problem
- Generalizing Abadi & Lamport’s Method to Solve a Problem Posed by A. Pnueli (KE, WPdR), pp. 294–313.
- POPL-1987-HuizingGR #abstraction #realtime #semantics
- Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language (CH, RG, WPdR), pp. 223–237.
- ICALP-1985-ZwiersRB #composition #concurrent #network
- Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem (JZ, WPdR, PvEB), pp. 509–519.
- POPL-1979-LeeGR #algorithm #evolution
- The Evolution of List-Copying Algorithms (SL, WPdR, SLG), pp. 53–67.
- ICALP-1977-Roever #backtracking #fixpoint #on the
- On Backtracking and Greatest Fixpoints (WPdR), pp. 412–429.
- ICALP-1974-Roever #approach #axiom #parametricity #recursion
- Recursion and Parameter Mechanisms: An Axiomatic Approach (WPdR), pp. 34–65.
- ICALP-1972-BakkerR #calculus #recursion
- A Calculus for Recursive Program Schemes (JWdB, WPdR), pp. 167–196.