Ronald F. Lutje Spelberg

According to our database, Ronald F. Lutje Spelberg authored at least 11 papers between 1996 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Splitting Trees and Partition Refinement in Real-Time Model Checking.

Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001

Parametric Real-Time Model Checking Using Splitting Trees.

Ronald F. Lutje Spelberg, W. J. Toetenel

Nord. J. Comput., 2001

Application of Parametric Model Checking - The Root Contention Protocol.

G. Bandini, Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.

Hans Toetenel, Ronald F. Lutje Spelberg, G. Bandini

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

1999

Experiments with parametric verification of real-time systems.

Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998

Automatic Analysis of Embedded Systems Specified in Astral.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Partition Refinement in Real-Time Model Checking.

Ronald F. Lutje Spelberg, Hans Toetenel, Marcel Ammerlaan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

XTG-an engineering approach to modelling and analysis of real-time systems.

Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997

Experiences with analysis of formal specifications in Astral.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Analyzing Schedulability of Astral Specifications using Extended Timed Automata.

Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Modeling and analysis of complex computer systems-the MTCCS approach.

Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996