RF Lutje Spelberg | TU Delft Repository

R

RF Lutje Spelberg

Conference paper (8)

Doctoral thesis (1)

Journal article (1)

10 records found

1

Model checking real-time systems based on partition refinement

Doctoral thesis (2004) - RF Lutje Spelberg (author)

Parametric real-time model checking using splitting trees

Journal article (2001) - RF Lutje Spelberg (author), WJ Toetenel (author)

Real-Time model checking based on splitting

Conference paper (2001) - RF Lutje Spelberg (author), WJ Toetenel (author)

Model checking real-time embedded software

Conference paper (2000) - WJ Toetenel (author), RF Lutje Spelberg (author)

Parametric verification of the IEEE 1394a root contention protocol using LPMC

Conference paper (2000) - WJ Toetenel (author), RF Lutje Spelberg (author), G Bandini (author)

Application of parametric model checking-the root contention protocol

Conference paper (2000) - G Bandini (author), RF Lutje Spelberg (author), RCM de Rooij (author), WJ Toetenel (author)

ACL: an approach to formal verification of real time systems

Conference paper (2000) - RCM de Rooij (author), RF Lutje Spelberg (author), J. van Katwijk (author)

Modeling and verification using XTG and PMC

Conference paper (1999) - A Burns (author), RF Lutje Spelberg (author), WJ Toetenel (author), T Vink (author)

Experiments with parametric verification of real-time systems

Conference paper (1999) - RF Lutje Spelberg (author), RCM de Rooij (author), WJ Toetenel (author)

Parametric model-checking in PMC

Conference paper (1999) - G Bandini (author), RF Lutje Spelberg (author), WJ Toetenel (author)