Willem P. de Roever

90 papers A* 8A 1B 9C 1Misc 1Journal 16Unranked 34

Year	Rank	Type	Title / Venue / Authors
2008	J	`jnl`	A Deductive Proof System for Multithreaded Java with Exceptions. Fundam. Informaticae Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2008	—	`ed.`	Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2007	—	`ed.`	Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2006	—	`ed.`	Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2005	C	`conf`	29 New Unclarities in the Semantics of UML 2.0 State Machines. ICFEM Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever
2005	J	`jnl`	A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. Marcel Kyas, Frank S. de Boer, Willem P. de Roever
2005	J	`jnl`	An assertion-based proof system for multithreaded Java. Theor. Comput. Sci. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2005	—	`conf`	Compositional Operational Semantics of a UML-Kernel-Model Language. SOS@ICALP Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer
2005	—	`ed.`	Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2005	—	`conf`	Inductive Proof Outlines for Exceptions in Multithreaded Java. FSEN Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2005	B	`conf`	Verifying Parameterized Refinement. ICECCS Maty Sylla, Frank A. Stomp, Willem P. de Roever
2004	—	`ed.`	Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2003	—	`conf`	A Compositional Operational Semantics for Java Verification: Theory and Practice Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2003	—	`ed.`	Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures FMCO Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever
2003	—	`conf`	Inductive Proof Outlines for Monitors in Java. FMOODS Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2002	—	`conf`	A Tool-Supported Proof System for Multithreaded Java. FMCO Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2002	B	`conf`	Verification for Java's Reentrant Multithreading Concept. FoSSaCS Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
2001	—	`book`	Concurrency Verification: Introduction to Compositional and Noncompositional Methods Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
2000	—	`conf`	Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
1999	—	`conf`	Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. World Congress on Formal Methods Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1999	B	`conf`	The Semantic Foundations of a Compositional Proof Method for Synchronously Communicating Processes. MFCS Frank S. de Boer, Willem P. de Roever, Ulrich Hannemann
1998	—	`ed.`	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures COMPOS Willem P. de Roever, Hans Langmaack, Amir Pnueli
1998	—	`book`	Data Refinement: Model-oriented Proof Theories and their Comparison Willem P. de Roever, Kai Engelhardt
1998	—	`ed.`	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 PROCOMET David Gries, Willem P. de Roever
1997	—	`conf`	A Compositional Proof System for Shared Variable Concurrency. FME Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1997	—	`conf`	A Dense-Time Temporal Logic with Nice Compositionality Properties. EUROCAST Antonio Cau, Willem P. de Roever
1997	—	`conf`	Compositional Proof Methods for Concurrency: A Semantic Approach. COMPOS Frank S. de Boer, Willem P. de Roever
1997	—	`conf`	Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. FSTTCS Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
1997	—	`conf`	The Need for Compositional Proof Systems: A Survey. COMPOS Willem P. de Roever
1997	J	`jnl`	The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Formal Aspects Comput. Qiwen Xu, Willem P. de Roever, Jifeng He
1996	—	`conf`	Compositionality in Real-Time Shared Variable Concurrency. FTRTFT Frank S. de Boer, H. Tej, Willem P. de Roever, M. van Hulst
1996	—	`conf`	Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. FME Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp
1996	B	`conf`	Simulation of Specification Statements in Hoare Logic. MFCS Kai Engelhardt, Willem P. de Roever
1995	—	`conf`	Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. FSTTCS Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever
1995	J	`jnl`	Towards a Practitioners' Approach to Abadi and Lamport's Method. Formal Aspects Comput. Kai Engelhardt, Willem P. de Roever
1994	—	`ed.`	A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings REX Workshop J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1994	J	`jnl`	A Principle for Sequential Reasoning about Distributed Algorithms. Formal Aspects Comput. Frank A. Stomp, Willem P. de Roever
1994	Misc	`conf`	Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems. EDCC Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska
1994	—	`ed.`	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 FTRTFT Hans Langmaack, Willem P. de Roever, Jan Vytopil
1993	—	`conf`	Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. FME Kai Engelhardt, Willem P. de Roever
1993	—	`ed.`	Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings REX Workshop J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1993	—	`conf`	Specifying Fault Tolerance within Stark's Formalism. FTCS Antonio Cau, Willem P. de Roever
1993	—	`conf`	Using Relative Refinement for Fault Tolerance. FME Antonio Cau, Willem P. de Roever
1992	J	`jnl`	A Compositional Axiomatization of Statecharts. Theor. Comput. Sci. Jozef Hooman, S. Ramesh, Willem P. de Roever
1992	—	`conf`	A Note on Compositional Refinement. Refine Job Zwiers, J. Coenen, Willem P. de Roever
1992	—	`ed.`	Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings REX Workshop J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg
1991	—	`ed.`	Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings REX Workshop J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1991	J	`jnl`	Introduction to Design Choices in the Semantics of Statecharts. Inf. Process. Lett. Cornelis Huizing, Willem P. de Roever
1990	—	`ed.`	Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings REX Workshop J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1989	—	`conf`	Design and verification in real-time distributed computing: an introduction to compositional methods. PSTV Willem P. de Roever, Jozef Hooman
1989	—	`conf`	Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract). WDAG Frank A. Stomp, Willem P. de Roever
1989	—	`ed.`	Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings REX Workshop J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1989	A*	`conf`	Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. PODC Job Zwiers, Willem P. de Roever
1989	J	`jnl`	The upsilon-Calculus as an Assertion-Language for Fairness Arguments Inf. Comput. Frank A. Stomp, Willem P. de Roever, Rob Gerth
1988	J	`jnl`	Compositional Semantics for Real-Time Distributed Computing Inf. Comput. Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
1988	—	`conf`	Modeling Statecharts Behaviour in a Fully Abstract Way. CAAP Cornelis Huizing, Rob Gerth, Willem P. de Roever
1987	A	`conf`	A Correctness Proof of a Distributed Minimum-Weight Spanning Tree Algorithm (extended abstract). ICDCS Frank A. Stomp, Willem P. de Roever
1987	—	`conf`	Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. Temporal Logic in Specification Job Zwiers, Willem P. de Roever
1987	A*	`conf`	Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. POPL Cornelis Huizing, Rob Gerth, Willem P. de Roever
1986	—	`book`	Current Trends in Concurrency, Overviews and Tutorials Current Trends in Concurrency J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
1986	—	`conf`	Process Constructors and Interpretations - Response. IFIP Congress Willem P. de Roever
1986	J	`jnl`	Program Derivation Through Transformations: The Evolution of List-Copying Algorithms. Sci. Comput. Program. N. W. P. van Diepen, Willem P. de Roever
1986	—	`ch.`	The Quest Goes on: A Survey of Proofsystems for Partial Correctness of CSP. Current Trends in Concurrency Jozef Hooman, Willem P. de Roever
1985	J	`jnl`	A Proof Rule for Fair Termination of Guarded Commands Inf. Control. Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever
1985	—	`conf`	Compositional Semantics for Real-time Distributed Computing. Logic of Programs Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
1985	A*	`conf`	Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem. ICALP Job Zwiers, Willem P. de Roever, Peter van Emde Boas
1984	J	`jnl`	A Proof System for Concurrent ADA Programs. Sci. Comput. Program. Rob Gerth, Willem P. de Roever
1984	—	`conf`	The Cooperation Test : a syntax-directed verification method. Logics and Models of Concurrent Systems Willem P. de Roever
1983	—	`conf`	A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract). Logic of Programs Job Zwiers, Arie de Bruin, Willem P. de Roever
1983	—	`conf`	Examples of a Real-Time Temporal Logic Specification. The Analysis of Concurrent Systems Ron Koymans, Willem P. de Roever
1983	A*	`conf`	Real-Time Programming and Asynchronous Message Passing. PODC Ron Koymans, Jan Vytopil, Willem P. de Roever
1982	—	`conf`	Fairness Assumptions for CSP in a Temporal Logic Framework. Formal Description of Programming Concepts Ruurd Kuiper, Willem P. de Roever
1982	—	`conf`	Procedures and concurrency: A study in proof. Symposium on Programming Rob Gerth, Willem P. de Roever, Marly Roncken
1982	—	`conf`	Rendezvous with ADA: a proof theoretical view. AdaTEC Conference on Ada Amir Pnueli, Willem P. de Roever
1981	—	`conf`	A Formalism for Reasoning about Fair Termination. Logic of Programs Willem P. de Roever
1981	—	`conf`	A Proof System for Brinch Hansen's Distributed Processes. GI Jahrestagung Marly Roncken, Rob Gerth, Willem P. de Roever
1980	J	`jnl`	A Proof System for Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. Krzysztof R. Apt, Nissim Francez, Willem P. de Roever
1979	J	`jnl`	Semantics of Nondeterminism, Concurrency, and Communication. J. Comput. Syst. Sci. Nissim Francez, C. A. R. Hoare, Daniel J. Lehmann, Willem P. de Roever
1979	A*	`conf`	The Evolution of List-Copying Algorithms. POPL Stanley Lee, Willem P. de Roever, Susan L. Gerhart
1978	B	`conf`	Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). MFCS Nissim Francez, C. A. R. Hoare, Willem P. de Roever
1977	A*	`conf`	On Backtracking and Greatest Fixpoints. ICALP Willem P. de Roever
1977	—	`conf`	On Backtracking and Greatest Fixpoints. Formal Description of Programming Concepts Willem P. de Roever
1976	B	`conf`	Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination. MFCS Willem P. de Roever
1976	—	`—`	Recursive program schemes: semantics and proof theory. Willem P. de Roever
1975	B	`conf`	First-Order Reductions of Call-by-Name to Call-by-Value. MFCS Willem P. de Roever
1974	B	`conf`	Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison. MFCS Willem P. de Roever
1974	A*	`conf`	Recursion and Parameter Mechanisms: An Axiomatic Approach. ICALP Willem P. de Roever
1973	B	`conf`	Operational and Mathematical Semantics for Recursive Polyadic Program Schemata. MFCS Willem P. de Roever
1973	J	`jnl`	Operational and mathematical semantics for recursive polyadic program schemata. ACM SIGPLAN Notices Willem P. de Roever
1972	A*	`conf`	A Calculus for Recursive Program Schemes. ICALP J. W. de Bakker, Willem P. de Roever