Ronald F. Lutje Spelberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1996–2000
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | RTCSA | Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. | Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini |
| 1999 | ECRTS | Experiments with parametric verification of real-time systems. | Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel |
| 1998 | ECRTS | XTG-an engineering approach to modelling and analysis of real-time systems. | Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1997 | EuroPar | Analyzing Schedulability of Astral Specifications using Extended Timed Automata. | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1997 | RTCSA | Experiences with analysis of formal specifications in Astral. | Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel |
| 1996 | ICECCS | Modeling and analysis of complex computer systems-the MTCCS approach. | Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk |