WJ Toetenel | TU Delft Repository

Embedded software engineering: the state of the practice

Software technologies for embedded systems: an industry inventory

Parametric real-time model checking using splitting trees

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

Specification of Real-Time properties in UML

Conference paper (2001) - E Boubtsova (author) , WJ Toetenel (author)

Software verification in ground transportation systems

Expressing and verifying timing requirements with UML

Real-Time model checking based on splitting

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

Transformation of UML specification to XTG

A timed automata semantics for Real-Time UML specifications

Application of parametric model checking-the root contention protocol

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

Specification and verification of a safty shell with statcharts and extended timed graphs

Editorship

Conference paper (2000) - WJ Toetenel (author)

Model checking real-time embedded software

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

Specification of real-time systems in UML

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

Modeling and verification using XTG and PMC

Parametric model-checking in PMC

Softwareontwerp en -realisatie

Book chapter (1999) - WJ Toetenel (author) , J. van Katwijk (author)

Experiments with parametric verification of real-time systems