Ruud C. M. de Rooij

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
Application of Parametric Model Checking - The Root Contention Protocol.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Transformation of UML Specification to XTG.
Proceedings of the Perspectives of System Informatics, 2001

2000
Specification of Real-Time Systems in UML.
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.
Parallel Distributed Comput. Pract., 1999

An Approach Towards Formal Verification of Object Oriented Real-Time Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Experiments with parametric verification of real-time systems.
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1996
The MSP.RTL real-time scheduler synthesis tool.
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996


  Loading...