Willem-Paul de Roever

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Warmest congratulations, Frank!	2021-05-20	Paper
Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems Lecture Notes in Computer Science	2017-01-19	Paper
Warmest Congratulations, Ernst-Rüdiger! Lecture Notes in Computer Science	2015-11-04	Paper
Compositional operational semantics of a UML-kernel-model language	2013-10-07	Paper
scientific article; zbMATH DE number 5898709 (Why is no real title available?)	2011-05-20	Paper
What is in a step: new perspectives on a classical question Time for Verification	2010-09-07	Paper
Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009) Science of Computer Programming	2010-04-29	Paper
A compositional operational semantics for Java\(_{\text{MT}}\) Lecture Notes in Computer Science	2010-03-23	Paper
A tool-supported proof system for multithreaded Java. Lecture Notes in Computer Science	2010-02-09	Paper
Inductive proof outlines for monitors in Java. Lecture Notes in Computer Science	2010-01-12	Paper
Data Refinement	2009-01-06	Paper
A deductive proof system for multithreaded Java with exceptions	2008-04-14	Paper
A compositional trace logic for behavioural interface specifications	2006-02-08	Paper
An assertion-based proof system for multithreaded Java Theoretical Computer Science	2005-04-06	Paper
scientific article; zbMATH DE number 2087419 (Why is no real title available?)	2004-08-11	Paper
An introduction to compositional methods for concurrency and their application to real-time. Sādhanā	2002-02-18	Paper
Concurrency verification. Introduction to compositional and noncompositional methods Cambridge Tracts in Theoretical Computer Science	2002-02-03	Paper
scientific article; zbMATH DE number 1487492 (Why is no real title available?)	2000-10-23	Paper
scientific article; zbMATH DE number 1418350 (Why is no real title available?)	2000-03-19	Paper
Data Refinement	1999-11-24	Paper
The Rely-Guarantee method for verifying shared variable concurrent programs Formal Aspects of Computing	1997-11-10	Paper
scientific article; zbMATH DE number 3963180 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3903940 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3890715 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3413799 (Why is no real title available?)	1973-01-01	Paper
scientific article; zbMATH DE number 3378527 (Why is no real title available?)	1972-01-01	Paper

Research outcomes over time

This page was built for person: Willem-Paul de Roever