Ruud C. M. de Rooij

According to our database, Ruud C. M. de Rooij authored at least 7 papers between 1996 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Application of Parametric Model Checking - The Root Contention Protocol.

G. Bandini, Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Transformation of UML Specification to XTG.

Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel

Proceedings of the Perspectives of System Informatics, 2001

2000

Specification of Real-Time Systems in UML.

Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

1999

Software Development and Verification of Dynamic Real-Time Distributed Systems Based on the Radio Broadcast Paradigm.

Jan van Katwijk, Ruud C. M. de Rooij, Sylvia Stuurman, Hans Toetenel

Scalable Comput. Pract. Exp., 1999

An Approach Towards Formal Verification of Object Oriented Real-Time Systems.

Ruud C. M. de Rooij, Jan van Katwijk

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Experiments with parametric verification of real-time systems.

Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1996

The MSP.RTL real-time scheduler synthesis tool.

Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996