WJ Toetenel | TU Delft Repository

W

WJ Toetenel

Book chapter (2)

Conference paper (16)

Journal article (4)

22 records found

1

Embedded software engineering: the state of the practice

Journal article (2003) - BS Graaf (author), M. Lormans (author), WJ Toetenel (author)

Software technologies for embedded systems: an industry inventory

Conference paper (2002) - BS Graaf (author), M. Lormans (author), WJ Toetenel (author)

Real-Time model checking based on splitting

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

Software verification in ground transportation systems

Conference paper (2001) - A Al-Daraiseh (author), J Zalewski (author), WJ Toetenel (author)

Parametric real-time model checking using splitting trees

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

Transformation of UML specification to XTG

Conference paper (2001) - E Roubtsova (author), J. van Katwijk (author), RCM de Rooij (author), WJ Toetenel (author)

A timed automata semantics for Real-Time UML specifications

Conference paper (2001) - WJ Toetenel (author), E Roubtsova (author), J. van Katwijk (author)

Expressing and verifying timing requirements with UML

Conference paper (2001) - A Al-Daraiseh (author), J Zalewski (author), WJ Toetenel (author)

Specification of Real-Time properties in UML

Conference paper (2001) - E Boubtsova (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)

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

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

Editorship

Conference paper (2000) - WJ Toetenel (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)

Model checking real-time embedded software

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

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

Conference paper (2000) - J. van Katwijk (author), WJ Toetenel (author), AEK Sahaoui (author), E Anderson (author), J Zalewski (author)

Parametric model-checking in PMC

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

H-astral and its use in the development of real-time control systems

Conference paper (1999) - K Brink (author), J. van Katwijk (author), WJ Toetenel (author), J Zalewski (author)

Experiments with parametric verification of real-time systems

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

Modeling and verification using XTG and PMC

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