1. 2001
  2. Real-Time model checking based on splitting

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, Proceedings. JCM Baeten & ... [et Al] (eds.). S.l.: s.n., p. 56-70 15 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

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

    van Katwijk, J. & ... [et Al], ., 2001, Parallel and distributed real-time systems. S Boriotti & D Dennis (eds.). Huntington, New York: Nova Science Publishers, p. 105-126

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

  4. Software verification in ground transportation systems

    Al-Daraiseh, A., Zalewski, J. & Toetenel, WJ., 2001, ISAS SCI 2001: proceedings. N Callaos, S Long & M Loutfi (eds.). Orlando: International Institute of Informatics and Systemics, p. 271-276 6 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  5. Specification of Real-Time properties in UML

    Boubtsova, E. & Toetenel, WJ., 2001, Proceedings. Piscataway: IEEE Society, p. 61-64 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  6. Transformation of UML specification to XTG

    Roubtsova, E., van Katwijk, J., de Rooij, RCM. & Toetenel, WJ., 2001, PSI'01: proceedings. S.l.: s.n., p. 138-140 3 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  7. 2000
  8. ACL: an approach to formal verification of real time systems

    de Rooij, RCM., Lutje Spelberg, RF. & van Katwijk, J., 2000, ASCI 2000 proceedings. LJ Vliet, V., JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds.). Delft: Advanced School for Computing and Imaging, p. 335-342 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  9. Application of parametric model checking-the root contention protocol

    Bandini, G., Lutje Spelberg, RF., de Rooij, RCM. & Toetenel, WJ., 2000, ASCI 2000 proceedings. LJ Vliet, V., JWJ Heijnsdijk, T Kielmann & PMW Knijnenburg (eds.). Delft: Advanced School for Computing and Imaging, p. 21-28 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  10. Concerns on architecture-centered software development: a survey

    Kyaruzi, JK. & van Katwijk, J., 2000, In : Journal of Integrated Design & Process Science. 4, 3, p. 13-33 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  11. Design orthogonal concepts orthogonally - a contribution to maintainability of enterprise information systems

    Gerhardt-Hackl, W., van Katwijk, J. & Essenius, E., 2000, ReTIS 2000: preparing to E-business. S.l.: Österreichische Computer Gesellschaft, p. 21-34 14 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientific

  12. Editorship

    Toetenel, WJ., 2000, Euromicro RTS 2000 proceedings. Los Alamitos: IEEE, p. -

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

ID: 19954