1. 2010
  2. De kracht van SCRUM

    van Solingen, DM. & Rustenburg, E., 2010, Amsterdam: Pearson Education. 144 p.

    Research output: Book/ReportBookProfessional

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

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

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

  6. 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/Conference proceedings/Edited volumeChapterScientific

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

  8. 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/Conference proceedings/Edited volumeChapterScientific

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

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

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

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

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

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

  15. Focusing Automatic Code Inspections

    Boogerd, CJ., 2010, Delft. 161 p.

    Research output: ThesisDissertation (TU Delft)

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

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

  18. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

  24. Kan Scrum Fixed Price?

    van Solingen, DM. & Rustenburg, E., 2010, In : Automatisering Gids. 23, Juni

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

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

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

  30. 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/Conference proceedings/Edited volumeChapterScientific

  31. On the Effective Parallel Programming of Multi-Core Processors

    Varbanescu, AL., 2010, Delft. 217 p.

    Research output: ThesisDissertation (TU Delft)

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

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

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

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

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

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

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

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

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

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

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

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

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

  45. 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/Conference proceedings/Edited volumeChapterScientific

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

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

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

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

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

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

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

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

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

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

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

  57. Verifying FreeRTOS; a feasibility study

    Pronk, C., 2010, Delft: Delft University of Technology. 20 p.

    Research output: Book/ReportReportProfessional

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

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

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

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

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

  63. 2009
  64. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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

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

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

  69. 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/Conference proceedings/Edited volumeChapterScientific

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

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

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

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

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

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

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

  77. 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/Conference proceedings/Edited volumeChapterScientific

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

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

    Research output: ThesisDissertation (TU Delft)

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

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

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

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

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

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

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

  86. De kleine CMMI voor acquisitie

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

    Research output: Book/ReportBookProfessional

  87. De kleine CMMI voor ontwikkeling

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

    Research output: Book/ReportBookProfessional

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

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

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

  91. Evaluating Dynamic Analysis Techniques for Program Comprehension

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

    Research output: ThesisDissertation (TU Delft)

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

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

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

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

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

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

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

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

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

  101. MAC Protocols for Wireless Sensor Networks and Their Evaluation

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

    Research output: ThesisDissertation (TU Delft)

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

  103. Managing Requirements Evolution using Reconstructed Traceability and Requirements Views

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

    Research output: ThesisDissertation (TU Delft)

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

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

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

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

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

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

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

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

  112. 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/Conference proceedings/Edited volumeChapterScientific

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

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

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

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

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

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

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

  120. Spectrum-based Fault Localization in Embedded Software

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

    Research output: ThesisDissertation (TU Delft)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  136. 2008
  137. 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

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

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

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

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

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

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

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

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

    Marin, A. M., 2008

    Research output: ThesisDissertation (TU Delft)

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

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

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

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

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

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

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

  153. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  172. Instrument for fast and effective splitting of organizations

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

    Research output: Book/ReportBookPopular

  173. Instrument voor snelle en effectieve splitsing van organisaties

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

    Research output: Book/ReportBookPopular

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

  175. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

  177. Metodologias Ageis para Desenvolvimento de Software

    Dos Santos Soares, M., 2008, In : Revista Engenharia de Software. 7, 2008, p. 14-19 6 p.

    Research output: Contribution to journalArticleProfessional

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

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

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

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

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

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

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

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

  186. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

  189. Renovation of Idiomatic Crosscutting Concerns in Embedded Systems

    Bruntink, M., 2008

    Research output: ThesisDissertation (TU Delft)

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

  191. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

  205. 2007
  206. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

  208. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

  222. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

  225. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

  226. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

  227. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  242. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

  244. Model-Driven Evolution of Software Architectures

    Graaf, BS., 2007

    Research output: ThesisDissertation (TU Delft)

  245. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

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

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

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

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

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

  256. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  272. 2006
  273. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  299. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

  300. Enterprise Ontology: Theory and Methodology

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

    Research output: Book/ReportBookScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  318. Rapid Enterprise Design

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

    Research output: ThesisDissertation (external, preparation TU Delft)

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

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

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

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

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

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

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

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

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

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

  329. 2005
  330. 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

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

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

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

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

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

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

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

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

  339. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

  341. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

  343. De bemiddeling van ....

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

    Research output: Contribution to journalArticleProfessional

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  358. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  375. Uiteindelijk loopt elk systeem vast

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

    Research output: Contribution to journalArticlePopular

  376. 2004
  377. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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

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

  381. 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/Conference proceedings/Edited volumeConference contributionProfessional

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

  383. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

  384. Democratic processing; mastering the complexity of communicating systems

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

    Research output: ThesisDissertation (TU Delft)

  385. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

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

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

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

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

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

    Lutje Spelberg, RF., 2004

    Research output: ThesisDissertation (TU Delft)

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

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

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

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

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

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

  399. The evaluation of business process modeling techniques

    Hommes, LJ., 2004, 267 p.

    Research output: ThesisDissertation (TU Delft)

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

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

  402. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

  403. 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/Conference proceedings/Edited volumeConference contributionProfessional

  404. 2003
  405. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

  418. 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/Conference proceedings/Edited volumeConference contributionProfessional

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

  420. 2002
  421. 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/Conference proceedings/Edited volumeConference contributionScientific

  422. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

  425. 2001
  426. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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

  429. 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/Conference proceedings/Edited volumeChapterScientificpeer-review

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

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

  432. Real-Time model checking based on splitting

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

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

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

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

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

  434. Software verification in ground transportation systems

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

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

  435. Specification of Real-Time properties in UML

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

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

  436. Transformation of UML specification to XTG

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

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

  437. 2000
  438. ACL: an approach to formal verification of real time systems

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

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

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

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

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

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

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

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

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

  442. Editorship

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

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

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

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

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

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

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

    Wu, S-F., Engelen, HMM., Babuska, R., Chu, Q-P. & Mulder, JA., 2000, Proceedings and exhibit. Denver: American Institute of Aeronautics and Astronautics Inc. (AIAA), p. 1-12 12 p.

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

  448. Middleware for weal-time distributed simulation systems

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

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

  449. Model checking real-time embedded software

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

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

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

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

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

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

  452. Performance comparison of four software architectures for distributed computations

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

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

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

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

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

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

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

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

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

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

  457. Towards explicit representation of architectural design assumption

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

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

  458. 1999
  459. '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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  467. Experiments in using model checking for schedulability analysis

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

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

  468. Experiments with parametric verification of real-time systems

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

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

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

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

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

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

  471. Modeling and verification using XTG and PMC

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

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

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

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

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

  473. Parametric model-checking in PMC

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

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

  474. Software architecture and Java beans

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

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

  475. Software engineering

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

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

  476. Softwareontwerp en -realisatie

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

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

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

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

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

Previous 1 2 Next

ID: 19954