Willem-Paul de Roever
Finally, you may have a look at me ;-(
I'm heading the chair for Software Technology at the
Institute of Computer Science and Applied Mathematics in the Technical
Faculty of
Christian-Albrechts-University of Kiel.
My CV can be found here: cv-deroever.pdf.
Take a look at the projects
we are involved in. Information about my courses as well as slides can be found
here.
[ESSLLI
2003 Slides]
For a sparse list of publications check out wpr.bib (in BibTeX-format).
A more comprehensive list can be found
in my CV.
Links to recent publications:
- Concurrency Verification: Introduction to Compositional and
Noncompositional Methods
Willem-Paul de Roever, Frank de Boer, Ulrich Hannemann, Jozef Hooman,
Yassine Lakhnech, Mannes Poel, and Job Zwiers
xxiv+776 pages, 5 tables, 84 figures, and 156 excercises;
ISBN 0 52180608 9; £80/US$120. Cambridge University Press, November 29,
2001.
For details, errata as well as other books check here.
- Verification for Java's Reentrant Multithreading Concept
Erika Ábrahám-Mumm,
Frank S. de Boer,
Willem-Paul de Roever, and
Martin Steffen
In the proceedings of FoSSACS 2002,
LNCS 2303, © Springer-Verlag
(gzipped postscript,
pdf)
For a longer version including the proofs, see the technical report
TR-ST-02-1 (gzipped postscript)
- Inductive Proof-Outlines for Monitors in Java
Erika Ábrahám-Mumm,
Frank S. de Boer,
Willem-Paul de Roever, and
Martin Steffen
Proceedings FMOODS '03, LNCS, Springer, 2003. To appear. A longer
version appeared as Technical Report TR-ST-03-1 (PDF),
April 2003.
Miscellaneous
Phone: ++49-431 880-3732
Email: wpr@informatik.uni-kiel.de
Room: 301 in Hermann-Rodewald-Straße 3
Office hours: On request
Maintained by:
Willem-Paul de Roever
Last modified: 2004-01-27