Willem-Paul de Roever

Available identifiers

zbMath Open de-roever.willem-paulWikidataQ102243214 ScholiaQ102243214MaRDI QIDQ967529

List of research outcomes

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	2017-01-19	Paper
Warmest Congratulations, Ernst-Rüdiger!	2015-11-04	Paper
Compositional operational semantics of a UML-kernel-model language	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q3002509	2011-05-20	Paper
What Is in a Step: New Perspectives on a Classical Question	2010-09-07	Paper
Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009)	2010-04-29	Paper
Verification: Theory and Practice	2010-03-23	Paper
Formal Methods for Components and Objects	2010-02-09	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
Data Refinement	2009-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5457270	2008-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q3370736	2006-02-08	Paper
An assertion-based proof system for multithreaded Java	2005-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4738214	2004-08-11	Paper
An introduction to compositional methods for concurrency and their application to real-time.	2002-02-18	Paper
Concurrency verification. Introduction to compositional and noncompositional methods	2002-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4493900	2000-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4941913	2000-03-19	Paper
Data Refinement	1999-11-24	Paper
The Rely-Guarantee method for verifying shared variable concurrent programs	1997-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3731019	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3681905	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3347278	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5678412	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5649409	1972-01-01	Paper

Research outcomes over time

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