Willem-Paul de Roever

From MaRDI portal
Person:967529

Available identifiers

zbMath Open de-roever.willem-paulWikidataQ102243214 ScholiaQ102243214MaRDI QIDQ967529

List of research outcomes





PublicationDate of PublicationType
Warmest congratulations, Frank!2021-05-20Paper
Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems2017-01-19Paper
Warmest Congratulations, Ernst-Rüdiger!2015-11-04Paper
Compositional operational semantics of a UML-kernel-model language2013-10-07Paper
https://portal.mardi4nfdi.de/entity/Q30025092011-05-20Paper
What Is in a Step: New Perspectives on a Classical Question2010-09-07Paper
Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009)2010-04-29Paper
Verification: Theory and Practice2010-03-23Paper
Formal Methods for Components and Objects2010-02-09Paper
Formal Methods for Open Object-Based Distributed Systems2010-01-12Paper
Data Refinement2009-01-06Paper
https://portal.mardi4nfdi.de/entity/Q54572702008-04-14Paper
https://portal.mardi4nfdi.de/entity/Q33707362006-02-08Paper
An assertion-based proof system for multithreaded Java2005-04-06Paper
https://portal.mardi4nfdi.de/entity/Q47382142004-08-11Paper
An introduction to compositional methods for concurrency and their application to real-time.2002-02-18Paper
Concurrency verification. Introduction to compositional and noncompositional methods2002-02-03Paper
https://portal.mardi4nfdi.de/entity/Q44939002000-10-23Paper
https://portal.mardi4nfdi.de/entity/Q49419132000-03-19Paper
Data Refinement1999-11-24Paper
The Rely-Guarantee method for verifying shared variable concurrent programs1997-11-10Paper
https://portal.mardi4nfdi.de/entity/Q37310191986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36819051985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33472781984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56784121973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56494091972-01-01Paper

Research outcomes over time

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