1. 2001
  2. Practice of real-time software architecture: Collider, satellites, and tanks combined

    van Katwijk, J., Schwartz, JJ. & Zalewski, J., 2001, Proceedings. HB Verbruggen, CW Chan & RA Vingerhoeds (eds.). Hong Kong: IFAC, p. 550-559 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. 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/Report/Conference proceedingConference contributionScientific

  4. 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/Report/Conference proceedingChapterScientificpeer-review

  5. 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/Report/Conference proceedingConference contributionScientificpeer-review

  6. 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/Report/Conference proceedingConference contributionScientificpeer-review

  7. 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/Report/Conference proceedingConference contributionScientific

  8. 2000
  9. 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/Report/Conference proceedingConference contributionScientificpeer-review

  10. 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/Report/Conference proceedingConference contributionScientificpeer-review

  11. 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

  12. 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/Report/Conference proceedingConference contributionScientific

  13. Editorship

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  14. Empirical evaluation of ontological commitments for ADLs

    Kyaruzi, JK. & van Katwijk, J., 2000, SEKE 2000 proceedings. Skokie (USA): Knowledge Systems Institute, p. 94-102 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  15. Extentions to the modula-2 language

    Pronk, C., Schonhacker, M., Sutcliffe, RJ. & Wiedemann, A., 2000, In : Journal of Object - Oriented Programming. 13, 7, p. 1-6 6 p.

    Research output: Contribution to journalArticleScientific

  16. Formal specification of a safety shell in real-time control practice

    Sahraoui, A-E-K., Anderson, E., van Katwijk, J. & Zalewski, J., 2000, WRTP'2000. A Crespo & J Vila (eds.). S.l.: International Federation of Automatic Control, p. 117-123 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  17. Industrial concerns for architecture-centered software development

    Kyaruzi, JK. & van Katwijk, J., 2000, Conference proceedings. A Mushi & A Bijura (eds.). S.l.: s.n., p. 66-102 37 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  18. Intelligent flight controller design with fuzzy logoc for an atmospheric re-entry vehicle

    Wu, S-F., Engelen, HMM., Babuska, R., Chu, Q-P. & Mulder, JA., 2000, Proceedings and exhibit. Denver: AIAA, p. 1-12 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. Middleware for weal-time distributed simulation systems

    van Paassen, MM., Pronk, C. & Delatour, J., 2000, ESS'2000 symposium, simulation in industry'2000. P Geril & D Möller (eds.). Erlangen: SCS Publishing House, p. 351-358 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  20. Model checking real-time embedded software

    Toetenel, WJ. & Lutje Spelberg, RF., 2000, PROGRESS 2000 proceedings. JP Veen (ed.). Utrecht: STW Technology Foundation, p. 149-156 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  21. Parallel and distributed real-time systems: an introduction

    van Katwijk, J. & Zalewski, J., 2000, In : Parallel and Distributed Computing Practices. 2, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientific

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

    Toetenel, WJ., Lutje Spelberg, RF. & Bandini, G., 2000, Proceedings. DC Young (ed.). Los Alamitos: IEEE, p. 207-214 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  23. Performance comparison of four software architectures for distributed computations

    van Katwijk, J. & Peng, Y., 2000, ParCo99 proceedings. EH D'Hollander, GR Joubert, FJ Peters & HJ Sips (eds.). London: Imperial college press, p. 582-589 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

    van Katwijk, J., de Rooij, RCM., Stuurman, S. & Toetenel, WJ., 2000, In : Parallel and Distributed Computing Practices. 2, 1, p. 73-88 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  25. Some observations on teaching and industry at Delft University of Technology

    van Katwijk, J., 2000, Conference proceedings. A Mushi & A Bijura (eds.). S.l.: s.n., p. 13-21 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

    van Katwijk, J., Toetenel, WJ., Sahaoui, AEK., Anderson, E. & Zalewski, J., 2000, SAFECOMP 2000 proceedings. F Koornneef & M Meulen, V. D. (eds.). Berlin: Springer, p. 37-52 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  27. Specification of real-time systems in UML

    Roubtsova, E., van Katwijk, J., Toetenel, WJ., Pronk, C. & de Rooij, RCM., 2000, In : Electronic Notes in Theoretical Computer Science. 39, 3, p. 1-13 13 p.

    Research output: Contribution to journalArticleScientific

  28. Towards explicit representation of architectural design assumption

    Kyaruzi, JK. & van Katwijk, J., 2000, ASE 2000 proceedings. Los Alamitos: IEEE, p. 249-252 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  29. 1999
  30. 'U doet dus iets met computers': het benoemen van IT-functies en -bedrijven is vaak een groot probleem

    Mulder, JBF. & Dietz, JLG., 1999, In : Automatisering Gids. 35, p. 19-19 1 p.

    Research output: Contribution to journalArticleProfessional

  31. A software process for the construction of predictable on-board embedded real-time systems

    Vardanega, T. & van Katwijk, J., 1999, In : Software: Practice and Experience. 29, 3, p. 235-266 32 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

    de Rooij, RCM. & van Katwijk, J., 1999, RTCSA'99: proceedings. Los Alamitos: IEEE, p. 474-483 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  33. BPR: van hype naar selectieve toepassing

    Mulder, JBF. & van Reijswoud, VE., 1999, In : Automatisering Gids. 47, p. 21-21 1 p.

    Research output: Contribution to journalArticleProfessional

  34. Beyond components-connections-constraints: dealing with software architecture difficulties

    Kyaruzi, JK. & van Katwijk, J., 1999, Proceedings ASE 1999. A Rawlinson (ed.). Los Alamitos: IEEE, p. 235-242 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  35. Bridging the gap between information modelling and business modelling for ISD

    van Reijswoud, VE. & Mulder, JBF., 1999, Evolution and challenges in system development: proceedings. J Zupancic, W Wojtkowski, WG Wojtkowski & S Wrycza (eds.). New York: Kluwer Academic, p. 317-330 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  36. Communicative action-based business process and information systems modelling with DEMO

    van Reijswoud, VE., Mulder, JBF. & Dietz, JLG., 1999, In : Information Systems Journal: an international journal promoting the study and practice of information systems. 9, p. 117-138 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  37. Experiences with an introductory real-time software course at Delft University of Technology

    van Katwijk, J. & Zalewski, J., 1999, Proceedings. J Nawrocki (ed.). Los Alamitos: IEEE, p. 24-29 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  38. Experiments in using model checking for schedulability analysis

    de Rooij, RCM., 1999, ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 158-164 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  39. Experiments with parametric verification of real-time systems

    Lutje Spelberg, RF., de Rooij, RCM. & Toetenel, WJ., 1999, Proceedings. B Werner (ed.). Los Alamitos: IEEE, p. 123-131 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

    Brink, K., van Katwijk, J., Toetenel, WJ. & Zalewski, J., 1999, WRTP'99: preprint proceedings. ARTDB-99: preprint proceedings. AH Frigeri, WA Halang & SH Son (eds.). S.l.: International Federation of Automatic Control, p. 123-128 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  41. Java in het inleidend programmeeronderwijs: terugblik en reflectie

    Kluit, PG., Sint, M. & Wester, FJ., 1999, In : Tinfon. 8, 2, p. 42-48 7 p.

    Research output: Contribution to journalArticleProfessional

  42. Modeling and verification using XTG and PMC

    Burns, A., Lutje Spelberg, RF., Toetenel, WJ. & Vink, T., 1999, ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 251-258 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  43. New method of improving software safety in mission-critical real-time systems

    Anderson, E., van Katwijk, J. & Zalewski, J., 1999, System safety at the dawn of a new millennium: proceedings. Unionville: System Safety Society, p. 587-596 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  44. Parametric model-checking in PMC

    Bandini, G., Lutje Spelberg, RF. & Toetenel, WJ., 1999, NWPT'99: proceedings (Technical report 1999-008). B Victor & Wang Yi (eds.). Uppsala: Uppsala University: Department of Information Technology, p. 14-15 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  45. Software architecture and Java beans

    Stuurman, S., 1999, WICSA1. P Donohoe (ed.). Boston: Kluwer, p. 183-200 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  46. Software engineering

    van Katwijk, J. & Toetenel, WJ., 1999, ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1005-1018

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  47. Softwareontwerp en -realisatie

    Toetenel, WJ. & van Katwijk, J., 1999, ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1019-1033

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  48. Web-based course on software quality assurance: perspectives on intercontinental learning [alleen op CD-ROM verschenen]

    Shah, A., Sosnowski, J., van Katwijk, J. & Zalewski, J., 1999, ICEE'99 proceedings: process through partnership: strengthening alliances. R Farana (ed.). S.l.: s.n., p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Previous 1...6 7 8 9 10 Next

ID: 19954