author-photo

Willem-Paul de Roever

University of Kiel

67

Papers

1095

Citations

Citation Trend

Filter By

Papers (48) Sort By

Journal Conference Others

Synchronous Languages (Dagstuhl Seminar 9650)

2021
Show All
- Source
- Cite
- Save
Citations (0)
Self-Stabilization (Dagstuhl Seminar 00431)

2021
Show All
- Source
- Cite
- Save
Citations (0)
Warmest Congratulations, Frank!

2016 FM | Formal Methods
- Willem-Paul de Roever
Show All
- Source
- Cite
- Save
Citations (0)
Concurrency Verification: Introduction to Compositional and Non-compositional Methods

2012
Show All
- Source
- Cite
- Save
Citations (210)
What is in a step: new perspectives on a classical question

2010 Lecture Notes in Computer Science
Show All
- Source
- Cite
- Save
Citations (3)
Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures

2007 Algorithmica
Show All
- Source
- Cite
- Save
Citations (0)
Proceedings of the Third International Symposium on Formal Methods for Components and Objects

2005 Theoretical Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
An assertion-based proof system for multithreaded Java

2005 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (34)
A compositional trace logic for behavioural interface specifications

2005 Nordic Journal of Computing
Show All
- Source
- Cite
- Save
Citations (1)
29 new unclarities in the semantics of UML 2.0 state machines

2005 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (60)