RCM de Rooij | TU Delft Repository

Rd

RCM de Rooij

Conference paper (6)

Journal article (2)

8 records found

1

Transformation of UML specification to XTG

Conference paper (2001) - E Roubtsova (author), J. van Katwijk (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)

Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

Journal article (2000) - J. van Katwijk (author), RCM de Rooij (author), S Stuurman (author), WJ Toetenel (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)

Specification of real-time systems in UML

Journal article (2000) - E Roubtsova (author), J. van Katwijk (author), WJ Toetenel (author), C. Pronk (author), RCM de Rooij (author)

Experiments in using model checking for schedulability analysis

Conference paper (1999) - RCM de Rooij (author)

An approach towards formal verification of object-oriented real-time systems

Conference paper (1999) - RCM de Rooij (author), J. van Katwijk (author)

Experiments with parametric verification of real-time systems

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