Research Output

2000

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: American Institute of Aeronautics and Astronautics Inc. (AIAA), p. 1-12 12 p.

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

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

8 Citations (Scopus)

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

8 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1999

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

10 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

41 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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/Conference proceedings/Edited volumeConference contributionScientific

Software architecture and Java beans

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

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

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/Conference proceedings/Edited volumeChapterProfessional

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/Conference proceedings/Edited volumeChapterProfessional

'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

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/Conference proceedings/Edited volumeConference contributionScientific