 | 2002 |
|---|
| 11 |       | R. F. Lutje Spelberg,
W. J. Toetenel:
Splitting Trees and Partition Refinement in Real-Time Model Checking.
HICSS 2002: 278 |
| 2001 |
|---|
| 10 | | G. Bandini,
R. F. Lutje Spelberg,
Ruud C. M. de Rooij,
Hans Toetenel:
Application of Parametric Model Checking - The Root Contention Protocol.
HICSS 2001 |
| 9 |  | R. F. Lutje Spelberg,
W. J. Toetenel:
Parametric Real-Time Model Checking Using Splitting Trees.
Nord. J. Comput. 8(1): 88-120 (2001) |
| 2000 |
|---|
| 8 | | Hans Toetenel,
R. F. Lutje Spelberg,
G. Bandini:
Parametric verification of the IEEE 1394a Root Contention protocol using LPMC.
RTCSA 2000: 207-214 |
| 1999 |
|---|
| 7 | | R. F. Lutje Spelberg,
Ruud C. M. de Rooij,
W. J. Toetenel:
Experiments with parametric verification of real-time systems.
ECRTS 1999: 123-130 |
| 1998 |
|---|
| 6 | | Marcel Ammerlaan,
R. F. Lutje Spelberg,
W. J. Toetenel:
XTG-an engineering approach to modelling and analysis of real-time systems.
ECRTS 1998: 88-97 |
| 5 | | R. F. Lutje Spelberg,
Hans Toetenel,
Marcel Ammerlaan:
Partition Refinement in Real-Time Model Checking.
FTRTFT 1998: 143-157 |
| 4 | | 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: 177-186 |
| 1997 |
|---|
| 3 | | K. Brink,
Jan van Katwijk,
R. F. Lutje Spelberg,
W. J. Toetenel:
Analyzing Schedulability of Astral Specifications using Extended Timed Automata.
Euro-Par 1997: 1290-1297 |
| 2 | | K. Brink,
Jan van Katwijk,
R. F. Lutje Spelberg,
W. J. Toetenel:
Experiences with analysis of formal specifications in Astral.
RTCSA 1997: 143- |
| 1996 |
|---|
| 1 | | Hans Toetenel,
R. F. Lutje Spelberg,
Sylvia Stuurman,
Jan van Katwijk:
Modeling and analysis of complex computer systems-the MTCCS approach.
ICECCS 1996: 423- |
