1. 1999
  2. '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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  21. 2000
  22. 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

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

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

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

  26. Editorship

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  42. 2001
  43. A timed automata semantics for Real-Time UML specifications

    Toetenel, WJ., Roubtsova, E. & van Katwijk, J., 2001, Proceedings. Piscataway: IEEE Society, p. 88-95 8 p.

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

  44. Expressing and verifying timing requirements with UML

    Al-Daraiseh, A., Zalewski, J. & Toetenel, WJ., 2001, ISAS SCI 2001: proceedings. N Callaos & ... [et Al] (eds.). Orlando: International Institute of Informatics and Systemics, p. 461-466 6 p.

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

  45. GNSS extensions: intermediate interference robustness report deliverable D7 for shine

    Coenen, AJRM., Ober, PB., Reijmers, H. & van Katwijk, J., 2001, Delft: Delft University of Technology. 21 p.

    Research output: Book/ReportReportProfessional

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

    van Katwijk, J. & Zalewski, J., 2001, Parallel and distributed real-time systems. S Boriotti & D Dennis (eds.). Huntington, New York: Nova Science Publishers, p. 1-6

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  47. Parametric real-time model checking using splitting trees

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, In : Nordic Journal of Computing. 8, p. 88-120 33 p.

    Research output: Contribution to journalArticleScientific

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

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

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

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

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

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

  54. 2002
  55. Building blocks for durable metadata of visual sources

    van Horik, MPM. & van der Meer, K., 2002, Proceedings of the 2nd International Workshop on new developments in digital libraries. Isaias, P. (ed.). Setubal, Portugal: ICEIS Press, p. 80-92 13 p.

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

  56. Longevity of digital surrogates of visual sources

    van Horik, MPM., 2002, Building blocks for effective telematics application development and evaluation. Verbraeck, A. & Dahanayake, A. (eds.). Delft: Delft University of Technology, p. 98-101 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  57. On context-aware process networks

    van Dijk, HW., Deprettere, EFA. & Sips, HJ., 2002, MMSA2002; third international symposium on mobile multimedia systems and applications. Lagendijk, RL., Heusdens, R., Lagendoen, KG. & Serdijn, WA. (eds.). s.l.: s.n., p. 17-26 10 p.

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

  58. Software technologies for embedded systems: an industry inventory

    Graaf, BS., Lormans, M. & Toetenel, WJ., 2002, Product focused software process improvement. Oivo, M. & Komi-Sirviö, S. (eds.). Berlin: Springer, p. 453-465 13 p.

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

  59. 2003
  60. A new benchmark for distributed real-time systems: some experimental results

    Guo, D., van Katwijk, J. & Zalewski, J., 2003, 27th IFAC/IFIP/IEEE Workshop on real-time programming WRTP'03. Colnaric, M., Adamski, M. & Wegrzyn, M. (eds.). s.l.: IFAC, p. 141-146 6 p.

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

  61. An approach to evaluate real-time software architectures for safety-critical systems

    van Katwijk, J., Sandén, B. & Zalewski, J., 2003, Critical systems development with UML - Proceedings of the UML'03 workshop. Jürjens, J., Rumpe, B., France, R. & Fernandez, EB. (eds.). München: Technische Universität München, p. 121-128 8 p.

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

  62. Aspect mining and refactoring

    Marin, A. M., van Deursen, A. & Moonen, LMF., 2003, Proceedings of The first international workshop on REFactoring: Achievements, Challenges, and Effects (REFACE). Tahvildari, L. & Kontogiannis, K. (eds.). s.l.: s.n., p. 37-40 4 p.

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

  63. Broncode toont risico's onderhoud

    van Deursen, A. & Kuipers, T., 2003, In : Informatie: maandblad voor informatievoorziening. 9, p. 22-27 6 p.

    Research output: Contribution to journalArticleProfessional

  64. Context-aware process networks

    van Dijk, HW., Sips, HJ. & Deprettere, EFA., 2003, ASCI 2003; proceedings of the ninth annual conference of the advanced school for computing and imaging. Vassiliadis, S., Florack, LMJ., Heijnsdijk, JWJ. & van der Steen, A. (eds.). Delft: Advanced School for Computing and Imaging, p. 310-317 8 p.

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

  65. Context-aware process networks

    van Dijk, HW., Sips, HJ. & Deprettere, EFA., 2003, ASAP 2003; Proceedings IEEE international conference on application-specific systems, architectures, and processors. Deprettere, E., Bhattacharyya, S., Cavallaro, J., Darte, A. & Thiele, L. (eds.). Piscataway: IEEE Society, p. 6-16 11 p.

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

  66. Embedded software engineering: the state of the practice

    Graaf, BS., Lormans, M. & Toetenel, WJ., 2003, In : IEEE Software. 20, 6, p. 61-69 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  67. Exploring software systems

    Moonen, LMF., 2003, ICSM 2003; proceedings international conference on software maintenance. s.n. (ed.). Piscataway: IEEE Society, p. 1-5 5 p.

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

  68. Formal definition of programming language standards

    Pronk, C. & Schonhacker, M., 2003, In : ACM SIGPLAN Notices. 38, 8, p. 20-21 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  69. Generalized parsing and term rewriting: semantics driven disambiguation

    van den Brandt, MGJ., Klusener, AS., Moonen, LMF. & Vinju, JJ., 2003, In : Electronic Notes in Theoretical Computer Science. p. 1-17 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  70. Henri Ford in software engineering

    van Deursen, A. & Klint, P., 2003, In : Informatie: maandblad voor informatievoorziening. 4, p. 50-54 5 p.

    Research output: Contribution to journalArticleProfessional

  71. Refactoring: emerging trends and open problems

    Mens, T. & van Deursen, A., 2003, Proceedings of The first international workshop on REFactoring: Achievements, Challenges, and Effects (REFACE). Tahvildari, L. & Kontogiannis, K. (eds.). p. 51-54 4 p.

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

  72. Simona, real-time software in de praktijk

    Pronk, C. & van Paassen, MM., 2003, In : Machazine der W.I.S.V. Christiaan Huygens. 7, 3, p. 1-4

    Research output: Contribution to journalArticleProfessional

  73. Slopen onder architectuur

    Bakker, H., van den Berg, M. & van Deursen, A., 2003, Landelijk Architectuur Congres. Den Haag: Ten Hagen & Stam, p. 1-5 5 p.

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

  74. Source-based software risk assessment

    van Deursen, A. & Kuipers, T., 2003, Proceedings ICSM 2003. Alamitos, CA: IEEE, p. 385-388 4 p.

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

  75. 2004
  76. A meta ontology for organizations

    Dietz, JLG. & Habing, N., 2004, On the move to meaningful internet systems 2004: OTM 2004 Workshops. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 533-544 12 p. (Lecture Notes in Computer Science; vol. 3292).

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

  77. A step forward in the theory and practice of ICT management simulation

    Ilkov, IG., 2004, Delft: IG Ilkov. 207 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  78. Aligning business process modeling and software specification in a component-based way

    Shishkov, BB. & Dietz, JLG., 2004, ICEIS 2004 Proceedings sixth international conference on enterprise information systems. Seruca, I., Filipe, J., Hammoudi, S. & Cordeiro, J. (eds.). INSTICC, p. 103-108 6 p.

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

  79. An evaluation of clone detection techniques for identifying crosscutting concerns

    Bruntink, M., van Deursen, A., Tourwe, T. & van Engelen, R., 2004, ICSM 2004; Proceedings of the 20th IEEE international conference on software maintenance. Los Alamitos, CA. USA: IEEE, p. 200-209 10 p.

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

  80. An initial experiment in reverse engineering aspects

    Bruntink, M., van Deursen, A. & Tourwe, T., 2004, Proceedings of the 11th Working Conference on Reverse Engineering (WCRE). Piscataway: IEEE Society, p. 306-307 2 p.

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

  81. Basic notions regarding business processes and supporting information systems

    Dietz, JLG., 2004, CAISE'04; 16th Conference on advanced information systems engineering: Workshops proceedings of knowledge and model driven information systems engineering for networked organisations. Grundspenkis, J. & Kirikova, M. (eds.). Riga, Latvia: Riga Technical University, p. 60-68 9 p.

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

  82. De oberstrategie - hoe lang nog?

    Dietz, JLG., 2004, 50 Jaar informatiesystemen 1978-2028. deel 1. Liber amicorum voor Theo Bemelmans. Valstar, T. & van Genuchten, M. (eds.). Eindhoven: Eindhoven University of Technology, p. 109-118 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  83. Democratic processing; mastering the complexity of communicating systems

    van Dijk, HW., 2004, S.l.: s.n.. 158 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  84. Deriving use cases from business processes - The advantages of DEMO

    Shishkov, BB. & Dietz, JLG., 2004, Enterprise information systems V. Camp, O., Filipe, JBL., Hammoudi, S. & Piattini, M. (eds.). Dordrecht: Kluwer Academic Publishers, p. 249-257 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  85. Design of software applications using generic business components

    Shishkov, BB. & Dietz, JLG., 2004, Proceedings of the 37th Hawaii international conference on system sciences - 2004. Sprague, RH. (ed.). Piscataway: IEEE, p. 1-10 10 p.

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

  86. Digital preservation; the findings of the e-archive project

    Dekker, R., Durr, EH. & van der Meer, K., 2004, Proceedings of the IADIS international conference applied computing 2004. Guimaraes, N. & Isaias, P. (eds.). Lisbon: IADIS, p. 244-248 5 p.

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

  87. Een overzichtsraamwerk voor beheermethoden

    de Jong, W. & de Haas, MAT., 2004, Baten in beheer; IT jaarboek 2004/2005. Noë, F. (ed.). Den Haag: Ten Hagen & Stam, p. 35-42 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  88. Identifying aspects using Fan-In analysis

    Marin, M., van Deursen, A. & Moonen, LMF., 2004, WCRE'04; Proceedings of the Eleventh working conference on reverse engineering. Washington: IEEE, p. 132-141 10 p.

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

  89. Maintainability through architecture development

    Graaf, BS., 2004, EWSA 2004; Proceedings of the First European workshop on software architecture. Oquendo, F., Warbays, B. & Morrison, R. (eds.). Berlin: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; vol. 3047).

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

  90. Managing evolving requirements in an outsourcing context: an industrial experience report

    Lormans, M., van Dijk, HW., van Deursen, A. & de Zeeuw, A., 2004, IWPSE 2004; Proceedings of the Seventh international workshop on the principles of software evolution. Inoue, K., Ajisake, T. & Gall, H. (eds.). Washington: IEEE, p. 149-158 10 p.

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

  91. Model checking real-time systems based on partition refinement

    Lutje Spelberg, RF., 2004

    Research output: ThesisDissertation (TU Delft)Scientific

  92. Permanent pixels; building blocks for the longevity of digital surrogates of historical photographs

    van Horik, MPM., Koppelaar, H., van der Meer, K. & van Doorn, PE., 2004, Proceedings of the IS&T's 2004 archiving conference. Frey, F. & Buckley, R. (eds.). Springfield, USA: SPIE, p. 128-135 8 p.

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

  93. Predicting class testability using object-oriented metrics

    Bruntink, M. & van Deursen, A., 2004, SCAM 2004; Proceedings of the Fourth IEEE international worksho on source code analysis an manipulation. Los Alamitos, CA. USA: IEEE, p. 136-145 10 p.

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

  94. Refactoring JHotDraw's undo concern to aspectJ

    Marin, A. M., 2004, WARE'04; Proceedings of the First workshop on aspect reverse engineering. p. 1-6 6 p.

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

  95. Source model analysis using the JJtraveler visitor combinator framework

    van Deursen, A. & Visser, M., 2004, In : Software: Practice and Experience. 34, 14, p. 1345-1379 35 p.

    Research output: Contribution to journalArticleScientificpeer-review

  96. Standard metadata applied to software retrieval

    Gonzales, R. & van der Meer, K., 2004, In : Journal of Information Science. 30, 4, p. 300-309 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  97. Symphony: view-driven software architecture reconstruction

    van Deursen, A., Hofmeister, C., Koschke, R., Moonen, LMF. & Riva, C., 2004, WICSA 2004; Proceedings of the fourth working IEEE/IFIP conference on software achitecture. Los Alamitos, CA. USA: IEEE, p. 122-132 11 p.

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

  98. The evaluation of business process modeling techniques

    Hommes, LJ., 2004, 267 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  99. The notion of business process revisited

    Dietz, JLG. & Habing, N., 2004, On the move to meaningful internet systems 2004: CoopIS, DOA, and ODBASE. Meersman, R. & Tari, Z. (eds.). Berlin: Springer, p. 85-100 16 p. (Lecture Notes in Computer Science; vol. 3290).

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

  100. Towards a LAP-based information paradigm

    Dietz, JLG., 2004, LAP 2004; Proceedings of the ninth international working conference on the language action perspective on communication modelling. Aakhus, M. & Lind, M. (eds.). New Brunswick, NJ. USA: Rutgers, The State University of New Jersey, p. 59-76 18 p.

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

  101. Using DEMO and ORM in concert: A case study

    Dietz, JLG. & Halpin, T., 2004, Advanced topics in database research. Siau, K. (ed.). London: Idea Group, p. 218-236 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  102. Viewpoints in software architecture reconstruction

    van Deursen, A., Hofmeister, C., Koschke, R., Moonen, LMF. & Riva, C., 2004, Proceedings of the 6th Workshop on Software Reengineering WSR04. s.n. (ed.). s.l.: s.n., p. 1-2 2 p. (Softwaretechnik-Trends; vol. 24).

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

  103. 2005
  104. A Micromechanics-Based Vapor Pressure Model in Electronic Packages

    Fan, XJ., Zhou, J., Zhang, GQ. & Ernst, LJ., 2005, In : Journal of Electronic Packaging. 127, p. 262-267 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  105. A classification of crosscutting concerns

    Marin, A. M., Moonen, LMF. & van Deursen, A., 2005, ICSM'05 - Proceedings of the 21st IEEE International conference on software maintenance. s.n. (ed.). Piscataway, USA: IEEE, p. 673-676 4 p.

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

  106. A hybrid approach to hierarchical fault diagnosis

    Feldman, AB., van Gemund, AJC. & Bos, A., 2005, Proceedings of DX'05. Dearden, R. & Narasimhan, S. (eds.). Pacific Grove, CA, USA: NASA AMES, p. 101-106 6 p.

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

  107. A model-based approach to sequential fault diagnosis

    Pietersma, J., van Gemund, AJC. & Bos, A., 2005, Autotestcon 2005 Proceedings. Karlovic, S. & Wallhermfechtel, D. (eds.). Piscataway: IEEE Society, p. 621-627 7 p.

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

  108. A preliminary nested-parallel framework to efficiently implement scientific applications

    Gonzáles-Escribano, A., van Gemund, AJC., Cardeñoso-Payo, V., Portales-Fernández, R. & Caminero-Granja, JA., 2005, High performance computing for computational science - VECPAR 2004. Daydé, M., Dongarra, JJ., Hernández, V. & Palma, JMLM. (eds.). Berlin: Springer, p. 541-555 15 p. (Lecture Notes in Computer Science; vol. 3402).

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

  109. A qualitative comparison of three aspect mining techniques

    Ceccato, M., Marin, A. M., Mens, K., Moonen, LMF., Tonella, P. & Tourwe, T., 2005, Proceedings of the 13th IEEE International Workshop/ Conference on Program Comprehension. Cordy, JR., Gall, H. & Maletic, JI. (eds.). Washington DC, USA: IEEE, p. 1-10 10 p.

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

  110. A world ontology specification language

    Dietz, JLG., 2005, In : Lecture Notes in Computer Science. 3762, p. 688-699 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  111. AJHotDraw: A showcase for refactoring to aspects

    van Deursen, A., Marin, A. M. & Moonen, LMF., 2005, Proceedings of the AOSD workshop on linking aspect technology and evolution. s.n. (ed.). New York: Association for Computing Machinery (ACM), p. 1-4 4 p.

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

  112. An approach to aspect refactoring based on crosscutting concern types

    Marin, A. M., Moonen, LMF. & van Deursen, A., 2005, Proceedings of the ICSE 2005 first international workshop on modeling and analysis of concerns in software. s.n. (ed.). New York (NY) USA: Association for Computing Machinery (ACM), p. 1-5 5 p.

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

  113. Assessing real-time component contracts through built-in evolutionary testing

    Gross, HG., Mayer, N. & Paredes Riano, J., 2005, Component-based software development for embedded systems - An overview of current research trends. Atkinson, C., Bunse, C., Gross, HG. & Peper, C. (eds.). Berlin: Springer, p. 107-121 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  114. Basic notions regarding business processes and supporting information systems

    Dietz, JLG., 2005, In : Requirements Engineering. 10, 3, p. 175-183 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  115. Component-based software developments for embedded systems - An introduction

    Atkinson, C., Bunse, C., Peper, C. & Gross, HG., 2005, Component-based software developments for embedded systems. Atkinson, C., Bunse, C., Gross, HG. & Peper, C. (eds.). Berlin: Springer, p. 1-7 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  116. Crosscutting concerns in J2EE applications

    van Deursen, A. & Mesbah, A., 2005, Proceedings of the 7th IEEE international symposium on web site evolution. s.n. (ed.). Washington, DC, USA: IEEE, p. 14-21 8 p.

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

  117. De bemiddeling van ....

    Mulder, JBF. & Mulder, T., 2005, In : ADR Actueel. 9, 4, p. 3-6 4 p.

    Research output: Contribution to journalArticleProfessional

  118. De kernbegrippen rond enterprise architectuur

    Hoogervorst, JAP. & Dietz, JLG., 2005, In : Tiem: tijdschrift voor informatie en management. 10, p. 40-48 9 p.

    Research output: Contribution to journalArticleProfessional

  119. Development of a Universal Virtual Computer (UVC) for long-term preservation of digital objects

    van der Meer, K., van der Hoeven, JR. & van Diessen, RJ., 2005, In : Journal of Information Science. 31, 3, p. 196-208 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  120. Evaluating an embedded software reference architecture - industrial experience report -

    Graaf, BS., van Dijk, HW. & van Deursen, A., 2005, Proceedings of the 9th European conference on software maintenance and reengineering. Yang, H. (ed.). Washington DC, USA: IEEE, p. 354-363 10 p.

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

  121. Evaluation of DEMO and the language/action perspective after 10 years of experience

    Dumay, M., Dietz, JLG. & Mulder, JBF., 2005, Proceedings of the 10th International Working Conference: The Language action perspective on communication modelling. Goldkuhl, G., Lind, M. & Haraldson, S. (eds.). Linköping: Linkoping University, p. 77-106 30 p.

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

  122. Evaluation of strategic supply networks

    Albani, A. & Müssigmann, N., 2005, In : Lecture Notes in Computer Science. 3762, p. 582-591 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  123. Experience report: Appropriateness of the BCI-method for identifying business components in large-scale information systems

    Selk, B., Kloeckner, S., Bazijanec, B. & Albani, A., 2005, Component-oriented enterprise applications. Proceedings of the Confrence on component-oriented enterprise applications (COEA 2005). Turowski, K. & Zaha, JM. (eds.). Bonn: Gesellschaft für Informatik, p. 87-90 4 p. (Lecture Notes In Informatics; vol. P-70).

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

  124. Extensible architecture framework (xAF)

    Dietz, JLG., Op 't Land, M. & Baldinger, F., 2005, In : I&A Tijdschrift Voor Informatie en Architectuur. 1, 3, p. 26-29 4 p.

    Research output: Contribution to journalArticleProfessional

  125. Gellish - A generic extensible ontological language - design and application of a universal data structure

    van Renssen, ASHP., 2005, Delft: Delft University Press. 238 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  126. Geschillenoplossing via internet

    Mulder, JBF., Mulder, T. & Borking, J., 2005, In : ADR Actueel. 9, 6, p. 6-11 6 p.

    Research output: Contribution to journalArticleProfessional

  127. Guest editor's introduction: 10th working conference on reverse engineering

    van Deursen, A. & Stroulia, E., 2005, In : IEEE Transactions on Software Engineering. 31, 2, p. 97-98 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  128. Identification of variation points using dynamic analysis

    Cornelissen, SGM., Graaf, BS. & Moonen, LMF., 2005, Proceedings of R2PL 2005 - First international workshop on reengineering towards product lines. s.n. (ed.). s.l.: s.n., p. 9-13 5 p.

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

  129. Isolating idiomatic crosscutting concerns

    Bruntink, M., van Deursen, A. & Tourwe, T., 2005, ICSM'05 - Proceedings of the 21st IEEE International conference on software maintenance. Gyimóthy, T. & Rajlick, V. (eds.). Piscataway, USA: IEEE, p. 37-46 10 p.

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

  130. Met drieënzestig symbolen

    van der Poel, WL., 2005, In : Nieuw Archief voor Wiskunde. 4, p. 312-316 5 p.

    Research output: Contribution to journalArticleScientificpeer-review

  131. Model-based built-in-tests

    Gross, HG., Schieferdecker, I. & Din, G., 2005, In : Electronic Notes in Theoretical Computer Science. 111, p. 161-182 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  132. Modeling and implementation of built-in contract tests

    Gross, HG., Schieferdecker, I. & Din, G., 2005, Testing commercial-off-the-shelf components and systems. Beydeda, S. & Gruhn, V. (eds.). Berlin: Springer, p. 195-211 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  133. New applications of group support systems

    Mulder, JBF., Lamka, K., O'Mara, KC. & van der Niet, A., 2005, Proceedings of the Group Decision and Nogotiation Annual Conference (GDN). Hanover: informs, p. 1-35 35 p.

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

  134. Omgaan met requirements in outsourcingprojecten

    Lormans, M., van Dijk, HW., van Deursen, A. & Nöcker, E., 2005, In : Informatie: maandblad voor informatievoorziening. p. 64-77 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  135. On the systematic conformance check of software artefacts

    van Dijk, HW., Graaf, BS. & Boerman, BN., 2005, In : Lecture Notes in Computer Science. p. 203-221 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  136. On the use of clone detection for identifying crosscutting concern code

    Bruntink, M., van Deursen, A., van Engelen, R. & Tourwe, T., 2005, In : IEEE Transactions on Software Engineering. 31, 10, p. 804-817 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  137. Permanent pixels; Building blocks for the longevity of digital surrogates of historical photagraphs

    van Horik, R., 2005, Den Haag: Data Archiving and Networked Services. 218 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  138. Predicting the execution times of parallel-independent programs using Pearson distributions

    Reijns, GL. & van Gemund, AJC., 2005, In : Parallel Computing. 31, 8-9, p. 877-899 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  139. Real-time system verification techniques based on abstraction/deduction and model checking

    Kang, EY., 2005, IFM 2005 Doctoral symposium on Integrated Formal Methods. Romijn, J., Smith, G. & van de Pol, J. (eds.). Eindhoven: Eindhoven University of Technology, p. 26-32 7 p. (Computer Science Reports; vol. 0529).

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

  140. Reconstructing requirements coverage views from design and test using traceability recovery via LSI

    Lormans, M. & van Deursen, A., 2005, Proceedings of TEFSE'05, the 3rd International workshop on traceability in emerging forms of software engineering. s.n. (ed.). New York (NY), USA: Association for Computing Machinery (ACM), p. 1-6 6 p.

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

  141. Reengineering towards product lines (R2PL 2005)

    Graaf, BS., O'Brien, L. & Capilla, R., 2005, Proceedings of WCRE 2005. s.n. (ed.). Piscataway: IEEE Society, p. 1-1 1 p.

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

  142. SPC-XML: A structured representation for nested-parallel programming languages

    Gonzáles-Escribano, A., van Gemund, AJC. & Cardeñoso-Payo, V., 2005, Euro-Par 2005 Parallel processing. Danelutto, M., Cunha, JC. & Medeiros, PD. (eds.). Berlin: Springer, p. 782-792 11 p.

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

  143. Self modelling knowledge networks

    Derballa, V. & Albani, A., 2005, In : Lecture Notes in Computer Science. 3762, p. 592-601 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  144. Self-certification and trust in component procurement

    Gross, HG., Melideo, M. & Sillitti, A., 2005, In : Science of Computer Programming. 56, 1-2, p. 141-156 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  145. Software fragiliteit: Voorkomen is beter dan genezen

    van Deursen, A., 2005, In : Automatisering Gids. 37, 50, p. 17-17 1 p.

    Research output: Contribution to journalArticlePopular

  146. Software reverse engineering

    van Deursen, A. & Burd, E., 2005, In : Journal of Systems and Software. 77, 3, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  147. Syntax error repair for a Java-based parser generator

    van der Spek, P., Plat, N. & Pronk, C., 2005, In : ACM SIGPLAN Notices. 40, 4, p. 47-50 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  148. System ontology and its role in software development

    Dietz, JLG., 2005, Proceedings of the CAiSE'05 Workshops. Castro, J. & Teniente, E. (eds.). Porto: Faculdade de Engenharia da Universidade do Porto, p. 273-284 12 p.

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

  149. Uiteindelijk loopt elk systeem vast

    van Deursen, A., 2005, In : Automatisering Gids. 38, 10, p. 15-15 1 p.

    Research output: Contribution to journalArticlePopular

  150. 2006
  151. A Genetic Programming Approach to Automated Test Generation for Object-Oriented Software

    Seesing, A. & Gross, HG., 2006, In : International Transactions on Systems Science and Applications. 2, 1, p. 127-134 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  152. A Lightweight Approach to Determining the Adequacy of Tests as Documentation

    Geet, J. V. & Zaidman, AE., 2006, Proceedings of the 2nd International Workshop on Program Comprehension Through Dynamic Analysis (PCODA 2006), technical report 2006-11, dep. computer science and mathematics. Zaidman, A., Greevy, O. & Hamou-Lhadj, A. (eds.). University of Antwerp, p. 21-26 6 p.

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

  153. A Model of Maintainability - Suggestion for Future Research

    Kajko-Mattsson, M., Canfora, G., Chiorean, D., van Deursen, A., Ihme, T., Lehman, M. M., Reiger, R., Engel, T. & Wernke, J., 2006, Software Engineering Research and Practice. Arabnia, H. R. & Reza, H. (eds.). CSREA Press, p. 436-441 6 p.

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

  154. A Multi-Valued SAT-Based Algorithm for Faster Model-Based Diagnosis

    Feldman, AB., Pietersma, J. & van Gemund, A., 2006, Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-06) Peñaranda de Duero, Burgos, Spain. Gonz'ales, C. A., Escobert, T. & Pulido, B. (eds.). p. 93-100 8 p.

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

  155. A Two-Step Hierarchical Algorithm for Model-Based Diagnosis

    Feldman, AB. & van Gemund, AJC., 2006, Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI-06), July 16-20 Boston, Massachusetts, USA. s.n. (ed.). 445 Burgess Drive, Menlo Park, California 94025: American Association for Artificial Intelligence (AAAI), p. 827-833 7 p.

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

  156. A common framework for aspect mining based on crosscutting concern sorts

    Marin, M., Moonen, LMF. & van Deursen, A., 2006, Proceedings of the 13th Working Conference on Reverse Engineering (WCRE). Sim, S. E. & Penta, M. (eds.). IEEE, p. 29-38 10 p.

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

  157. A performance prediction methodology for MPSoCs

    Varbanescu, AL., Sips, HJ. & van Gemund, AJC., 2006, Proc. of the ASCI 2006 Conference. s.n. (ed.). B.P.F. Lelieveldt, p. 211-218 8 p.

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

  158. Aiding in the Comprehension of Testsuites

    Cornelissen, B., van Deursen, A. & Moonen, LMF., 2006, Proceedings of the 2nd Workshop on Program Comprehension through Dynamic Analysis (PCODA'06). Zaidman, A., Hamou-Lhadj, A. & Greevy, O. (eds.). Antwerpen: Universiteit Antwerpen, p. 17-20 4 p.

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

  159. All Roads Lead to Fault Diagnosis: Model-Based Reasoning with textscLydia

    Feldman, AB., Pietersma, J. & van Gemund, A., 2006, Proceedings of the Eighteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC-06) Namur, Belgium. Schobbens, P-Y., Vanhoof, W. & Schwanen, G. (eds.). s.l., p. 123-131 9 p.

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

  160. An Empirical Study into Class Testability

    Bruntink, M. & van Deursen, A., 2006, In : Journal of Systems and Software. 79, 9, p. 1219-1232 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  161. An Evaluation of Similarity Coefficients for Software Fault Localization

    Abreu, R., Zoeteweij, P. & van Gemund, AJC., 2006, PRDC'06, Procedings of the 12th Pacific Rim International Symposium on Dependable Computing. Daniel Jeske, Y-S. (ed.). IEEE, p. 39-46 8 p.

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

  162. An Inter-Organizational System Approach For Strategic Supply Network Modelling

    Muessigmann, N., Albani, A. & Turowski, K., 2006, Proceedings of the Seventh Annual Global Information Technology Management World Conference.. Palvia, P., Pinjani, P. & Baqir, M. N. (eds.). Global Information Technology Management Association (GITMA), p. 88-90 3 p.

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

  163. An improved Universal Virtual Computer approach for long-term preservation of digital objects

    Kol, NJC., van Diessen, RJ. & van der Meer, K., 2006, In : Information Services and Use. 26, p. 283-291 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  164. Applying architecture and Ontology to the splitting and allying of enterprise: Problem definition and research approach

    Op 't Land, M., 2006, On the move to meaningful internet systems 2006: OTM 2006 Workshops. s.n. (ed.). Montpellier, France: Springer, p. 1419-1429 11 p. (Lecture Notes in Computer Science; vol. 4278).

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

  165. Archival metadata for durable data sets

    van der Meer, K., Durr, EH. & Dekker, R., 2006, Dutch-Belgian Information Retrieval Workshop. Franciska de Jong & Wessel Kraaij (eds.). Delft: TNO ICT Delft, p. 19-23 5 p.

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

  166. Automatic Fault Diagnosis in Embedded Software

    Abreu, R., Zoeteweij, P., Golsteijn, R. & van Gemund, AJC., 2006, Proceedings of the 10th Philips Software Conference. Heyden, V. D. (ed.). Philips, p. 1-10 10 p.

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

  167. Bridging the language-action perspective and origanizational semotics in SDBC

    Shishkov, BB., Dietz, JLG. & Liu, K., 2006, ICEIS 2006 Proceedings. s.n. (ed.). Paphos, Cyprus: INSTICC, p. 52-60 9 p.

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

  168. Can LSI help Reconstructing Requirements Traceability in Design and Test?

    Lormans, M. & van Deursen, A., 2006, Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR). Visaggio, G., Lucca, G. A. & Gold, N. (eds.). Los Alamitos, CA, USA: IEEE, p. 47-56 10 p.

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

  169. Case Study - Automating Direct Banking Customer Service

    Albani, A., Eberhardt, A. & Gausmann, O., 2006, On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. Antonio Albani & Jan L.G. Dietz (eds.). Montpellier, France: Springer, p. 763-780 18 p. (Lecture Notes in Computer Science; vol. 4277).

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

  170. Comparative simulation-based analysis and evuation of chemical and mechanical heat pumps robustness for low temperature heat source upgrading

    Ajah, AN., Grievink, J., Herder, PM., Mesbah, A., Falcao, PW. & Wennekes, S., 2006, Proceedings of the 17th International Congress of Chemical and Process Engineering. Novosad, J. (ed.). Praha, Czech Republic: CSCHI, p. 1-20 20 p.

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

  171. Compatibility Test for Coordination Aspects of Software Components

    Zaha, JM. & Albani, A., 2006, Australian Software Engineering Conference (ASWEC 2006). Han, J. & Staples, M. (eds.). IEEE, p. 41-48 8 p.

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

  172. De Architectuur van Ajax Ontrafeld

    Mesbah, A. & van Deursen, A., 2006, In : Informatie: maandblad voor informatievoorziening. December, p. 50-56 7 p.

    Research output: Contribution to journalArticleProfessional

  173. Design and Implementation of a GUI for the TLC model checker

    Wang, B. & Pronk, C., 2006, In : ACM SIGPLAN Notices. 41, 12, p. 38-43 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  174. Diagnostic Accuracy of Models

    Pietersma, J. & van Gemund, AJC., 2006, Preprints of 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS 2006), Beijing, China. Zhang, H-Y. (ed.). International Federation of Automatic Control (IFAC), p. 913-918 6 p.

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

  175. Discovering Faults in Idiom-Based Exception Handling

    Bruntink, M., Deursen, A. V. & Tourwé, T., 2006, Proceedings of the International Conference on Software Engineering (ICSE'06). Osterweil, L. J., Rombach, H. D. & Soffa, M. L. (eds.). Association for Computing Machinery (ACM), p. 242-251 10 p.

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

  176. Documenting Software Systems Using Types

    van Deursen, A. & Moonen, LMF., 2006, In : Science of Computer Programming. 60, 2, p. 205-220 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  177. Enterprise Ontology - Understanding the essence of organizational operation

    Dietz, JLG., 2006, Enterprise Information Systems VII. s.n. (ed.). Dordrecht, Netherlands: Springer, p. 19-31 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  178. Enterprise Ontology: Theory and Methodology

    Dietz, JLG., 2006, Berlin Heidelberg: Springer. 243 p.

    Research output: Book/ReportBookScientificpeer-review

  179. Fault Diagnosis of Embedded Software Using Program Spectra

    Zoeteweij, P., Abreu, R. F., Golsteijn, R. & van Gemund, AJC., 2006, onbekend: EWI Dept. Software Technology.

    Research output: Book/ReportReportProfessional

  180. Fint: Tool support for aspect mining

    Marin, M., Moonen, LMF. & van Deursen, A., 2006, Proceedings of the 13th Working Conference on Reverse Engineering (WCRE). Sim, S. E. & Penta, M. (eds.). IEEE, p. 299-300 2 p.

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

  181. Harvesting Software Systems for MDA-Based Reengineering

    Reus, T., Geers, H. & van Deursen, A., 2006, European Conference on Model Driven Architectures: Foundations and Applications. Rensink, A. & Warmer, J. (eds.). Springer, p. 213-225 13 p. (Lecture Notes in Computer Science; vol. 4066).

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

  182. Identifying business components on the basis of an enterprise ontology

    Albani, A., Dietz, JLG. & Zaha, JM., 2006, Interoperability of enterprise software and applications. Konstantas, D., Bourrières, JP., Léonard, M. & Boudjlida, N. (eds.). London: Springer, p. 335-348 14 p.

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

  183. Introduction to the Special on Software Architecture Reconstruction and Modeling

    Kazman, R., van Deursen, A. & Koschke, R., 2006, In : Automated Software Engineering. 13, p. 199-200 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  184. Low-Cost Static Performance prediction of stochastic parallel task compositions

    Gautama, H. & van Gemund, AJC., 2006, In : IEEE Transactions on Parallel and Distributed Systems. 17, 1, p. 78-91 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  185. Migrating Supervisory Control Architectures Using Model Transformations

    van der Graaf, B., Weber, S. & van Deursen, A., 2006, Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006). Visaggio, G., Lucca, G. A. & Gold, N. (eds.). IEEE, p. 151-160 10 p.

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

  186. Migrating a Domain-Specific Modeling Language to MDA Technology

    Doyle, D., Geers, H., van der Graaf, B. & van Deursen, A., 2006, Proceedings of the 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering (ateM 2006). Favre, J. M., Gasevic, D., Lammel, R. & Winter, A. (eds.). Johannes Gutenberg-Universitat Mainz, p. 47-54 8 p.

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

  187. Migration of supervisory machine control architectures

    Graaf, BS., Weber, S. & van Deursen, A., 2006, WICSA 5th Working IEEE/IFIP Conference on Software Architecture. Nord, R., Medvidovic, N., Krikhaar, R., Stafford, J. & Bosch, J. (eds.). Los Alamitos: IEEE Society, p. 1-2 2 p.

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

  188. Modeling and Compilation Aspects of Fault Diagnosis Complexity

    Pietersma, J., Feldman, AB. & van Gemund, AJC., 2006, 2006 IEEE AUTOTESTCON IEEE Systems Readiness Technology Conference Proceedings. of Directors, AUTOTESTCO. (ed.). IEEE Society, p. 502-508 7 p.

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

  189. Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study

    Lormans, M., Gross, H., van Deursen, A., van Solingen, R. & Stehouwer, A., 2006, Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006). Canfora, G., Sim, S. E. & Penta, M. (eds.). Washington, DC, USA: IEEE, p. 275-284 10 p.

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

  190. PAM-SoC: a toolchain for predicting MPSoC performance

    Varbanescu, AL., Sips, HJ. & van Gemund, AJC., 2006, Europar 2006. s.n (ed.). Springer, p. 111-123 13 p.

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

  191. Predicate diagrams for the verification of real-time systems

    Kang, EY. & Merz, S., 2006, In : Electronic Notes in Theoretical Computer Science. 145, p. 151-165 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  192. Prioritizing Software Inspection Results using Static Profiling

    Boogerd, C. & Moonen, LMF., 2006, Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM). Penta, M. & Moonen, L. (eds.). IEEE, p. 149-158 10 p.

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

  193. Proceedings of the 2nd International Workshop on Program Comprehension Through Dynamic Analysis (PCODA 2006)

    Zaidman, AE., Greevy, O. & Hamou-Lhadj, A., 2006, Antwerp: University of Antwerp.

    Research output: Book/ReportReportProfessional

  194. Program Spectra Analysis in Embedded Software: A Case Study

    Abreu, R., Zoeteweij, P. & van Gemund, AJC., 2006, ASCI'06, Procedings of the 12th Annual Conference of the Advanced School for Computing and Imaging. Lelieveldt, B. P. F., Haverkort, B., de Laat, C. T. A. M. & Heijnsdijk, J. W. J. (eds.). ASCI, p. 263-269 7 p.

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

  195. Ranking Software Inspection Results using Execution Likelihood

    Boogerd, C. & Moonen, LMF., 2006, Proceedings of the Philips Software Conference (PSC). van der Heijden, J. (ed.). Philips, p. -

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

  196. Rapid Enterprise Design

    Mulder, JBF., 2006, Delft: TUD. 159 p.

    Research output: ThesisDissertation (external, preparation TU Delft)Scientific

  197. Semi-Static performance prediction for MPSoC platforms

    Varbanescu, AL., Sips, HJ. & van Gemund, AJC., 2006, CPC 2006. s.l (ed.). s.n., p. 1-15 15 p.

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

  198. Supplier network management: evaluating and rating of strategic supply networks

    Muessigmann, N. & Albani, A., 2006, SAC '06: Proceedings of the 2006 ACM symposium on Applied computing. Haddad, H. (ed.). Dyon, France: Association for Computing Machinery (ACM), p. 1511-1515 5 p.

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

  199. Temporal versus Spatial Observability in Model-Based Diagnosis

    Pietersma, J. & van Gemund, AJC., 2006, Proceedings of 2006 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2006, Taipei, Taiwan. SMC, IEEE. (ed.). IEEE Society, p. 5325-5331 7 p.

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

  200. The Delft MS Curriculum on Embedded Systems

    Gross, H-G. & van Gemund, AJC., 2006, 2nd International Workshop on Embedded Systems Education. Jackson, J. (ed.). Seoul, South Korea: IEEE, p. 1-10 10 p.

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

  201. The benefit of enterprise ontology in identifying business components

    Albani, A. & Dietz, JLG., 2006, The Past and Future of Information Systems: 1976-2006 and Beyond. Avison, D. & Elliot, S. (eds.). Santiago, Chile: Springer, p. 243-258 16 p.

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

  202. The deep structure of business process

    Dietz, JLG., 2006, In : Communications of the ACM. 49, 5, p. 58-65 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  203. The pragmatic web: A Manifesto

    Dietz, JLG., Schoop, M. & Dr. Moor, A. D., 2006, In : Communications of the ACM. 49, 5, p. 75-78 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  204. Tool Support for Distributed Software Engineering

    Spanjers, H., ter Huurne, M., van der Graaf, B., Lormans, M., Bendas, D. & van Solingen, R., 2006, Proceedings of the IEEE International Conference on Global Software Engineering (ICGSE'06). Paulisch, F., Kruchten, P. & Mockus, A. (eds.). Washington, DC, USA: IEEE, p. 187-198 12 p.

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

  205. Towards Unification of Software Component Procurement and Integration Approaches

    Gross, HG., 2006, Workshop on Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. s.n. (ed.). Europen Conference on Object-Oriented Programming, p. 53-59 7 p.

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

  206. Workshop on Program COmprehension through Dynamic Analysis (PCODA'06)

    Zaidman, AE., Greevy, O. & Hamou-Lhadj, A., 2006, Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006). Sim, S. E. & Penta, M. (eds.). Washington, DC, USA: IEEE, p. 315-316 2 p.

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

  207. 2007
  208. A Comparison of Push and Pull Techniques for Ajax

    Bozdag, VE., Mesbah, A. & van Deursen, A., 2007, Proceedings of the 9th IEEE International Symposium on Web Site Evolution (WSE). Huang, S. & Penta, M. D. (eds.). IEEE, p. 15-22 8 p.

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

  209. A Model-Based Approach to Sequential Fault Diagnosis

    Pietersma, J., van Gemund, AJC. & Bos, A., 2007, In : IEEE Instrumentation and Measurement Magazine. 10, p. 46-52 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  210. A Reference Model for Strategic Supply Network Development

    Albani, A., Muessigmann, N. & Zaha, JM., 2007, Reference Modeling for Business Systems Analysis. Fettke, P. & Loos, P. (eds.). s.l.: Idea Group Publishing, p. 217-240 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  211. Advances in Intelligent Health Reasoning and its Application to IBDM

    Feldman, AB., Caporicci, M., Gracia, O. & Bos, A., 2007, Proceedings of the IEEE Aerospace Conference Big Sky, Montana, USA. s.n. (ed.). Montana, USA: IEEE Society, p. 1-12 12 p.

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

  212. Ajaxifying Classic Web Applications

    Mesbah, A., 2007, Proceedings of the 29th International Conference on Software Engineering (ICSE'07 Companion), DS. IEEE, p. 81-82 2 p.

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

  213. An Architectural Style for Ajax

    Mesbah, A. & van Deursen, A., 2007, Proceedings of the 6th Working IEEE/IFIP Conference on Software Architecture (WICSA'07). Paulish, D., Gorton, I., Tyree, J. & Soni, D. (eds.). Mumbai, India: IEEE, p. 44-53 10 p.

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

  214. An Integrated Crosscutting Concern Migration Strategy and its Application to JHotDraw

    Marin, A. M., Moonen, LMF. & van Deursen, A., 2007, Proceedings Seventh International Working Conference on Source Code Analysis and Manipulation (SCAM). Korel, B. & Godfrey, M. W. (eds.). s.l.: IEEE, p. 101-110 10 p.

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

  215. An analysis of arithmetic constraints on integer intervals

    Apt, KR. & Zoeteweij, P., 2007, In : Constraints. 12, p. 429-468 40 p.

    Research output: Contribution to journalArticleScientificpeer-review

  216. Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems

    Bruntink, M., 2007, Proceedings of the IEEE International Conference on Software Maintenance (ICSM). IEEE, p. 499-500 2 p.

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

  217. Applying a Model-Based Approach for Embedded System Development

    Bunse, C., Gross, HG. & Peper, C., 2007, 33th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2007). P. M"uller, E. M. (ed.). s.l.: IEEE, p. 121-128 8 p.

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

  218. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, AB., Provan, G. & van Gemund, AJC., 2007, Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA. Biswas, G., Koutsoukos, X. & Abdelwahed, S. (eds.). Nashville: ISIS, p. 290-297 8 p.

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

  219. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

    Feldman, AB., Provan, G. & van Gemund, AJC., 2007, Proceedings of the Seventh Symposium on Abstraction Reformulation, and Approximation, Whistler, Canada. Miguel, I. & Ruml, W. (eds.). Berlin: Springer, p. 139-154 16 p. (Lecture Notes in Computer Science; vol. 4612).

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

  220. Awareness bepaalt succes of falen van een EA-traject

    Go, A., Lee, C. & Dietz, JLG., 2007, In : Tiem: tijdschrift voor informatie en management. 21, p. 4-10 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  221. Benefits and Costs of Model-Based Fault Diagnosis for Semiconductor Manufacturing Equipment

    Pietersma, J. & van Gemund, AJC., 2007, Proceedings of INCOSE 2007, 17th International Symposium on Systems Engineering. s.n. (ed.). s.l.: s.n., p. 1-12 12 p.

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

  222. Conceptual Design Of A Hythane Based Infrastructure System For Combined Power And District Heat Production

    Ajah, AN., Mesbah, A., Grievink, J., Patil, A., Herder, PM. & Stikkelman, RM., 2007, Proceedings of the Chemical Engineering Transactions XII on the 10th Conference on Process Integration, Modelling and Optimisation for Energy Saving and Pollution Reduction. Klemes, J. (ed.). s.l.: Italian Association of Chemical Engineering, p. 1-6 6 p.

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

  223. Conceptual Design Of A Hythane Based Infrastructure System For Combined PowerAand District Heat Production

    Ajah, AN., Mesbah, A., Grievink, J., Patil, A., Herder, PM. & Stikkelman, RM., 2007.

    Research output: Contribution to conferencePosterScientific

  224. Costs and Benefits of Model-Based Diagnosis

    Pietersma, J. & van Gemund, AJC., 2007, Tangram: Model-based Integration and Testing of Complex High-Tech Systems. Tretmans, J. (ed.). Den Dolech 2, 5612 AZ Eindhoven, Netherlands: Embedded Systems Institute, p. 179-187 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  225. Designing Syntax Embeddings and Assimilations for Language Libraries

    Bravenboer, M. & Visser, E., 2007, Proceedings of the 4th International Workshop on Language Engineering (ATEM 2007). s.n. (ed.). Nashville, USA: s.n., p. 110-116 7 p.

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

  226. Diagnosis of embedded software using program spectra

    Zoeteweij, P., Abreu, RF., Golsteijn, R. & van Gemund, AJC., 2007, Proceedings 14th International Conference on the Engineering of Computer Based Systems (ECBS). Leaney, J., Rozenblit, J. W. & Peng, J. (eds.). s.l.: IEEE, p. 213-218 6 p.

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

  227. Digitale duurzaamheid

    van der Meer, K., 2007, ICT-Zakboek. Bemelmans, TMA. & van Keulen, M. (eds.). Postbus 4, 7000 RA Doetinchem: Reed Business Information, p. 526-533 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  228. Discovering Faults in Idiom-Based Exception Handling

    Bruntink, M., van Deursen, A. & Tourwé, T., 2007, Ideals: evolvability of Software-Intensive High-Tech Systems. van Engelen, R. & Voeten, J. (eds.). Eindhoven: Embedded Systems Institute, p. 39-54 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  229. Documentaire informatiesystemen

    van der Meer, K. & Houben, GJ., 2007, ICT Zakboek. Bemelmans, TMA. & van Keulen, M. (eds.). Postbus 4, 7000 RA Doetinchem: Reed Business Information, p. 203-210 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  230. Documenting Typical Crosscutting Concerns

    Marin, A. M., Moonen, LMF. & van Deursen, A., 2007, Proceedings 14th IEEE Working Conference on Reverse Engineering (WCRE). Penta, M. D. & Maletic, J. I. (eds.). s.l.: IEEE, p. 31-40 10 p.

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

  231. Dynamic Analysis Techniques for the Reconstruction of Architectural Views

    Cornelissen, SGM., 2007, Proceedings of the 14th Working Conference on Reverse Engineering (WCRE). di Penta, M. & Maletic, JI. (eds.). s.l.: IEEE, p. 281-284 4 p.

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

  232. Enterprise Ontology and Enterprise Architecture

    Dietz, JLG. & Hoogervorst, JAP., 2007, In : Journal of Enterprise Architecture. 2, 1, p. 3-20 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  233. Establishing Evidence for Safety Cases in Automotive Systems

    Ridderhof, W., Gross, HG. & Doerr, H., 2007, 26th Intl Conference Computer Safety, Reliability and Security (SAFECOMP 2007). Oster, N. & Saglietti, F. (eds.). Springer, p. 1-13 13 p. (Lecture Notes in Computer Science; vol. 4680).

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

  234. Evaluation of Test-Driven Development

    Wasmus, H. & Gross, HG., 2007, 2nd Working Conference on Evaluation of Novel Approaches to Software Engineering. C. Gonzales-Perez, L. A. M. (ed.). s.l.: INSTICC PRESS, p. 103-110 8 p.

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

  235. Exploring Similarities in Execution Traces

    Cornelissen, SGM. & Moonen, LMF., 2007, Proceedings of the 3rd International Workshop on Program Comprehension through Dynamic Analysis (PCODA). Zaidman, A., Hamou-Lhadj, A. & Greevy, O. (eds.). s.l.: Technische Universiteit Delft, p. 6-10 5 p.

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

  236. Fault diagnosis of embedded software using program spectra

    Zoeteweij, P., Abreu, RF., Golsteijn, R. & van Gemund, AJC., 2007, Proceedings of Symposium on Verification and Validation of Software Systems (VVSS'07). Groot, P. (ed.). Eindhoven: Eindhoven University of Technology, p. 47-53 7 p.

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

  237. Fusing a Transformation Language with an Open Compiler

    Kalleberg, K. T. & Visser, E., 2007, Proceedings of the Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007). Johnstone, A. & Sloane, T. (eds.). amsterdam: Elsevier, p. 18-31 14 p.

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

  238. Generating Manifestations of Max-Fault Min-Cardinality Diagnoses

    Feldman, AB., Provan, G. & van Gemund, AJC., 2007, Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA. Biswas, G., Koutsoukos, X. & Abdelwahed, S. (eds.). Nashville: s.n., p. 83-90 8 p.

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

  239. Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking

    Bouwers, E., Bravenboer, M. & Visser, E., 2007, Proceedings of the Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007). Johnstone, A. & Sloane, T. (eds.). amsterdam: Elsevier, p. 82-96 15 p.

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

  240. Identifying crosscutting concerns using fan-in analysis

    Marin, A. M., van Deursen, A. & Moonen, LMF., 2007, In : ACM Transactions on Software Engineering and Methodology. 17, p. 1-37 37 p.

    Research output: Contribution to journalArticleScientificpeer-review

  241. Impact of Principles on Enterprise Engineering

    Op 't Land, M. & Proper, E., 2007, Proceedings of the 15th European Conference on Information Systems. Osterle, H., Schelp, J. & Winter, R. (eds.). St Gallen, Switzerland: University of St Gallen, Institute of Information Management, p. 1965-1976 12 p.

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

  242. Interchange Formats and Automated Benchmark Model Generators for Model-Based Diagnostic Inference

    Feldman, AB., Provan, G. & van Gemund, AJC., 2007, Proceedings of the 18th International Workshop on Principles of Diagnosis (DX-07), Nashville, Tennessee, USA. Biswas, G., Koutsoukos, X. & Abdelwahed, S. (eds.). Nashville: s.n., p. 91-98 8 p.

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

  243. Migrating Multi-page Web Applications to Single-page Ajax Interfaces

    Mesbah, A. & van Deursen, A., 2007, Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR). Krikhaar, RL., Verhoef, C. & di Lucca, GA. (eds.). Amsterdam: IEEE, p. 181-190 10 p.

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

  244. Model-Based Diagnosis

    Pietersma, J. & van Gemund, AJC., 2007, Tangram: Model-based Integration and Testing of Complex High-Tech Systems. Tretmans, J. (ed.). Den Dolech 2, 5612 AZ Eindhoven, Netherlands: Embedded Systems Institute, p. 163-178 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  245. Model-Driven Consistency Checking of Behavioural Specifications

    Graaf, BS. & van Deursen, A., 2007, Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007). Fernandes, J. M., Machado, R. J., Khedri, R. & Clarke, S. (eds.). s.l.: IEEE, p. 115-126 12 p.

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

  246. Model-Driven Evolution of Software Architectures

    Graaf, BS., 2007

    Research output: ThesisDissertation (TU Delft)Scientific

  247. Model-Driven Migration of Supervisory Machine Control Architectures

    Graaf, BS. & van Deursen, A., 2007, Ideals: evolvability of Software-Intensive High-Tech Systems. van Engelen, R. & Voeten, J. (eds.). Eindhoven: Embedded Systems Institute, p. 127-142 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  248. Model-Driven Software Evolution: A Research Agenda

    van Deursen, A., Visser, E. & Warmer, J., 2007, Proceedings 1st International Workshop on Model-Driven Software Evolution (MoDSE). Tamzalit, D. (ed.). s.l.: University of Nantes, p. 41-49 9 p.

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

  249. Model-driven evolution of software architectures

    Graaf, BS., 2007, Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007). Krikhaar, R., Verhoef, C. & Lucca, G. A. D. (eds.). s.l.: IEEE, p. 357-360 4 p.

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

  250. Monitoring Requirements Evolution using Views

    Lormans, M., 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR). Krikhaar, R. L., Verhoef, C. & Lucca, G. A. D. (eds.). s.l.: IEEE, p. 349-352 4 p.

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

  251. On the Accuracy of Spectrum-based Fault Localization

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2007, Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART'07). McMinn, P. (ed.). s.l.: IEEE, p. 89-98 10 p.

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

  252. Overview of the International Workshop on Code Based Software Security Assessments (CoBaSSA 2007)

    Moonen, LMF. & Mancoridis, S., 2007, Proceedings 14th IEEE Working Conference on Reverse Engineering (WCRE). Penta, M. D. & Maletic, J. I. (eds.). IEEE, p. 300-302 3 p.

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

  253. Preventing Injection Attacks with Syntax Embedding -- A Host and Guest Language Independent Approach

    Bravenboer, M., Dolstra, E. & Visser, E., 2007, Generative Programming and Component Engineering: Sixth International Conference (GPCE 2007). Lawall, J. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 3-12 10 p.

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

  254. Programmatuur

    van Deursen, A. & Klint, P., 2007, ICT Zakboek. en T.M.A. Bemelmans, R. J. K. M. L. (ed.). Reed Business Information, p. 69-108 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  255. Recht en Wonder

    Dietz, JLG., 2007, Liber Amicorum tgv de 60e verjaardag van prof. dr. Jaap van den Herik. Donkers, J., Mommers, L., Postma, E. & Schmidt, A. (eds.). Maastricht: MICC, Universiteit Maastricht, p. 88-91 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  256. Reformulating Component Identification as Document Analysis Problem

    Gross, HG., Lormans, M. & Zhou, J., 2007, 2nd Intl Conference on Software and Data Technologies. J. Filipe, B. S. (ed.). s.l.: INSTICC PRESS, p. 111-116 6 p.

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

  257. Reliability Analysis of Hierarchical Systems using Statistical Moments

    Reijns, GL. & van Gemund, AJC., 2007, In : IEEE Transactions on Reliability. 56, p. 1-8 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  258. Simple Crosscutting Concerns are not So Simple

    Bruntink, M., van Deursen, A., d'Hondt, M. & Tourwé, T., 2007, Ideals: evolvability of Software-Intensive High-Tech Systems. van Engelen, R. & Voeten, J. (eds.). Eindhoven: Embedded Systems Institute, p. 23-38 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  259. SoQueT: Query-Based Documentation of Crosscutting Concerns

    Marin, A. M., Moonen, LMF. & van Deursen, A., 2007, Proceedings 29th International Conference on Software Engineering (ICSE'07). Knight, J., Emmerich, W. & Rothermel, G. (eds.). sl: IEEE, p. 758-761 4 p.

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

  260. Software fault diagnosis

    Zoeteweij, P., Abreu, RF. & van Gemund, AJC., 2007, 19th IFIP International Conference on Testing of Communicating Systems: Hand-Outs for the Tutorial Day of TestCom/FATES 2007. Petrenko, A., Veanes, M., Tretmans, J. & Grieskamp, W. (eds.). s.l.: Tartu University Press, p. 1-26 26 p.

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

  261. Special Issue on Source Code Analysis and Manipulation (SCAM 2006)

    Penta, M. D. & Moonen, LMF., 2007, In : Journal of Software Maintenance and Evolution: research and practice. 19, p. 203-204 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  262. Spoofax: An Interactive Development Environment for Program Transformation with Stratego/XT

    Kalleberg, K. T. & Visser, E., 2007, Proceedings of the Seventh Workshop on Language Descriptions, Tools and Applications (LDTA 2007). Johnstone, A. & Sloane, T. (eds.). Amsterdam: Elsevier, p. 47-50 4 p.

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

  263. Supporting Reliable Software Evolution through Program Analysis

    Boogerd, CJ., 2007, Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR). Krikhaar, R., Verhoef, C. & Lucca, G. D. (eds.). s.l.: IEEE, p. 341-344 4 p.

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

  264. Symbolic Factorization of Propagation Delays out of Diagnostic System Models

    Pietersma, J. & van Gemund, AJC., 2007, DX-07, 18th International Workshop on Principles of Diagnosis. Biswas, G., Koutsoukos, X. & Abdelwahed, S. (eds.). Nashville, USA: s.n., p. 170-177 8 p.

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

  265. The Delft MS Curriculum on Embedded Systems

    Gross, HG. & van Gemund, AJC., 2007, In : SIGBED Review. 4, p. 1-10 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  266. Toward Evidence Based Splitting of Organizations

    Op 't Land, M., 2007, Proceedings of the IFIP WG 8.1 Working Conference. Ralyté, J., Brinkkemper, S. & Henderson-Sellers, B. (eds.). berlin: Springer, p. 328-342 15 p. (IFIP: a Springer series in computer science; vol. 244).

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

  267. Towards Software Component Procurement Automation with Latent Semantic Analysis

    Gross, HG., Lormans, M. & Zhou, J., 2007, In : Electronic Notes in Theoretical Computer Science. 189, p. 51-68 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  268. Trace Visualization Using Hierarchical Edge Bundles and Massive Sequence Views

    Holten, D., Cornelissen, SGM. & van Wijk, JJ., 2007, Proceedings of the 4th International Workshop on Visualizing Software for Understanding and Analysis (VISSOFT). Maletic, JI., Telea, A. & Marcus, A. (eds.). s.l.: IEEE, p. 47-54 8 p.

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

  269. Understanding Execution Traces Using Massive Sequence and Circular Bundle Views

    Cornelissen, SGM., Holten, D., Zaidman, AE., Moonen, LMF., van Wijk, JJ. & van Deursen, A., 2007, Proceedings of the 15th International Conference on Program Comprehension (ICPC). Kenny Wong, P. T. (ed.). s.l.: IEEE, p. 49-58 10 p.

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

  270. Using MDE for generic comparison of views

    Graaf, BS. & van Deursen, A., 2007, Proceedings of 4th MoDeVVa Workshop: Model-Driven Engineering, Verification and Validation. Baudry, B., Faivrea, A., Ghosh, S. & Pretschner, A. (eds.). s.l.: INRIA, p. 57-66 10 p.

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

  271. Visualization of Domain-Specific Modelling Languages Using UML

    Graaf, BS. & van Deursen, A., 2007, Proceedings 14th International Conference and Workshop on the Engineering of Computer Based Systems (ECBS). Leaney, J., Rozenblit, J. W. & Peng, J. (eds.). s.l.: IEEE, p. 586-595 10 p.

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

  272. Visualizing Testsuites to Aid in Software Understanding

    Cornelissen, SGM., van Deursen, A., Moonen, LMF. & Zaidman, AE., 2007, Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR). Krikhaar, R., Verhoef, C. & Lucca, G. D. (eds.). s.l.: IEEE, p. 213-222 10 p.

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

  273. Workshop on Program COmprehension through Dynamic Analysis (PCODA'07)

    Hamou-Lhadj, A., Zaidman, AE. & Greevy, O., 2007, Proceedings of the 14th Working Conference on Reverse Engineering (WCRE2007). IEEE, p. 298-299 2 p.

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

  274. 2008
  275. A Component- and Push-based Architectural Style for Ajax Applications

    Mesbah, A. & van Deursen, A., 2008, In : Journal of Systems and Software. 81, p. 2194-2209 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  276. A Dynamic Modeling Approach to Software Multiple-Fault Localization

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2008, Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08). Grastien, A. & Stumptner, M. (eds.). Blue Mountains, NSW, Australia: The Australian National University, p. 7-14 8 p.

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

  277. A framework and algorithm for model-based active testing

    Feldman, AB., Provan, G. & van Gemund, AJC., 2008, Proceedings of the First International Conference on Prognostics and Health Management (PHM'08), Denver, Colorado, USA. Eklund, N. & Tumer, I. (eds.). Los Alamitos, USA: IEEE Society, p. 1-8 8 p.

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

  278. A framework and algorithm for model-based active testing

    Feldman, AB., Provan, G. & van Gemund, AJC., 2008, Proceedings of the Seventeenth International Workshop on Principles of Diagnosis (DX'08), Blue Mountains, Australia. Grastien, A., Stumptner, M. & Mayer, W. (eds.). Blue Mountains, Australia: The Australian National University, p. 71-78 8 p.

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

  279. Advances in Enterprise Engineering I

    Barjis, J. (ed.), Dietz, J. & Albani, A., 2008, Berlin: Springer. (Lecture Notes in Business Information Processing|10)

    Research output: Book/ReportBook editingScientific

  280. An Adaptive Push/Pull Algorithm for AJAX Applications

    Bozdag, VE. & van Deursen, A., 2008, ICWE 2008 Workshops. Gaedke, M. & Bielikova, M. (eds.). Bratislave, Slovakia: Vydavatel'stvo STU, p. 95-100 6 p.

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

  281. An Assessment Methodology for Trace Reduction Techniques

    Cornelissen, SGM., Moonen, LMF. & Zaidman, A., 2008, Proceedings of the 24th International Conference on Software Maintenance. Mei, K. W. & Wong, K. (eds.). Los Alamitos, USA: IEEE, p. 107-116 10 p.

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

  282. An Industrial Case Study in Reconstructing Requirements Views

    Lormans, M., van Deursen, A. & Gross, HG., 2008, In : Empirical Software Engineering. 13

    Research output: Contribution to journalArticleScientificpeer-review

  283. An Integrated System to Manage Crosscutting Concerns in Source Code

    Marin, A. M., 2008

    Research output: ThesisDissertation (TU Delft)Scientific

  284. An Observation-based Model for Fault Localization

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2008, 6th Workshop on Dynamic Analysis (WODA'08). Liblit, B. & Rountev, A. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 64-70 7 p.

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

  285. Applying Architecture and Ontology to the Splitting and Allying of Enterprises

    Op 't Land, M., 2008, Schildmos 13, 3994 LS Houten, Netherlands. 1 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  286. Architecture Support for Runtime Integration and Verification of Component-based Systems of Systems

    Gonzalez Sanchez, A., Piel, EAB. & Gross, HG., 2008, 23rd IEEE/ACM Internation Conference on Automated Software Engineering - Workshop Proceedings (ASE workshops 2008). Caporuscio, M., di Marco, A., Mariani, L., Muccini, H., Ploni, A. & Sheory, O. (eds.). L'Aquila, Italy: IEEE, p. 41-48 8 p.

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

  287. Assessing the Value of Coding Standards: An Empirical Study

    Boogerd, CJ. & Moonen, LMF., 2008, Proceedings of the 24th IEEE International Conference on Software Maintenance. Mei, H. & Wong, K. (eds.). Beijing, China: IEEE Society, p. 277-286 10 p.

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

  288. Atomic Upgrading of Distributed Systems

    van der Burg, S., Dolstra, E. & de Jonge, M., 2008, First ACM Workshop on Hot Topics in Software Upgrades (HotSWUp). Dumitras, T., Dig, D. & Neamtiu, I. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 1-5 5 p.

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

  289. Automated Fault Diagnosis in Embedded Systems

    Zoeteweij, P., Pietersma, J., Abreu, RF., Feldman, AB. & van Gemund, AJC., 2008, Proceedings of the 2nd IEEE International Conference on Secure Systems Integration and Reliability Improvement (SSIRI'08)s.n.. s.n. (ed.). Los Alamitos, USA: IEEE, p. 103-110 8 p.

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

  290. Automatic Software Fault Localization using Generic Program Invariants

    Abreu, RF., Gonzalez Sanchez, A., Zoeteweij, P. & van Gemund, AJC., 2008, 23rd Annual ACM Symposium on Applied Computing (SAC'08). Wainwright, R. L. & Haddad, H. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 712-717 6 p.

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

  291. Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks

    Albani, A. & Dietz, JLG., 2008, Software and Data Technologies. Filipe, B. & Helfert, M. (eds.). Springer, p. 3-22 428 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  292. Causal Relationships between Improvements in Software Development Processes and Final Software Product Quality

    van Solingen, DM. & Berghout, E., 2008, In : Electronic Journal of Information Systems Evaluation. 11, p. 41-50 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  293. Code Generation by Model Transformation. A Case Study in Transformation Modularity

    Hemel, Z., Kats, LCL. & Visser, E., 2008, In : Lecture Notes in Computer Science. 5063, p. 183-198 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  294. Computing minimal diagnoses by greedy stochastic search

    Feldman, AB., Provan, G. & van Gemund, AJC., 2008, Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), July 13-17 Chicago, Illinos, USA. Fox, D. & Gomes, CP. (eds.). Chicago, USA: American Association for Artificial Intelligence (AAAI), p. 919-924 6 p.

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

  295. Computing observation vectors for max-fault min-cardinality diagnoses

    Feldman, AB., Provan, G. & van Gemund, AJC., 2008, Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI'08), July 13-17 Chicago, Illinos, USA. Fox, D. & Gomes, CP. (eds.). Chicago, USA: American Association for Artificial Intelligence (AAAI), p. 911-918 8 p.

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

  296. Crawling Ajax by Inferring User Interface State Changes

    Mesbah, A., Bozdag, VE. & van Deursen, A., 2008, Proceedings of the 8th International Conference on Web Engineering (ICWE'08). Schwabe, D., Curbera, F. & Dantzig, P. (eds.). Los Alamitos, USA: IEEE, p. 122-134 13 p.

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

  297. Dataset preservation for the long term: results of the dareLux project

    Dürr, EH., Luxemburg, WMJ., van der Meer, K. & Dekker, R., 2008, In : International Journal of Digital Curation. 3, p. 29-43 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  298. Declarative Access Control for WebDSL: Combining Language Integration and Separation of Concerns

    Groenewegen, DM. & Visser, E., 2008, Eighth International Conference on Web Engineering (ICWE 2008). Schwabe, D. & Curbera, F. (eds.). Los Alamitos, USA: IEEE, p. 175-188 14 p.

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

  299. Designing Syntax Embeddings and Assimilations for Language Libraries

    Bravenboer, M. & Visser, E., 2008, In : Lecture Notes in Computer Science. 5002, p. 34-46 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  300. Distributed Simulation in Industry - A survey Part 3 - The HLA standard in Industry

    den Boer, AC., de Bruin, A. & Verbraeck, A., 2008, Proceedings of the 2008 Winter Simulation Conference. Mason, SJ., Hill, R., L. Moench & O. Rose (eds.). IEEE Society, p. 1-9 9 p.

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

  301. Embedded System Construction - Evaluation of a Model-Driven and Component-Based Development Approach

    Bunse, C., Gross, HG. & Peper, C., 2008, Workshop on Empirical Studies of Model-Driven Engineering (ESMDE 2008). Arisholm, E. & Banda, A. (eds.). Norway: Simula Research Laboratory, p. 41-50 10 p.

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

  302. Enterprise Architecture in Enterprise Engineering

    Hoogervorst, JA., 2008, In : Enterprise Modelling and Information Systems Architectures. 3, p. 3-11 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  303. Enterprise Ontology Based Splitting and Contracting of Organizations

    Op 't Land, M. & Dietz, JLG., 2008, Proceedings of SAC'08. Wainwright, RL. & Haddad, HM. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 524-531 8 p.

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

  304. Enterprise Ontology based Application Portfolio Rationalization at Rijkswaterstaat

    Op 't Land, M., Middeljans, K. & Buller, V., 2008, Via Nova Architectura: TU Delft, Rijkswaterstaat, Capgemini. 1 p.

    Research output: Book/ReportReportPopular

  305. Enterprise Ontology in Enterprise Engineering

    Dietz, JLG., 2008, Proceedings of SAC'08. of Wainwright, N. M. I. M. & Haddad, USA. (eds.). New York: Association for Computing Machinery (ACM), p. 572-579 8 p.

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

  306. Execution Trace Analysis through Massive Sequence and Circular Bundle Views

    Cornelissen, SGM., Zaidman, AE., Holten, D., Moonen, LMF., van Deursen, A. & van Wijk, JJ., 2008, In : Journal of Systems and Software. 81, p. 2252-2268 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  307. Generating Editors for Embedded Languages. Integrating SGLR into IMP

    Kats, LCL., Kalleberg, K. T. & Visser, E., 2008, Language Descriptions, Tools, and Applications (LDTA'08). Johnstone, A. & Vinju, J. (eds.). Elsevier, p. 91-107 17 p.

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

  308. Generating version convertors for domain-specific languages

    de Geest, G., Vermolen, SD., van Deursen, A. & Visser, E., 2008, Proceedings 15th Working Conference on Reverse Engineering (WCRE 2008). Zaidman, A., Di Penta, M. & Hassan, A. (eds.). Los Alamitos, USA: IEEE, p. 197-201 5 p.

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

  309. Heterogeneous Coupled Evolution of Software Languages

    Vermolen, SD. & Visser, E., 2008, In : Lecture Notes in Computer Science. 5301, p. 630-644 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  310. Instrument for fast and effective splitting of organizations

    Op 't Land, M., 2008, Delft University of Technology, Capgemini. 1 p.

    Research output: Book/ReportBookPopular

  311. Instrument voor snelle en effectieve splitsing van organisaties

    Op 't Land, M., 2008, Delft University of Technology, Capgemini. 1 p.

    Research output: Book/ReportBookPopular

  312. Introduction to the Special Issue on Program Comprehension through Dynamic Analysis (PCODA)

    Zaidman, AE., Hamou-Lhadj, A. & Greevy, O., 2008, In : Journal of Software Maintenance and Evolution: research and practice. 20, p. 223-225 3 p.

    Research output: Contribution to journalArticleScientificpeer-review

  313. Let a thousand flowers bloom

    van der Meer, K., 2008, Let a thousand flowers bloom : Essays in Commemoration of Prof.dr. René Wagenaar. Bouwman, H., Hoogeweegen, M., Janssen, M. & Pronk, H. (eds.). Amsterdam, The Netherlands: IOS Press, p. 419-427 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  314. Maximal Laziness - An Efficient Interpretation Technique for Purely Functional DSLs

    Dolstra, E., 2008, In : Electronic Notes in Theoretical Computer Science. p. 1-15 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  315. Mining Software Repositories to Study Co-Evolution of Production and Test Code

    Zaidman, AE., Rompaey, B. V., Demeyer, S. & van Deursen, A., 2008, Proceedings 1st International Conference on Software Testing. Hierons, R. & Mathur, A. (eds.). Los Alamitos, USA: IEEE, p. 220-229 10 p.

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

  316. Mixing source and bytecode: a case for compilation by normalization

    Kats, LCL., Bravenboer, M. & Visser, E., 2008, In : ACM SIGPLAN Notices. 43, p. 91-108 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  317. Model-Driven Migration of Supervisory Machine Control Architectures

    Graaf, BS., Weber, S. & van Deursen, A., 2008, In : Journal of Systems and Software. 81, p. 517-535 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  318. Modelling and Generating Ajax Applications: A Model-Driven Approach

    Gharavi, V., Mesbah, A. & van Deursen, A., 2008, Proceedings of the 7th International Workshop on Web-Oriented Software Technologies (IWWOST'2008) in conjuction with the 8th International Conference on Web Engineering (ICSE'2008). Olsina, L., Pastor, O., Schwabe, D., Rossi, G. & Winckler, M. (eds.). p. 32-37 6 p. (CEUR Workshop Proceedings; vol. 445).

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

  319. NixOS: A Purely Functional Linux Distribution

    Dolstra, E. & Löh, A., 2008, In : ACM SIGPLAN Notices. 43, p. 367-378 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  320. On the Nature of Business Rules

    Dietz, JLG., 2008, Advances in Enterprise Engineering I. Dietz, JLG., Albani, A. & Barjis, J. (eds.). Heidelberg: Springer, p. 1-15 15 p. (Lecture Notes In Business Information Processing; vol. 10).

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

  321. On the Performance of Fault Screeners in Software Development and Deployment

    Abreu, RF., Gonzalez Sanchez, A., Zoeteweij, P. & van Gemund, AJC., 2008, 3rd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'08). Gonzalez-Perez, C. & Jablonski, S. (eds.). Setubal, Portugal: INSTICC PRESS, p. 123-130 8 p.

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

  322. On the Use of Data Flow Analysis in Static Profiling

    Boogerd, CJ. & Moonen, LMF., 2008, Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation. Cordy, J. & Zhang, L. (eds.). Los Alamitos, USA: IEEE, p. 79-88 10 p.

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

  323. On the interplay between Software Testing and Evolution and its effect on Program Comprehension

    Moonen, LMF., van Deursen, A., Zaidman, AE. & Bruntink, M., 2008, Software Evolution. Mens, T. & Demeyer, S. (eds.). Heidelberg, Berlin: Springer, p. 173-202 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  324. Prioritizing Model-Based Debugging Diagnostic Reports

    Mayer, W., Abreu, RF., Stumptner, M. & van Gemund, AJC., 2008, Procedings of the 19th International Workshop on Principles of Diagnosis (DX'08). Grastien, A., Stumptner, M. & Mayer, W. (eds.). Blue Mountains, NSW, Australia: The Australian National University, p. 127-134 8 p.

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

  325. Reengineering Idiomatic Exception Handling in Legacy C Code

    Bruntink, M., 2008, Proceedings of the 12th European Conference on Software Maintenance and Reengineering (CSMR'08). Kontogiannis, K., Tjortjis, C. & Winter, A. (eds.). Los Alamitos, USA: IEEE, p. 133-142 10 p.

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

  326. Renovation of Idiomatic Crosscutting Concerns in Embedded Systems

    Bruntink, M., 2008

    Research output: ThesisDissertation (TU Delft)Scientific

  327. Report on the Tenth ICFP Programming Contest

    Dolstra, E., Hage, J., Heeren, B., Holdermans, S., Jeuring, J., Löh, A., Löh, C., Middelkoop, A., Rodriguez, A. & van Schie, J., 2008, In : ACM SIGPLAN Notices. 43, p. 397-408 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  328. Self Modelling Knowledge Networks

    Derballa, V. & Albani, A., 2008, Encyclopedia of Networked and Virtual Organizations. Putnik, GD. & Cunha, MM. (eds.). Hershey, USA: Information science reference, p. 1413-1420 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  329. Software Language Evolution

    Vermolen, SD., 2008, Proceedings 15th Working Conference on Reverse Engineering (WCRE 2008). Zaidman, A., di Penta, M. & Hassan, A. (eds.). Los Alamitos, USA: IEEE, p. 323-326 4 p.

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

  330. Sort-based Refactoring of Crosscutting Concerns to Aspects

    van der Rijst, R., Marin, A. M. & van Deursen, A., 2008, Proceedings 4th International Workshop on Linking Aspect Technology and Evolution (LATE'08). Kellens, A. & Marin, M. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 1-5 5 p.

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

  331. Splitting a Large Software Archive for Easing Future Software Evolution: An Industrial Experience Report using Formal Concept Analysis

    Glorie, M., Zaidman, AE., Hofland, L. & van Deursen, A., 2008, Proceedings 12th European Conference on Software Maintenance and Reengineering (CSMR 2008). Kontogiannis, K., Tjortjis, C. & Winter, A. (eds.). Los Alamitos, USA: IEEE, p. 153-162 10 p.

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

  332. Stratego/XT 0.17. A Language and Toolset for Program Transformation

    Bravenboer, M., Kalleberg, K. T., Vermaas, R. & Visser, E., 2008, In : Science of Computer Programming. 72, p. 52-70 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  333. Testing Challenges of Maritime Safety and Security Systems of Systems

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & Glandrup, M., 2008, Testing: Academic and Industrial Conference. Practice and Research Techniques. Roper, M. (ed.). Los Alamitos, USA: IEEE, p. 35-38 4 p.

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

  334. Towards a Business-Oriented Specification for Services.

    Terlouw, LI., 2008, Advances in Enterprise Engineering I. Dietz, JLG., Albani, A. & Barjis, J. (eds.). Heidelberg: Springer, p. 122-136 15 p. (Lecture Notes In Business Information Processing; vol. 10).

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

  335. Towards a Systematic Method for Identifying Business Components

    Albani, A., Overhage, S. & Birkmeier, D., 2008, Components-Based Software Engineering, 11th International Symposium, CBSE 2008. Chaudron, MRV., Szyperski, C. & Reussner, R. (eds.). Springer, p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 5282).

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

  336. Using Cluster Analysis to Improve the Design of Component Interfaces

    Adnan, R., Graaf, BS., van Deursen, A. & Zonneveld, J., 2008, Proceedings 23d ACM/IEEE International Conference on Automated Software Engineering (ASE'08). Ireland, A. & Visser, W. (eds.). Los Alamitos, USA: IEEE, p. 383-386 4 p.

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

  337. WebDSL: A Case Study in Domain-Specific Language Engineering

    Visser, E., 2008, In : Lecture Notes in Computer Science. 5235, p. 291-373 83 p.

    Research output: Contribution to journalArticleScientificpeer-review

  338. WebDSL: A Domain-Specific Language for Dynamic Web Applications

    Groenewegen, DM., Hemel, Z., Kats, LCL. & Visser, E., 2008, Companion to the 23rd ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA 2008). Mielke, N. & Zimmermann, O. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 779-780 2 p.

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

  339. WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications

    Hemel, Z., Verhaaf, R. & Visser, E., 2008, In : Lecture Notes in Computer Science. 5301, p. 113-127 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  340. When Frameworks Let You Down. Platform-Imposed Constraints on the Design and Evolution of Domain-Specific Languages

    Groenewegen, DM., Hemel, Z., Kats, LCL. & Visser, E., 2008, Workshop on Domain Specific Modelling (DSM'08). Gray, J., Sprinkle, J., Tolvanen, J-P. & Rossi, M. (eds.). Nashville, Tennessee, USA, p. 64-66 3 p.

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

  341. Workshop on Program Comprehension through Dynamic Analysis (PCODA'08)

    Zaidman, AE., Hamou-Lhadj, A., Greevy, O. & Roethlisberger, D., 2008, Proceedings of the 15th Working Conference on Reverse Engineering (WCRE). Hassan, A., Zaidman, A. & Penta, M. D. (eds.). Los Alamitos, USA: IEEE, p. 245-246 2 p.

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

  342. 2009
  343. A Bayesian Approach to Diagnose Multiple Intermittent Faults

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09). Frisk, E., Nyberg, M., Krysander, M. & Aslund, J. (eds.). Linkoping, Sweden: Linkoping University, p. 27-33 7 p.

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

  344. A Follow-Up Reflection on Software Process Improvement ROI

    van Solingen, DM., 2009, In : IEEE Software. 26, 5, p. 77-79 3 p.

    Research output: Contribution to journalArticleScientificpeer-review

  345. A Framework for Flexible User Profile Mashups

    Abel, F., Heckmann, D., Herder, E., Hidders, AJH., Houben, GJPM., Krause, D., Leonardi, E. & van der Sluijs, KAM., 2009, Proceedings of International Workshop on Adaptation and Personalization for Web 2.0 (AP-WEB 2.0 2009). Dattolo, A., Tasso, C., Farzan, R., Kleanthous, S., Bueno Vallejo, D. & Vassileva, J. (eds.). Tilburg, Aachen: CEUR, p. 1-10 10 p. (Ceur Workshop Proceedings; vol. 485).

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

  346. A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based Diagnosis

    Abreu, RF. & van Gemund, AJC., 2009, Proceedings of the Eighth Symposium on Abstraction Reformulation, and Approximation (SARA'09),. Bulitko, V. & Beck, C. (eds.). California, USA: American Association for Artificial Intelligence (AAAI), p. 2-9 8 p.

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

  347. A Model for the Measurement of the Runtime Testability of Component-Based Systems

    Gonzalez Sanchez, A., Piel, EAB. & Gross, HG., 2009, Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops. Andrews, A., Offutt, J. & Runeson, P. (eds.). Los Alamitos: IEEE/CS, p. 19-28 10 p.

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

  348. A Model-based Software Reasoning Approach to Software Debugging

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, Opportunities and Challenges for Next-Generation Applied Intelligence. Chien, B-C. & Hong, T-P. (eds.). Berlin: Springer, p. 233-239 341 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  349. A New Bayesian Approach to Multiple Intermittent Fault Diagnosis

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI'09) Pasadena, California, USA. Boutilier, C. (ed.). California, USA: American Association for Artificial Intelligence (AAAI), p. 653-658 6 p.

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

  350. A Probe Framework for Monitoring Embedded Real-Time Systems

    Kanstren, TS., 2009, Proceedings of the 4th International Conference on Internet Monitoring and Protection (ICIMP2009). Georgescu, S., Heikkinen, S. & Popescu, M. (eds.). Los Alamitos: IEEE/CS, p. 109-115 7 p.

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

  351. A Survey on distributed Simulation in Industry

    Boer, C. A., de Bruin, A. & Verbraeck, A., 2009, In : Journal of Simulation. 3, p. 3-16 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  352. A Systematic Survey of Program Comprehension through Dynamic Analysis

    Cornelissen, SGM., Zaidman, AE., van Deursen, A., Moonen, LMF. & Koschke, R., 2009, In : IEEE Transactions on Software Engineering. 35, 5, p. 684-702 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  353. A practical evaluation of spectrum-based fault localization

    Abreu, RF., Zoeteweij, P., Golsteijn, R. & van Gemund, AJC., 2009, In : Journal of Systems and Software. 82, 11, p. 1780-1792 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  354. Abstracting Common Business Rules to Petri Nets

    van Hee, KM., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2009, Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency. Sidorova, N. & Serebrenik, A. (eds.). s.l.: s.n., p. 37-49 13 p.

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

  355. An integrated crosscutting concern migration strategy and its semi-automated application to JHotDraw

    Marin, A. M., van Deursen, A., Moonen, LMF. & van der Rijst, R., 2009, In : Automated Software Engineering. 26, 2, p. 323-356 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  356. An introduction to enterprise engineering

    Dietz, JLG., Albani, A. & Barjis, J., 2009, Advances in enterprise engineering III. Albani, A., Barjis, J. & Dietz, J. L. G. (eds.). Berlin, Germany: Springer, p. 7-14 200 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  357. Analysis and Testing of Ajax-based Single-Page Web Applications

    Mesbah, A., 2009, Delft. 208 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  358. ArchiMate and DEMO - mates to date?

    Ettema, RW. & Dietz, JLG., 2009, Advances in Enterprise Engineering III. Albani, A., Barjis, J. & Dietz, JLG. (eds.). Berlin: Springer, p. 172-186 15 p. (Lecture Notes In Business Information Processing; vol. 34).

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

  359. Automated Security Testing of Web Widget Interactions

    Bezemer, C., Mesbah, A. & van Deursen, A., 2009, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09). van Vliet, H. & Issarny, V. (eds.). New York: Association for Computing Machinery (ACM), p. 81-90 10 p.

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

  360. Behaviour Pattern-Based Model Generation for Model-Based Testing

    Kanstren, TS., 2009, Proceedings of the 1st International Conference on Pervasive Patterns and Applications (PATTERNS 2009). Guerrero, J. (ed.). Los Alamitos: IEEE/CS, p. 233-241 9 p.

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

  361. Code Generation by Model Transformation: A Case Study in Transformation Modularity

    Hemel, Z., Kats, LCL., Groenewegen, DM. & Visser, E., 2009, In : Software and Systems Modeling. p. 1-28 28 p.

    Research output: Contribution to journalArticleScientificpeer-review

  362. Criteria for the Evaluation of Implemented Architectures

    Bouwers, EM., Visser, J. & van Deursen, A., 2009, Proceedings of the 25th International Conference on Software Maintenance (ICSM 2009). Xie, T. & Kontogiannis, K. (eds.). Los Alamitos: IEEE/CS, p. 73-82 10 p.

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

  363. Current Trends in Modeling Inter-Organizational Cooperation

    Albani, A. & Dietz, JLG., 2009, In : Journal of Enterprise Information Management. 22, 3, p. 275-297 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  364. Data-flow integration testing adapted to runtime evolution in component-based systems

    Piel, EAB. & Gonzalez Sanchez, A., 2009, Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime. Gross, HG., Lormans, M. & Tretmans, J. (eds.). New York: Association for Computing Machinery (ACM), p. 3-10 8 p.

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

  365. De kleine CMMI voor acquisitie

    Cannegieter, JJ., van Solingen, DM. & Raemaekers, W., 2009, Den Haag: SDU. 143 p.

    Research output: Book/ReportBookProfessional

  366. De kleine CMMI voor ontwikkeling

    Cannegieter, JJ. & van Solingen, DM., 2009, Den Haag: SDU. 128 p.

    Research output: Book/ReportBookProfessional

  367. Decorated Attribute Grammars. {A}ttribute Evaluation Meets Strategic Programming

    Kats, LCL., Sloane, AM. & Visser, E., 2009, In : Lecture Notes in Computer Science. 5501, p. 142-157 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  368. Developing Quality Management Systems with DEMO

    Geskus, J. & Dietz, JLG., 2009, Advances in Enterprise Engineering III. Albani, A., Barjis, J. & Dietz, JLG. (eds.). Berlin: Springer, p. 130-142 13 p. (Lecture Notes In Business Information Processing; vol. 34).

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

  369. Domain-Specific Languages in Practice: A User Study on the Success Factors

    Hermans, FFJ., Pinzger, M. & van Deursen, A., 2009, Proceedings ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS) --- Empirical Track. Schürr, A. & Selic, B. (eds.). Berlin: Springer, p. 423-437 15 p. (Lecture Notes in Computer Science; vol. 5795).

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

  370. Evaluating Dynamic Analysis Techniques for Program Comprehension

    Cornelissen, SGM., 2009, Delft. 224 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  371. Evaluating the Relation Between Coding Standard Violations and Faults Within and Across Versions

    Boogerd, CJ. & Moonen, LMF., 2009, Proceedings of the Sixth IEEE Working Conference on Mining Software Repositories (MSR). Whitehead, J. & Godfrey, M. (eds.). Los Alamitos: IEEE/CS, p. 41-50 10 p.

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

  372. Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network MAC Protocols

    Halkes, GP. & Langendoen, KG., 2009, 14th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (IEEE CAMAD '09). Giordano, S. & Lorenz, P. (eds.). Los Alamitos, USA: IEEE Society, p. 1-5 5 p.

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

  373. Fault Localization of Embedded Software

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, TRADER: Reliability of High-Volume Consumer Products. Mathijssen, R. (ed.). Eindhoven: Embedded Systems Institute, p. 103-112 178 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  374. GAL: A Generic Adaptation Language for describing Adaptive Hypermedia

    van der Sluijs, KAM., Hidders, AJH., Leonardi, E. & Houben, GJPM., 2009, Proceedings of the International Workshop on Dynamic and Adaptive Hypertext: Generic Frameworks, Approaches and Techniques (DAH'09) in conjunction with the 20th ACM Conference on Hypertext and Hypermedia (Hypertext 2009). de Bra, P. & Pechenizkiy, M. (eds.). Tilburg, Aachen: CEUR, p. 13-24 12 p. (Ceur Workshop Proceedings; vol. 473).

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

  375. Harnessing the Power of Semantics-Based, Aspect-Oriented Adaptation for amacont

    Niederhausen, M., van der Sluijs, KAM., Hidders, AJH., Leonardi, E., Houben, GJPM. & Meissner, K., 2009, Web Engineering, 9th International Conference, ICWE 2009. Gaedke, M., Grossniklaus, M. & Diaz, O. (eds.). Berlin: Springer, p. 106-120 15 p. (Lecture Notes in Computer Science; vol. 5648).

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

  376. How Technological Support Can Enable Advantages of Agile Software Development in a GSE Setting

    Dullemond, K., van Gameren, BJA. & van Solingen, DM., 2009, Fourth IEEE International Conference on Global Software Engineering (ICGSE). Sengupta, B. (ed.). Los Alamitos: IEEE/CS, p. 143-152 10 p.

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

  377. Interactive Views for Analyzing Problem Reports

    Knab, P., Fluri, B., Gall, HC. & Pinzger, M., 2009, Proceedings of the International Conference on Software Maintenance. Kontogiannis, K. & Xie, T. (eds.). Los Alamitos: IEEE/CS, p. 527-530 4 p.

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

  378. Invariant-Based Automatic Testing of Ajax User Interfaces

    Mesbah, A. & van Deursen, A., 2009, Proceedings of the 31st International Conference on Software Engineering (ICSE'09), Research Papers. Fickas, S., Atlee, JM. & Inverardi, P. (eds.). Los Alamitos: IEEE/CS, p. 210-220 11 p.

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

  379. Localizing Software Faults Simultaneously

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, 9th International Conference on Quality of Software (QSIC'09). Los Alamitos, USA: IEEE Computer Science, p. -

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

  380. MAC Protocols for Wireless Sensor Networks and Their Evaluation

    Halkes, GP., 2009, Delft: G.P. Halkes. 125 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  381. Managing Code Clones Using Dynamic Change Tracking and Resolution

    Wit, M., Zaidman, AE. & van Deursen, A., 2009, Proceedings of the 25th International Conference on Software Maintenance (ICSM 2009). Xie, T. & Kontogiannis, K. (eds.). Los Alamitos: IEEE/CS, p. 169-178 10 p.

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

  382. Managing Requirements Evolution using Reconstructed Traceability and Requirements Views

    Lormans, M., 2009, Veenendaal: Universal press. 208 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  383. Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs

    Dolstra, E., 2009, In : Electronic Notes in Theoretical Computer Science. 238, 5, p. 81-99 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  384. Observation-Based Modeling for Testing and Verifying Highly Dependable Systems ¿ A Practitioner¿s Approach

    Kanstren, TS., Piel, EAB., Gonzalez Sanchez, A. & Gross, HG., 2009, Proceedings of the International Workshop on the Design of Dependable Critical Systems. Wagner, A. (ed.). Hamburg: ECOMODIS, p. 1-8 8 p.

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

  385. On the relationship between workflow models and document types

    van Hee, K., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2009, In : Information Systems: databases: their creation, management and utilization. 34, 1, p. 178-208 31 p.

    Research output: Contribution to journalArticleScientificpeer-review

  386. Oslo, het nieuwe modelleerplatform van Microsoft

    Hermans, FFJ., 2009, In : Microsoft.NET Magazine. maart 2009, p. 59-63 5 p.

    Research output: Contribution to journalArticleProfessional

  387. Parse Table Composition

    Bravenboer, M. & Visser, E., 2009, In : Lecture Notes in Computer Science. March, p. 74-94 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  388. Performance Testing of Data Delivery Techniques for Ajax Applications

    Bozdag, VE., Mesbah, A. & van Deursen, A., 2009, In : Journal of Web Engineering. 8, 4, p. 287-315 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  389. Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing

    Kats, LCL., de Jonge, M., Nilsson-Nyman, E. & Visser, E., 2009, In : ACM SIGPLAN Notices. 44, 10, p. 445-464 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  390. RAFFS: Model Checking a Robust Abstract Flash File Store

    Taverne, P. & Pronk, C., 2009, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods. Breitman, K. & Cavalcanti, A. (eds.). Berlin: Springer, p. 226-245 20 p. (Lecture Notes in Computer Science; vol. 5885).

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

  391. Reference Model for Strategic Supply Network Development

    Albani, A., Mussigmann, N. & Zaha, JM., 2009, IT Outsourcing: Concepts, Methodologies, Tools, and Applications. St. Amant, K. (ed.). Hershey, USA: Business Science Reference, p. 731-753 2650 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  392. Refining Spectrum-based Fault Localization Rankings

    Abreu, RF., Mayer, W., Stumptner, M. & van Gemund, AJC., 2009, Procedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) - Software Engineering Track. Shin, SY. & Ossowski, S. (eds.). New York: Association for Computing Machinery (ACM), p. 409-414 6 p.

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

  393. RiTMO: A method for runtime testability measurement and optimisation

    Gonzalez Sanchez, A., Piel, EAB. & Gross, HG., 2009, Proceedings QSIC'09 - 2009 9th International Conference on Quality Software. Choi, B. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 377-382 6 p.

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

  394. Runtime Integration and Testing for Highly Dynamic Service Oriented ICT Solutions - An Industry Challenges Report

    Greiler, MS., Gross, HG. & Nasr, KA., 2009, TAIC-PART '09: Proceedings of the Testing: Academic and Industrial Conference on Practice And Research Techniques. Bottaci, L., Walkinshaw, N. & Kapfhammer, GM. (eds.). Los Alamitos: IEEE/CS, p. 51-55 5 p.

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

  395. Selecting Locations for Follow-the-Sun Software Development: Towards A Routing Model

    Visser, C. & van Solingen, DM., 2009, Proceedings of the Fourth IEEE International Conference on Global Software Engineering. Sengupta, B. (ed.). Los Alamitos: IEEE/CS, p. 185-194 10 p.

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

  396. Smart Views for Analyzing Problem Reports: Tool Demo

    Knab, P., Pinzger, M. & Gall, HC., 2009, Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. van Vliet, H. & Issarny, V. (eds.). New York: Association for Computing Machinery (ACM), p. 289-290 2 p.

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

  397. Software deployment in a dynamic cloud: From device to service orientation in a hospital environment

    van der Burg, S., Dolstra, E. & Visser, E., 2009, Proceedings of the 2009 ICSE Workshop on Software Engineering Challenges of Cloud Computing. Bhattacharya, K., Bichler, M. & Tai, S. (eds.). Los Alamitos: IEEE/CS, p. 61-66 6 p.

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

  398. Spectrum-Based Fault Localization in Practice

    Zoeteweij, P., Abreu, RF. & van Gemund, AJC., 2009, TRADER: Reliability of High-Volume Consumer Products. Mathijssen, R. (ed.). Eindhoven: Embedded Systems Institute, p. 112-124 178 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  399. Spectrum-based Fault Localization in Embedded Software

    Lima Maranhao De Abreu, RF., 2009, Delft. 200 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  400. Spectrum-based Multiple Fault Localization

    Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, 24th International Conference on Automated Software Engeneering (ASE'09). Taentzer, G. & Heimdahl, M. (eds.). Los Alamitos, USA: IEEE Computer Science, p. 88-99 12 p.

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

  401. Splitting a Large Software Repository for Easing Future Software Evolution -- An Industrial Experience Report

    Glorie, M., Zaidman, AE., van Deursen, A. & Hofland, L., 2009, In : Journal of Software Maintenance and Evolution: research and practice. 21, 2, p. 113-141 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  402. Statistics-directed Minimal Hitting Set Algorithm

    Abreu, RF. & van Gemund, AJC., 2009, Proceedings of the Twentieth International Workshop on Principles of Diagnosis (DX'09). Frisk, E., Nyberg, M., Krysander, M. & Aslund, J. (eds.). Linkoping, Sweden: Linkoping University, p. 51-58 8 p.

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

  403. Studying Co-evolution of Production and Test Code Using Association Rule Mining

    Lubsen, Z., Zaidman, AE. & Pinzger, M., 2009, Proceedings of the 6th Working Conference on Mining Software Repositories (MSR 2009). Godfrey, MW. & Whitehead, J. (eds.). Los Alamitos: IEEE/CS, p. 151-154 4 p.

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

  404. The Impact of Virtualization on the Performance of Massively Multiplayer Online Games

    Nae, V., Iosup, A., Prodan, R. & Fahringer, T., 2009, Proc. of the 8th Annual Workshop on Network and Systems Support for Games (NetGames 2009). Abdallah, M. (ed.). Los Alamitos: IEEE/CS, p. 1-6 6 p.

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

  405. The Second Rewrite Engines Competition

    Durán, F., Roldán, M., Balland, E., Brand, M., Eker, S., Kalleberg, K. T., Kats, LCL., Moreau, PE., Shevchenko, R. & Visser, E., 2009, In : Electronic Notes in Theoretical Computer Science. 238, p. 281-291 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  406. Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I.

    Sroka, J. & Hidders, AJH., 2009, In : Fundamenta Informaticae. 92, 3, p. 279-299 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  407. Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II.

    Sroka, J. & Hidders, AJH., 2009, In : Fundamenta Informaticae. 92, 4, p. 373-396 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  408. Trace Visualization for Program Comprehension: A Controlled Experiment

    Cornelissen, SGM., Zaidman, AE., van Rompaey, B. & van Deursen, A., 2009, Proceedings of the 17th International Conference on Program Comprehension (ICPC'09). Marcus, A. & Koschke, R. (eds.). Los Alamitos: IEEE/CS, p. 100-109 10 p.

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

  409. Trace-based evaluation of job runtime and queue wait time predictions in grids

    Sonmez, OO., Yigitbasi, MN., Iosup, A. & Epema, DHJ., 2009, Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing. Kranzmuller, D., Bode, A., Hegering, HG., Casanova, H. & Gerndt, M. (eds.). New York: Association for Computing Machinery (ACM), p. 111-120 10 p.

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

  410. Using Aspect Orientation in Legacy Environments for Reverse Engineering using Dynamic Analysis - An Industrial Experience Report

    Adams, B., De Schutter, K., Zaidman, AE., Demeyer, S., Tromp, H. & De Meuter, W., 2009, In : Journal of Systems and Software. 82, 4, p. 668-684 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  411. Using software history to guide deployment of coding standards

    Boogerd, CJ. & Moonen, LMF., 2009, TRADER: Reliability of High-Volume Consumer Products. Mathijssen, R. (ed.). Eindhoven: Embedded Systems Institute, p. 39-52 178 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  412. Weaving Web Applications with WebDSL (Demonstration)

    Groenewegen, DM. & Visser, E., 2009, Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. Leavens, GT. (ed.). New York: Association for Computing Machinery (ACM), p. 797-798 2 p.

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

  413. Zoltar: A Spectrum-based Fault Localization Tool

    Janssen, TPM., Abreu, RF. & van Gemund, AJC., 2009, 1st International Workshop on Software Integration and Evolution @ Runtime (SINTER'09). Gross, H-G., Tretmans, J. & Lormans, M. (eds.). New York: Association for Computing Machinery (ACM), p. 23-29 7 p.

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

  414. Zoltar: A Toolset for Automatic Fault Localization

    Janssen, TPM., Abreu, RF. & van Gemund, AJC., 2009, 24th International Conference on Automated Software Engeneering (ASE'09) - Tools Track. van der Hoek, A. & Menzies, T. (eds.). Los Alamitos, USA: IEEE Computer Science, p. 658-660 3 p.

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

  415. 2010
  416. A Cognitive Model for Software Architecture Complexity

    Bouwers, EM., Lilienthal, C., Visser, J. & van Deursen, A., 2010, Proceedings 18th International Conference on Program Comprehension. Antoniol, G., Gallagher, K. & Henriques, PR. (eds.). Los Alamitos: IEEE Society, p. 152-155 4 p.

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

  417. A Flexible Rule-Based Method for Interlinking, Integrating, and Enriching User Data

    Leonardi, E., Heckmann, D., Herder, E., Hidders, AJH. & Houben, GJPM., 2010, Proceedings of the 10th International Conference on Web Engineering. Benatallah, B., Casati, F., Kappel, G. & Rossi, G. (eds.). Berlin: Springer, p. 322-336 15 p. (Lecture Notes in Computer Science; vol. 6189).

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

  418. A Lightweight Sanity Check for Implemented Architectures

    Bouwers, EM. & van Deursen, A., 2010, In : IEEE Software. 27, 4, p. 44-50 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  419. A Notion of Serializability for Document Editing and Corresponding Optimal Locking Protocols

    Hidders, AJH. & Dekeyser, S., 2010, Delft: Delft University of Technology. 16 p.

    Research output: Book/ReportReportProfessional

  420. A Pragmatic Perspective on Software Visualization

    van Deursen, A., 2010, Proceedings 5th International IEEE/ACM Symposium on Software Visualization, SoftVis 2010. Telea, A., Görg, C. & Reiss, S. (eds.). New York: Association for Computing Machinery (ACM), p. 1-2 2 p.

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

  421. A Pure Object-Oriented Embedding of Attribute Grammars

    Sloane, AM., Kats, LCL. & Visser, E., 2010, In : Electronic Notes in Theoretical Computer Science. 253, 7, p. 205-219 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  422. A Simple but Formal Semantics for XML Manipulation Languages

    Paredaens, J. & Hidders, AJH., 2010, Unknown. Link, S. & Prade, H. (eds.). Berlin: Springer, p. 3-5 3 p. (Lecture Notes in Computer Science; vol. 5956).

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

  423. A formal semantics for the Taverna 2 workflow model

    Sroka, J., Hidders, AJH., Missier, P. & Goble, CA., 2010, In : Journal of Computer and System Sciences. 76, p. 490-508 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  424. ASPIC: Awareness-based Support Project for Interpersonal Collaboration in Software Engineering

    Dullemond, K. & van Gameren, BJA., 2010, Fifth IEEE International Conference on Global Software Engineering (ICGSE). Kellenberger, P. (ed.). Los Alamitos: IEEE Society, p. 357-358 2 p.

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

  425. Adinda: A knowledgeable, Browser-Based IDE

    van Deursen, A., Mesbah, A., Cornelissen, SGM., Zaidman, AE., Pinzger, M. & Guzzi, A., 2010, Companion Proceedings of the 32nd International Conference on Software Engineering (ICSE NIER). Fisler, K. (ed.). New York: Association for Computing Machinery (ACM), p. 203-206 4 p.

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

  426. Adopting and Evaluating Service Oriented Architecture in Industry

    Nasr, KA., Gross, HG. & van Deursen, A., 2010, Proceedings 14th European Conference on Software Maintenance and Reengineering (CSMR 2010). Capilla et al, R. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 11-20 10 p.

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

  427. An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models

    Herrmannsdoerfer, M., Vermolen, SD. & Wachsmuth, GH., 2010, Proceedings of the Third International Conference on Software Language Engineering, SLE 2010. van den Brand, M., Malloy, B. & Staab, S. (eds.). Berlin: Springer, p. -

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

  428. Assessment of Issue Handling Efficiency

    Luijten, B., Visser, J. & Zaidman, AE., 2010, Proceedings of the 7th Working Conference on Mining Software Repositories (MSR 2010). Whitehead, J. & Zimmermann, T. (eds.). Los Alamitos: IEEE Society, p. 94-97 4 p.

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

  429. Automated Deployment of a Heterogeneous Service-Oriented System

    van der Burg, S. & Dolstra, E., 2010, 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). O'Conner, L. (ed.). Los Alamitos: IEEE Society, p. 183-190 8 p.

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

  430. Automatically Extracing Class Diagrams from Spreadsheets

    Hermans, FFJ., Pinzger, M. & van Deursen, A., 2010, Proceedings 24th European Conference on Object-Oriented Programming (ECOOP). d'Hondt, T. (ed.). Berlin: Springer, p. 52-75 24 p.

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

  431. Automating Integration Testing of Large-Scale Publish/Subscribe Systems

    Piel, EAB., Gonzalez Sanchez, A. & Gross, HG., 2010, Principles and Applications of Distributed Event-Based Systems. Hinze, AM. & Buchmann, A. (eds.). Hershey: IGI Global, p. 140-163

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  432. Automating System Tests Using Declarative Virtual Machines

    van der Burg, S. & Dolstra, E., 2010, 21st IEEE International Symposium on Software Reliability Engineering (ISSRE 2010). Marathe, M. & Cukier, M. (eds.). Los Alamitos: IEEE Society, p. 181-190 10 p.

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

  433. Built-in Data-flow Integration Testing in Large-Scale Component-Based Systems

    Piel, EAB., Gonzalez Sanchez, A. & Gross, HG., 2010, 22nd IFIP International Conference on Testing Software and Systems. Petrenko, A., Simão, A. & Maldonado, JC. (eds.). Berlin: Springer, p. 79-94 16 p. (Lecture Notes in Computer Science; vol. 6435).

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

  434. Combining Micro-Blogging and IDE Interactions to Support Developers in their Quests

    Guzzi, A., Pinzger, M. & van Deursen, A., 2010, Proceedings of ICSM 2010 (26th IEEE International Conference on Software Maintenance'. Trifu, A. & Verebi, I. (eds.). Los Alamitos: IEEE Society, p. 1-5 5 p.

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

  435. Connecting Traces: Understanding Client-Server Interactions in Ajax Applications

    Matthijssen, N., Zaidman, AE., Storey, MA., Bull, I. & van Deursen, A., 2010, Proceedings of the 18th International Conference on Program Comprehension (ICPC). Antoniol, G. & Gallagher, K. (eds.). Los Alamitos: IEEE Society, p. 216-225 10 p.

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

  436. De kracht van SCRUM

    van Solingen, DM. & Rustenburg, E., 2010, Amsterdam: Pearson Education. 144 p.

    Research output: Book/ReportBookProfessional

  437. Declarative Testing and Deployment of Distributed Systems

    van der Burg, S. & Dolstra, E., 2010, Delft: Software Engineering Research Group. 18 p.

    Research output: Book/ReportReportProfessional

  438. Diagnosing Intermittent Faults Using Maximum Likelihood Estimation

    Lima Maranhao De Abreu, RF. & van Gemund, AJC., 2010, In : Artificial Intelligence. 174, 18, p. 1481-1497 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  439. Disnix: A toolset for distributed deployment

    van der Burg, S. & Dolstra, E., 2010, Third International Workshop on Academic Software Development Tools and Techniques (WASDeTT-3). van den Brand, M., Mens, K., Kienle, H. & Cleve, A. (eds.). Antwerpen: WASDeTT, p. 58-75 18 p.

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

  440. Document information systems

    van der Meer, K., 2010, Encyclopedia of Library and Information Sciences, Third Edition. Bates, MJ. & Maack, MN. (eds.). Londen: Taylor & Francis, p. -

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  441. Domain-Specific Languages for Composable Editor Plugins

    Kats, LCL., Kalleberg, K. T. & Visser, E., 2010, In : Electronic Notes in Theoretical Computer Science. 253, 7, p. 149-163 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  442. Dynamic Analysis of Communication and Collaboration in OSS Projects

    Pinzger, M. & Gall, HC., 2010, Collaborative Software Engineering. Mistrík, I., Grundy, J., van der Hoek, A. & Whitehead, J. (eds.). Berlin: Springer, p. 265-284

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  443. Editorial Preface

    Barjis, J., Winter, R. & Albani, A., 2010, In : Enterprise Modelling and Information Systems Architectures. 5, 1, p. 1-2 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  444. Enabling Multi-Tenancy: An Industrial Experience Report

    Bezemer, C., Zaidman, AE., Platzbeecker, B., Hurkmans, AAM. & 't Hart, A., 2010, Proceedings of the 26th International Conference on Software Maintenance (ICSM). Trifu, A. & Verebi, I. (eds.). Los Alamitos: IEEE Society, p. 1-8 8 p.

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

  445. Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability

    Kats, LCL. & Visser, E., 2010, Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation 2010. Marinescu, C. & Vinju, J. (eds.). Los Alamitos: IEEE Society, p. 1-10 10 p.

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

  446. Evaluation of Online Testing for Services ¿ A Case Study

    Greiler, MS., Gross, HG. & van Deursen, A., 2010, 2nd International Workshop on Principles of Engineering Service-Oriented System. Lewis, GA., Metzger, A., Pistore, M., Smith, D. & Zisman, A. (eds.). New York: Association for Computing Machinery (ACM), p. 36-42 7 p.

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

  447. Experimental Evaluation of Simulation Abstractions for Wireless Sensor Network {MAC} Protocols

    Halkes, GP. & Langendoen, KG., 2010, In : Eurasip Journal on Wireless Communications and Networking. 2010, p. 1-10 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  448. Exploiting Count Spectra for Bayesian Fault Localization

    Lima Maranhao De Abreu, RF., Gonzalez Sanchez, A. & van Gemund, AJC., 2010, PROMISE'10: 6th International Conference on Predictive Models in Software Engineering. Menzies, T. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 1-22 22 p.

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

  449. Focusing Automatic Code Inspections

    Boogerd, CJ., 2010, Delft. 161 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  450. Fusion ¿ Visually Exploring and Eliciting Relationships in Linked Data

    Cardoso de Aráujo, S., Houben, GJPM., Schwabe, D. & Hidders, AJH., 2010, The Semantic Web - ISWC 2010. Patel-Schneider, PF., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, JZ., Horrocks, I. & Glimm, B. (eds.). Berlin: Springer, p. 1-15 15 p. (Lecture Notes in Computer Science; vol. 6496).

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

  451. GDR: A Language for Flexible Interlinking, Integrating, and Enriching User Data

    Leonardi, E., Hidders, AJH., Houben, GJPM., Abel, F. & Herder, E., 2010, Adjunct Proceedings of the 18th International Conference on User Modeling, Adaptation and Personalization, Posters and Demonstrations (UMAP 2010). Bohnert, F. & Quiroga, L. (eds.). p. 49-51 3 p.

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

  452. Hera: Engineering Web Applications Using Semantic Web-based Models

    van der Sluijs, K., Houben, GJPM., Leonardi, E. & Hidders, AJH., 2010, Semantic Web Information Management - A Model-Based Perspective. de Virgilio, R., Giunchiglia, F. & Tanca, L. (eds.). Berlin: Springer, p. 521-544 549 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  453. Hulp bij spreadsheets

    van Deursen, A., Pinzger, M. & Hermans, FFJ., 2010, In : Automatisering Gids. 47, November, p. 14-15 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  454. Identifying Cross-Cutting Concerns Using Software Repository Mining

    Mulder, JBF. & Zaidman, AE., 2010, Proceedings of the 4th International Joint ERCIM/IWPSE Symposium on Software Evolution (IWPSE-EVOL 2010). Capiluppi, A., Cleve, A. & Moha, N. (eds.). New York: Association for Computing Machinery (ACM), p. 23-32 10 p.

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

  455. Increasing System Availability with Local Recovery based on Fault Localization

    Sozer, H., Lima Maranhao De Abreu, RF., Aksit, M. & van Gemund, AJC., 2010, Proceedings of the 10th Int'l Conference on Quality Software (QSIC'10). Bai, X. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 276-281 6 p.

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

  456. Integration of data validation and user interface concerns in a DSL for web applications

    Groenewegen, DM. & Visser, E., 2010, In : Lecture Notes in Computer Science. 5969, p. 164-173 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  457. Introduction to the Special Issue on Reverse Engineering

    Hassan, AE., Zaidman, AE. & Di Penta, M., 2010, In : Journal of Software Maintenance and Evolution: research and practice. 22, 3, p. 141-142 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  458. Kan Scrum Fixed Price?

    van Solingen, DM. & Rustenburg, E., 2010, In : Automatisering Gids. 23, Juni

    Research output: Contribution to journalArticleScientificpeer-review

  459. Language extension and composition with language workbenches

    Völter, M. & Visser, E., 2010, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 301-304 4 p.

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

  460. Minimising the Preparation Cost of Runtime Testing based on Testability Metrics

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2010, 34th Annual IEEE Computer Software and Applications Conference (COMPSAC'10). Ahamed et al, S. I. (ed.). Los Alamitos: IEEE Society, p. 419-424 6 p.

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

  461. Multi-Tenant SaaS Applications: Maintenance Dream or Nightmare?

    Bezemer, C. & Zaidman, AE., 2010, Proceedings of the 4th International Joint ERCIM/IWPSE Symposium on Software Evolution (IWPSE-EVOL 2010). Capiluppi, A., Cleve, A. & Mohan, N. (eds.). New York: Association for Computing Machinery (ACM), p. 88-92 5 p.

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

  462. Natural and flexible error recovery for generated parsers

    de Jonge, M., Nilsson-Nyman, E., Kats, LCL. & Visser, E., 2010, In : Lecture Notes in Computer Science. 5969, p. 204-223 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  463. NixOS: A Purely Functional Linux Distribution

    Dolstra, E., Löh, A. & Pierron, NB., 2010, In : Journal of Functional Programming.

    Research output: Contribution to journalArticleScientificpeer-review

  464. Object-Oriented Software Testing with Genetic Algorithms and Program Analysis

    Seesing, A. & Gross, HG., 2010, Evolutionary Computation and Optimization Algorithms in Software Engineering: Applications and Techniques. Chis, M. (ed.). Hershey: IGI Global, p. 184-199

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  465. On the Effective Parallel Programming of Multi-Core Processors

    Varbanescu, AL., 2010, Delft. 217 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  466. On-the-fly auditing of business processes

    van Hee, K., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2010, Transactions on Petri nets and other models of concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (eds.). Berlin-Heidelberg: Springer, p. 144-173 30 p. (Lecture Notes in Computer Science; vol. 6550).

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

  467. Online Testing of Service-Oriented Architectures to detect State-based Faults

    Greiler, MS., 2010, Proceedings of the PhD Symposium at the 7the International Conference on Service Oriented Computing (ICSOC 2009). Daniel, F. (ed.). Aachen: CEUR-WS, p. 37-42 6 p.

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

  468. PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness

    Dekeyser, S. & Hidders, AJH., 2010, Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010. Kommers, P. & Isaias, P. (eds.). Freiburg, Germany: IADIS, p. 125-131 7 p.

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

  469. Post-Processing in Wireless Sensor Networks: Benchmarking Sensor Trace Files

    Bor, MC., Chatzigiannakis, I., Dulman, SO., Kikiras, P., Theodoridis, E. & Visser, OW., 2010, 7th ACM Int. Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN). Garcia-Luna-Aceves, JJ. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 40-43 4 p.

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

  470. Predicting the Fix Time of Bugs

    Giger, E., Pinzger, M. & Gall, HC., 2010, Proceedings of the International Workshop on Recommendation Systems for Software Engineering (RSSE). Holmes, R., Robillard, MP., Walker, RJ. & Zimmerman, T. (eds.). New York: Association for Computing Machinery (ACM), p. 52-56 5 p.

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

  471. Preventing injection attacks with syntax embeddings

    Bravenboer, M., Dolstra, E. & Visser, E., 2010, In : Science of Computer Programming. 75, 7, p. 473-495 23 p.

    Research output: Contribution to journalArticleScientificpeer-review

  472. Prioritizing Tests for Software Fault Localization

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2010, QSIC'10: 10th International Conference in Quality Software. Bai, X. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 42-51 10 p.

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

  473. Proving consistency of VDM models using HOL

    Vermolen, SD., Hooman, J. & Larsen, PG., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC). Shin, SY., Ossowski, S., Schumacher, M., Palakal, MJ. & Hung, CC. (eds.). New York: Association for Computing Machinery (ACM), p. 2503-2510 8 p.

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

  474. Pure and declarative syntax definition: paradise lost and regained

    Kats, LCL., Visser, E. & Wachsmuth, GH., 2010, Proceedings of the ACM international conference on Object oriented programming systems languages and applications. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 918-932 15 p. (ACM SIGPLAN Notices; vol. 45, no. 10).

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

  475. Regression Testing Ajax Applications: Coping with Dynamism

    Roest, D., Mesbah, A. & van Deursen, A., 2010, Proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST'10). Cavalli, A. & Ghosh, S. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 127-136 10 p.

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

  476. Research Issues in the Automated Testing of Ajax Applications

    van Deursen, A. & Mesbah, A., 2010, Proceedings 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'10). van Leeuwen, J., Muscholl, A., Peleg, D., Pokorný, J. & Rumpe, B. (eds.). Berlin: Springer, p. 16-28 13 p. (Lecture Notes in Computer Science; vol. 5901).

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

  477. Runtime Testability in Dynamic High-Availability Component-Based Systems

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2010, VALID'10: 2nd International Conference on Advances in System Testing and Validation Lifecycle. Alimohammad et al, A. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 37-42 6 p.

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

  478. Separation of Concerns and Linguistic Integration in WebDSL

    Groenewegen, DM., Hemel, Z. & Visser, E., 2010, In : IEEE Software. 27, 5, p. 31-37 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  479. Software Evolution

    Zaidman, AE., Pinzger, M. & van Deursen, A., 2010, Encyclopedia of Software Engineering. Laplante, PA. (ed.). Londen: Taylor & Francis, p. -

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  480. Spectrum-Based Sequential Diagnosis

    Gonzalez Sanchez, A., Lima Maranhao De Abreu, RF., Gross, HG. & van Gemund, AJC., 2010, 21st International Workshop on the Principles of Diagnosis (DX'10). Poll, S., de Kleer, J., Roychoudhury, I. & Daigle, M. (eds.). PHM Society, p. 55-62 8 p.

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

  481. Supporting Collaboration Awareness with Real-time Visualization of Development Activity

    Lanza, M., Hattori, L. & Guzzi, A., 2010, Proceedings of 14th IEEE European Conference on Software Maintenance and Reengineering (CSMR 2010). Capilla et al, R. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 207-216 10 p.

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

  482. The Impact of Number of Sites in a Follow the Sun Setting on the Actual and Perceived Working Speed and Accuracy: A Controlled Experiment

    van Solingen, DM. & Valkema, M., 2010, The 5th International Conference on Global Software Engineering (ICGSE). Sangwan, R. (ed.). Los Alamitos: IEEE Society, p. 165-174 10 p.

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

  483. The Impact of Social Media on Software Engineering Practices and Tools

    Storey, MA., Treude, C., van Deursen, A. & Cheng, LT., 2010, Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research. Roman, GC. & Sullivan, K. (eds.). New York: Association for Computing Machinery (ACM), p. 359-364 6 p.

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

  484. The Lambda-(MAC) framework: redefining (MAC) protocols for wireless sensor networks

    Parker, TEV., Halkes, GP., Bezemer, M. & Langendoen, KG., 2010, In : Wireless Networks: the journal of mobile communication, computation and information. 16, 7, p. 2013-2026 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  485. The Spoofax language workbench

    Kats, LCL. & Visser, E., 2010, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 237-238 2 p.

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

  486. The Spoofax language workbench: Rules for declarative specification of languages and IDEs

    Kats, LCL. & Visser, E., 2010, OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 444-463 20 p. (ACM SIGPLAN Notices; vol. 45, no. 10).

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

  487. The Third Rewrite Engines Competition

    Durán, F., Roldán, M., Bach, JC., Balland, E., Brand, M., Cordy, J., Eker, S., Engelen, L., de Jonge, M., Kalleberg, K. T., Kats, LCL., Moreau, PE. & Visser, E., 2010, In : Lecture Notes in Computer Science. 6381, p. 243-261 19 p.

    Research output: Contribution to journalArticleScientific

  488. Towards Context-based Information Delivery to Police Officers: A Questionnaire-based Requirements Elicitation Study

    Hu, B., Hidders, AJH. & Cimiano, P., 2010, Proceedings of the 7th International Conference on Information Systems for Crisis Response and Management (ISCRAM' 10). French, S., Tomaszweski, B. & Zobel, C. (eds.). Seattle, WA, USA: ISCRAM, p. 1-6 6 p.

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

  489. Understanding Plug-in Test Suites from an Extensibility Perspective

    Greiler, MS., Gross, HG. & van Deursen, A., 2010, Proceedings 17th Working Conference on Reverse Engineering. Antoniol, G., Pinzger, M. & Chikofsky, E. (eds.). Los Alamitos: IEEE Society, p. 67-76 10 p.

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

  490. Using Fault Screeners for Software Error Detection

    Lima Maranhao De Abreu, RF., Gonzalez Sanchez, A., Zoeteweij, P. & van Gemund, AJC., 2010, Evaluation of Novel Approaches to Software Engineering. Maciaszek, LA., Gonzalez-Perez, C. & Jablonski, S. (eds.). Berlin: Springer, p. 60-74 15 p. (Communications In Computer and Information Science; vol. 69).

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

  491. Verifying FreeRTOS; a feasibility study

    Pronk, C., 2010, Delft: Delft University of Technology. 20 p.

    Research output: Book/ReportReportProfessional

  492. Virtual Open Conversation Spaces: Towards Improved Awareness in a {GSE} Setting

    Dullemond, K., van Gameren, BJA. & van Solingen, DM., 2010, Fifth IEEE International Conference on Global Software Engineering (ICGSE). Kellenberger, P. (ed.). Los Alamitos: IEEE Society, p. 247-256 10 p.

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

  493. Visual Patterns in Issue Tracking Data

    Knab, P., Pinzger, M. & Gall, HC., 2010, New Modeling Concepts for Today¿s Software Processes. Muench, J., Yang, Y. & Schaefer, W. (eds.). Berlin: Springer, p. 222-233 12 p.

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

  494. Web2SE: First Workshop on Web 2.0 for Software Engineering

    Treude, C., Storey, MA., Ehrlich, K. & van Deursen, A., 2010, Companion to the Proceedings of the International Conference on Software Engineering 2010. Fisler, K. (ed.). New York: Association for Computing Machinery (ACM), p. 457-458 2 p.

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

  495. Workshop on Program Comprehension through Dynamic Analysis (PCODA'10)

    Hamou-Lhadj, A., Rothlisberger, JD., Zaidman, AE. & Greevy, O., 2010, Proceedings of the 17th Working Conference on Reverse Engineering (WCRE 2010). Antoniol, G., Pinzger, M. & Chikofsky, E. (eds.). Los Alamitos: IEEE Society, p. 279-280 2 p.

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

  496. Workshop report from Web2SE: First Workshop on Web 2.0 for Software Engineering

    Treude, C., Storey, MA., Ehrlich, K. & van Deursen, A., 2010, In : Software Engineering Notes. 35, 5, p. 45-50 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  497. 2011
  498. A Controlled Experiment for Program Comprehension through Trace Visualization

    Cornelissen, SGM., Zaidman, AE. & van Deursen, A., 2011, In : IEEE Transactions on Software Engineering. 37, 3, p. 341-355 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  499. A Diagnostic Reasoning Approach to Defect Prediction

    Lima Maranhao De Abreu, RF., Gonzalez Sanchez, A. & van Gemund, AJC., 2011, 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2011). Mehrotra, KC. & et al. (eds.). Berlin, Germany: Springer, p. 416-425 10 p. (Lecture Notes in Artificial Intelligence; vol. 6704).

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

  500. A Framework-based Runtime Monitoring Approach for Service-Oriented Software Systems

    Chen, C., Zaidman, AE. & Gross, HG., 2011, The 1st International Workshop on Quality Assurance for Service-based Applications (QASBA 2011). Bianculli, D., Guinea, S., Metzger, A. & Polini, A. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 17-20 4 p.

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

  501. A Runtime Testability Metric for Dynamic High-Availability Component-based Systems

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2011, In : International Journal on Advances in Systems and Measurements. 4, 1&2, p. 122-134 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  502. An Approach for Search Based Testing of Null Pointer Exceptions

    Romano, D., Penta, M. D. & Antoniol, G., 2011, 2011 4th IEEE International Conference on Software Testing, Verification and Validation. Schieferdecker, I. & Pretschner, A. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 160-169 10 p.

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

  503. An Empirical Study on the Usage of Testability Information to Fault Localization in Software

    Gonzalez Sanchez, A., Lima Maranhao De Abreu, RF., Gross, HG. & van Gemund, AJC., 2011, 2011 ACM International Symposium on Applied Computing (SAC'11). Chu, W., Wang, WE., Palakal, MJ. & Hung, C-C. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 1398-1403 6 p.

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

  504. An Exploratory Study on Open Conversation Spaces in Software Engineering

    Dullemond, K., van Gameren, BJA. & van Solingen, DM., 2011, 2011 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing. Georgakopoulos, D., Joshi, J., Pu, C. & Caverlee, J. (eds.). Piscataway, NJ, USA: IEEE Society, p. 307-316 10 p.

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

  505. Architectuur en agile: een ongelukkig huwelijk?

    Bender, KJ. & van Solingen, DM., 2011, In : Automatisering Gids. June 2011, p. 16-16 1 p.

    Research output: Contribution to journalArticleScientificpeer-review

  506. Breviz: Visualizing Spreadsheets using Dataflow Diagrams

    Hermans, FFJ., Pinzger, M. & van Deursen, A., 2011, Proceedings of the European Spreadsheet Risks Interest Group Conference (EuSpRiG). O'Beirne, P. & Thorne, S. (eds.). Greenwich: EuSpRIG, p. 1-9 9 p.

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

  507. Building Blocks for Language Workbenches

    Kats, LCL., 2011, 270 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  508. Collective Code Bookmarks for Program Comprehension

    Guzzi, A., Hattori, L., Lanza, M., Pinzger, M. & van Deursen, A., 2011, IEEE International Conference on Program Comprehension 2011 (ICPC). Dean, T., Elliott Sim, S. & Ricca, F. (eds.). Piscataway, NJ, USA: IEEE Society, p. 101-110 10 p.

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

  509. Communico: overhearing conversations in a virtual office

    Dullemond, K. & van Gameren, BJA., 2011, p. 577-578. 2 p.

    Research output: Contribution to conferenceAbstractScientific

  510. Comparing Fine-Grained Source Code Changes And Code Churn For Bug Prediction

    Giger, E., Pinzger, M. & Gall, HC., 2011, 8th Working Conference on Mining Software Repositories (MSR). Xie, T. & Zimmermann, T. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 83-92 10 p.

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

  511. Declaratively Defining Domain-Specific Language Debuggers

    Lindeman, RT., Kats, LCL. & Visser, E., 2011, GPCE'11 Proceedings of the 10th ACM international conference on Generative programming and component engineering . Denney, E. & Pagh Schultz, U. (eds.). New York: Association for Computing Machinery (ACM), p. 127-136 10 p. (ACM SIGPLAN Notices; vol. 47, no. 3).

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

  512. Declaratively programming the mobile web with Mobl

    Hemel, Z. & Visser, E., 2011, Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, OOPSLA 2011. Fisher, K. & Videira Lopes, C. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 695-712 18 p. (ACM SIGPLAN Notices; vol. 46).

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

  513. Dependency profiles for software architecture evaluations

    Bouwers, EM., van Deursen, A. & Visser, J., 2011, 2011 27th International Conference on Software Maintenance (ICSM). Marcus, A., Cordy, JR. & Tonella, P. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 540-543 4 p.

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

Previous 1 2 Next

ID: 19954