| 2001 |
|---|
| 6 | EE | Ella E. Roubtsova,
Jan van Katwijk,
Ruud C. M. de Rooij,
Hans Toetenel:
Transformation of UML Specification to XTG.
Ershov Memorial Conference 2001: 247-254 |
| 5 | EE | G. Bandini,
R. F. Lutje Spelberg,
Ruud C. M. de Rooij,
Hans Toetenel:
Application of Parametric Model Checking - The Root Contention Protocol.
HICSS 2001 |
| 2000 |
|---|
| 4 | EE | Ella E. Roubtsova,
Jan van Katwijk,
W. J. Toetenel,
Cornelis Pronk,
Ruud C. M. de Rooij:
Specification of Real-Time Systems in UML.
Electr. Notes Theor. Comput. Sci. 39(3): (2000) |
| 1999 |
|---|
| 3 | EE | R. F. Lutje Spelberg,
Ruud C. M. de Rooij,
W. J. Toetenel:
Experiments with parametric verification of real-time systems.
ECRTS 1999: 123-130 |
| 2 | EE | Ruud C. M. de Rooij,
Jan van Katwijk:
An Approach Towards Formal Verification of Object Oriented Real-Time Systems.
RTCSA 1999: 474- |
| 1996 |
|---|
| 1 | EE | Aloysius K. Mok,
Duu-Chung Tsou,
Ruud C. M. de Rooij:
The MSP.RTL real-time scheduler synthesis tool.
IEEE Real-Time Systems Symposium 1996: 118-128 |
