Ronald F. Lutje Spelberg

11 papers B 5Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
2002 — conf
Splitting Trees and Partition Refinement in Real-Time Model Checking.
HICSS
Ronald F. Lutje Spelberg, W. J. Toetenel
2001 — conf
Application of Parametric Model Checking - The Root Contention Protocol.
HICSS
G. Bandini, Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel
2001 J jnl
Parametric Real-Time Model Checking Using Splitting Trees.
Nord. J. Comput.
Ronald F. Lutje Spelberg, W. J. Toetenel
2000 B conf
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.
RTCSA
Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini
1999 B conf
Experiments with parametric verification of real-time systems.
ECRTS
Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel
1998 — conf
Automatic Analysis of Embedded Systems Specified in Astral.
HICSS (3)
Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1998 — conf
Partition Refinement in Real-Time Model Checking.
FTRTFT
Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan
1998 B conf
XTG-an engineering approach to modelling and analysis of real-time systems.
ECRTS
Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel
1997 — conf
Analyzing Schedulability of Astral Specifications using Extended Timed Automata.
Euro-Par
Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1997 B conf
Experiences with analysis of formal specifications in Astral.
RTCSA
Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel
1996 B conf
Modeling and analysis of complex computer systems-the MTCCS approach.
ICECCS
Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk