Ruud C. M. de Rooij
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1996–1999
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | ECRTS | Experiments with parametric verification of real-time systems. | Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel |
| 1999 | RTCSA | An Approach Towards Formal Verification of Object Oriented Real-Time Systems. | Ruud C. M. de Rooij, Jan van Katwijk |
| 1996 | RTSS | The MSP.RTL real-time scheduler synthesis tool. | Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij |