R. F. Lutje Spelberg

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Publications

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