home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by prof. dr. W-P de Roever

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

prof. dr. W-P de Roever

• contact information
• my technical reports
• former member of group algorithmic systems

some publications

Boer, F.S. de, Roever, W-P de & Hannemann, U. (1999). The semantic foundation of a compositional proof method for synchronously communicating processes. In Proceedings Mathematical Foundations of Computer Science (MFCS'99) (pp. 343-353). Berlin: Springer - Verlag.

Boer, F.S. de, Roever, W-P de, Tej, H. & Hulst, M. van (1996). Compositionality in real-time shared variable. In B. Jonsson & J. Parrow (Eds.), Proceedings of the School and Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems (pp. 420-440).

Diepen, A van & Roever, W-P de (1985). Program derivation through transformations; the evolution of list-copying algorithms. (RUU-CS85-03 ). Utrecht.

Roever, W-P de (1985). The quest for compositionality - a survey of assertion - based proof systems for concurrent programs. Part 1 ; concurrency based on shared variables. (RUU-CS85-02 ). Utrecht.

Koymans, C.P.J. & Roever, W-P de (1983). A case study in proofs about realtime programming and asynchronous message passing (A formal system for a telecommunication language). (RUU-CS83-05 ). Utrecht.

Gerth, R.T. & Roever, W-P de (1983). A proof system for concurrent ADA programs. (RUU-CS83-02 ). Utrecht.

Zwiers, J. & Roever, W-P de (1983). A proof system for partial correctness of dynamic networks of processes. (RUU-CS83-15 ). Utrecht.

Koymans, C.P.J. & Roever, W-P de (1983). Real time programming and asynchronous message passing. (RUU-CS83-09 ). Utrecht.

Gerth, R.T. & Roever, W-P de (1982). A study in distributed systems and Dutch patriotism. (RUU-CS82-10 ). Utrecht.

Pnueli, A. & Roever, W-P de (1982). Rendezvous with ADA - a Proof Theoretical View. (RUU-CS82-12 ). Utrecht.

Roever, W-P de (1981). A formalism for reasoning about fair termination. (RUU-CS81-11 ). Utrecht.

Grumberg, O. & Roever, W-P de (1981). A proof rule for fair termination of quarded commands. (RUU-CS81-02 ). Utrecht.

Roncken, M. & Roever, W-P de (1981). A proof system for Brinch Hansen's distributed processes. (RUU-CS81-05 ). Utrecht.

Roncken, M., Gerth, R.T. & Roever, W-P de (1981). A proof system for Brinch Hansen's distributed processes (extended abstract). (RUU-CS81-12 ). Utrecht.

Apt, K.R. & Roever, W-P de (1980). A proof system for communicating sequential processes -final edition. (RUU-CS80-04 ). Utrecht.

Apt, K.R. & Roever, W-P de (1979). A proof system for communicating sequential processes. (RUU-CS79-08 ). Utrecht.

Roever, W-P de (1978). An essay on trees and iteration. (RUU-CS78-06 ). Utrecht.

Francez, N., Hoare, C.A.R.,, Lehman, D.J. & Roever, W-P de (1978). Semantics of nondeterminism, concurrency and communication. (RUU-CS78-00 ). Utrecht.

Lee, Y. & Roever, W-P de (1978). The evolution of list-copying algorithms and the need for structured program verification. (RUU-CS78-07 ). Utrecht.