Ruud C. M. de Rooij

Publication Activity (10 Years)

Years Active: 1996-2001
Publications (10 Years): 0

Publications

G. Bandini, R. F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel
Application of Parametric Model Checking - The Root Contention Protocol. HICSS (2001)
Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
Transformation of UML Specification to XTG. Ershov Memorial Conference (2001)
Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij
Specification of Real-Time Systems in UML. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
Ruud C. M. de Rooij, Jan van Katwijk
An Approach Towards Formal Verification of Object Oriented Real-Time Systems. RTCSA (1999)
R. F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel
Experiments with parametric verification of real-time systems. ECRTS (1999)
Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel
Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm. Scalable Comput. Pract. Exp. 2 (1) (1999)
Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij
The MSP.RTL real-time scheduler synthesis tool. RTSS (1996)