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
https://portal.mardi4nfdi.de/entity/Q2852096	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
https://portal.mardi4nfdi.de/entity/Q2768503	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Willem Paul de Roever