Willem-Paul de Roever

Publication Activity (10 Years)

Years Active: 1992-2016
Publications (10 Years): 2

Top Topics

Data Mining And Knowledge Discovery

Program Committee

Top Venues

Theory and Practice of Formal Methods

Correct System Design

Publications

Willem-Paul de Roever
Warmest Congratulations, Frank! Theory and Practice of Formal Methods (2016)
Willem-Paul de Roever
Warmest Congratulations, Ernst-Rüdiger! Correct System Design (2015)
Willem-Paul de Roever
Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009). Sci. Comput. Program. 75 (4) (2010)
Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler
What Is in a Step: New Perspectives on a Classical Question. Essays in Memory of Amir Pnueli (2010)
Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop (2005)
Willem-Paul de Roever
A Perspective on Program Verification. VSTTE (2005)
Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska
Formal Semantics for Ward & Mellor's Transformation Schemas. Refine (1994)
Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever
Formalising Dijkstra's Development Strategy within Stark's Formalism. Refine (1992)