1. 2010
  2. Dynamic Analysis of Communication and Collaboration in OSS Projects

    Pinzger, M. & Gall, HC., 2010, Collaborative Software Engineering. Mistrík, I., Grundy, J., van der Hoek, A. & Whitehead, J. (eds.). Berlin: Springer, p. 265-284

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

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

  4. Enabling Multi-Tenancy: An Industrial Experience Report

    Bezemer, C., Zaidman, AE., Platzbeecker, B., Hurkmans, AAM. & 't Hart, A., 2010, Proceedings of the 26th International Conference on Software Maintenance (ICSM). Trifu, A. & Verebi, I. (eds.). Los Alamitos: IEEE Society, p. 1-8 8 p.

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

  5. Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability

    Kats, LCL. & Visser, E., 2010, Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation 2010. Marinescu, C. & Vinju, J. (eds.). Los Alamitos: IEEE Society, p. 1-10 10 p.

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

  6. Evaluation of Online Testing for Services ¿ A Case Study

    Greiler, MS., Gross, HG. & van Deursen, A., 2010, 2nd International Workshop on Principles of Engineering Service-Oriented System. Lewis, GA., Metzger, A., Pistore, M., Smith, D. & Zisman, A. (eds.). New York: Association for Computing Machinery (ACM), p. 36-42 7 p.

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

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

  8. Exploiting Count Spectra for Bayesian Fault Localization

    Lima Maranhao De Abreu, RF., Gonzalez Sanchez, A. & van Gemund, AJC., 2010, PROMISE'10: 6th International Conference on Predictive Models in Software Engineering. Menzies, T. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 1-22 22 p.

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

  9. Focusing Automatic Code Inspections

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

    Research output: ThesisDissertation (TU Delft)Scientific

  10. Fusion ¿ Visually Exploring and Eliciting Relationships in Linked Data

    Cardoso de Aráujo, S., Houben, GJPM., Schwabe, D. & Hidders, AJH., 2010, The Semantic Web - ISWC 2010. Patel-Schneider, PF., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, JZ., Horrocks, I. & Glimm, B. (eds.). Berlin: Springer, p. 1-15 15 p. (Lecture Notes in Computer Science; vol. 6496).

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

  11. GDR: A Language for Flexible Interlinking, Integrating, and Enriching User Data

    Leonardi, E., Hidders, AJH., Houben, GJPM., Abel, F. & Herder, E., 2010, Adjunct Proceedings of the 18th International Conference on User Modeling, Adaptation and Personalization, Posters and Demonstrations (UMAP 2010). Bohnert, F. & Quiroga, L. (eds.). p. 49-51 3 p.

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

  12. Hera: Engineering Web Applications Using Semantic Web-based Models

    van der Sluijs, K., Houben, GJPM., Leonardi, E. & Hidders, AJH., 2010, Semantic Web Information Management - A Model-Based Perspective. de Virgilio, R., Giunchiglia, F. & Tanca, L. (eds.). Berlin: Springer, p. 521-544 549 p.

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

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

  14. Identifying Cross-Cutting Concerns Using Software Repository Mining

    Mulder, JBF. & Zaidman, AE., 2010, Proceedings of the 4th International Joint ERCIM/IWPSE Symposium on Software Evolution (IWPSE-EVOL 2010). Capiluppi, A., Cleve, A. & Moha, N. (eds.). New York: Association for Computing Machinery (ACM), p. 23-32 10 p.

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

  15. Increasing System Availability with Local Recovery based on Fault Localization

    Sozer, H., Lima Maranhao De Abreu, RF., Aksit, M. & van Gemund, AJC., 2010, Proceedings of the 10th Int'l Conference on Quality Software (QSIC'10). Bai, X. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 276-281 6 p.

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

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

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

  18. Kan Scrum Fixed Price?

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

    Research output: Contribution to journalArticleScientificpeer-review

  19. Language extension and composition with language workbenches

    Völter, M. & Visser, E., 2010, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 301-304 4 p.

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

  20. Minimising the Preparation Cost of Runtime Testing based on Testability Metrics

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2010, 34th Annual IEEE Computer Software and Applications Conference (COMPSAC'10). Ahamed et al, S. I. (ed.). Los Alamitos: IEEE Society, p. 419-424 6 p.

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

  21. Multi-Tenant SaaS Applications: Maintenance Dream or Nightmare?

    Bezemer, C. & Zaidman, AE., 2010, Proceedings of the 4th International Joint ERCIM/IWPSE Symposium on Software Evolution (IWPSE-EVOL 2010). Capiluppi, A., Cleve, A. & Mohan, N. (eds.). New York: Association for Computing Machinery (ACM), p. 88-92 5 p.

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

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

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

  24. Object-Oriented Software Testing with Genetic Algorithms and Program Analysis

    Seesing, A. & Gross, HG., 2010, Evolutionary Computation and Optimization Algorithms in Software Engineering: Applications and Techniques. Chis, M. (ed.). Hershey: IGI Global, p. 184-199

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

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

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

    Research output: ThesisDissertation (TU Delft)Scientific

  26. On-the-fly auditing of business processes

    van Hee, K., Hidders, AJH., Houben, GJPM., Paredaens, J. & Thiran, P., 2010, Transactions on Petri nets and other models of concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (eds.). Berlin-Heidelberg: Springer, p. 144-173 30 p. (Lecture Notes in Computer Science; vol. 6550).

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

  27. Online Testing of Service-Oriented Architectures to detect State-based Faults

    Greiler, MS., 2010, Proceedings of the PhD Symposium at the 7the International Conference on Service Oriented Computing (ICSOC 2009). Daniel, F. (ed.). Aachen: CEUR-WS, p. 37-42 6 p.

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

  28. PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness

    Dekeyser, S. & Hidders, AJH., 2010, Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010. Kommers, P. & Isaias, P. (eds.). Freiburg, Germany: IADIS, p. 125-131 7 p.

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

  29. Post-Processing in Wireless Sensor Networks: Benchmarking Sensor Trace Files

    Bor, MC., Chatzigiannakis, I., Dulman, SO., Kikiras, P., Theodoridis, E. & Visser, OW., 2010, 7th ACM Int. Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN). Garcia-Luna-Aceves, JJ. (ed.). New York, NY, USA: Association for Computing Machinery (ACM), p. 40-43 4 p.

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

  30. Predicting the Fix Time of Bugs

    Giger, E., Pinzger, M. & Gall, HC., 2010, Proceedings of the International Workshop on Recommendation Systems for Software Engineering (RSSE). Holmes, R., Robillard, MP., Walker, RJ. & Zimmerman, T. (eds.). New York: Association for Computing Machinery (ACM), p. 52-56 5 p.

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

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

  32. Prioritizing Tests for Software Fault Localization

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2010, QSIC'10: 10th International Conference in Quality Software. Bai, X. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 42-51 10 p.

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

  33. Proving consistency of VDM models using HOL

    Vermolen, SD., Hooman, J. & Larsen, PG., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC). Shin, SY., Ossowski, S., Schumacher, M., Palakal, MJ. & Hung, CC. (eds.). New York: Association for Computing Machinery (ACM), p. 2503-2510 8 p.

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

  34. Pure and declarative syntax definition: paradise lost and regained

    Kats, LCL., Visser, E. & Wachsmuth, GH., 2010, Proceedings of the ACM international conference on Object oriented programming systems languages and applications. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 918-932 15 p. (ACM SIGPLAN Notices; vol. 45, no. 10).

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

  35. Regression Testing Ajax Applications: Coping with Dynamism

    Roest, D., Mesbah, A. & van Deursen, A., 2010, Proceedings of the 3rd International Conference on Software Testing, Verification and Validation (ICST'10). Cavalli, A. & Ghosh, S. (eds.). Los Alamitos, CA, USA: IEEE Society, p. 127-136 10 p.

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

  36. Research Issues in the Automated Testing of Ajax Applications

    van Deursen, A. & Mesbah, A., 2010, Proceedings 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'10). van Leeuwen, J., Muscholl, A., Peleg, D., Pokorný, J. & Rumpe, B. (eds.). Berlin: Springer, p. 16-28 13 p. (Lecture Notes in Computer Science; vol. 5901).

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

  37. Runtime Testability in Dynamic High-Availability Component-Based Systems

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2010, VALID'10: 2nd International Conference on Advances in System Testing and Validation Lifecycle. Alimohammad et al, A. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 37-42 6 p.

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

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

  39. Software Evolution

    Zaidman, AE., Pinzger, M. & van Deursen, A., 2010, Encyclopedia of Software Engineering. Laplante, PA. (ed.). Londen: Taylor & Francis, p. -

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  40. Spectrum-Based Sequential Diagnosis

    Gonzalez Sanchez, A., Lima Maranhao De Abreu, RF., Gross, HG. & van Gemund, AJC., 2010, 21st International Workshop on the Principles of Diagnosis (DX'10). Poll, S., de Kleer, J., Roychoudhury, I. & Daigle, M. (eds.). PHM Society, p. 55-62 8 p.

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

  41. Supporting Collaboration Awareness with Real-time Visualization of Development Activity

    Lanza, M., Hattori, L. & Guzzi, A., 2010, Proceedings of 14th IEEE European Conference on Software Maintenance and Reengineering (CSMR 2010). Capilla et al, R. (ed.). Los Alamitos, CA, USA: IEEE Society, p. 207-216 10 p.

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

  42. The Impact of Number of Sites in a Follow the Sun Setting on the Actual and Perceived Working Speed and Accuracy: A Controlled Experiment

    van Solingen, DM. & Valkema, M., 2010, The 5th International Conference on Global Software Engineering (ICGSE). Sangwan, R. (ed.). Los Alamitos: IEEE Society, p. 165-174 10 p.

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

  43. The Impact of Social Media on Software Engineering Practices and Tools

    Storey, MA., Treude, C., van Deursen, A. & Cheng, LT., 2010, Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research. Roman, GC. & Sullivan, K. (eds.). New York: Association for Computing Machinery (ACM), p. 359-364 6 p.

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

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

  45. The Spoofax language workbench

    Kats, LCL. & Visser, E., 2010, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 237-238 2 p.

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

  46. The Spoofax language workbench: Rules for declarative specification of languages and IDEs

    Kats, LCL. & Visser, E., 2010, OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications. Rinard, M. (ed.). New York: Association for Computing Machinery (ACM), p. 444-463 20 p. (ACM SIGPLAN Notices; vol. 45, no. 10).

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

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

  48. Towards Context-based Information Delivery to Police Officers: A Questionnaire-based Requirements Elicitation Study

    Hu, B., Hidders, AJH. & Cimiano, P., 2010, Proceedings of the 7th International Conference on Information Systems for Crisis Response and Management (ISCRAM' 10). French, S., Tomaszweski, B. & Zobel, C. (eds.). Seattle, WA, USA: ISCRAM, p. 1-6 6 p.

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

  49. Understanding Plug-in Test Suites from an Extensibility Perspective

    Greiler, MS., Gross, HG. & van Deursen, A., 2010, Proceedings 17th Working Conference on Reverse Engineering. Antoniol, G., Pinzger, M. & Chikofsky, E. (eds.). Los Alamitos: IEEE Society, p. 67-76 10 p.

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

  50. Using Fault Screeners for Software Error Detection

    Lima Maranhao De Abreu, RF., Gonzalez Sanchez, A., Zoeteweij, P. & van Gemund, AJC., 2010, Evaluation of Novel Approaches to Software Engineering. Maciaszek, LA., Gonzalez-Perez, C. & Jablonski, S. (eds.). Berlin: Springer, p. 60-74 15 p. (Communications In Computer and Information Science; vol. 69).

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

  51. Verifying FreeRTOS; a feasibility study

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

    Research output: Book/ReportReportProfessional

  52. Virtual Open Conversation Spaces: Towards Improved Awareness in a {GSE} Setting

    Dullemond, K., van Gameren, BJA. & van Solingen, DM., 2010, Fifth IEEE International Conference on Global Software Engineering (ICGSE). Kellenberger, P. (ed.). Los Alamitos: IEEE Society, p. 247-256 10 p.

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

  53. Visual Patterns in Issue Tracking Data

    Knab, P., Pinzger, M. & Gall, HC., 2010, New Modeling Concepts for Today¿s Software Processes. Muench, J., Yang, Y. & Schaefer, W. (eds.). Berlin: Springer, p. 222-233 12 p.

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

  54. Web2SE: First Workshop on Web 2.0 for Software Engineering

    Treude, C., Storey, MA., Ehrlich, K. & van Deursen, A., 2010, Companion to the Proceedings of the International Conference on Software Engineering 2010. Fisler, K. (ed.). New York: Association for Computing Machinery (ACM), p. 457-458 2 p.

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

  55. Workshop on Program Comprehension through Dynamic Analysis (PCODA'10)

    Hamou-Lhadj, A., Rothlisberger, JD., Zaidman, AE. & Greevy, O., 2010, Proceedings of the 17th Working Conference on Reverse Engineering (WCRE 2010). Antoniol, G., Pinzger, M. & Chikofsky, E. (eds.). Los Alamitos: IEEE Society, p. 279-280 2 p.

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

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

  57. 2009
  58. A Bayesian Approach to Diagnose Multiple Intermittent Faults

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

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

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

  60. A Framework for Flexible User Profile Mashups

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

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

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

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

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

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

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

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

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  64. A New Bayesian Approach to Multiple Intermittent Fault Diagnosis

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

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

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

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

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

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

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

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

  69. Abstracting Common Business Rules to Petri Nets

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

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

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

  71. An introduction to enterprise engineering

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

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

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

    Research output: ThesisDissertation (TU Delft)Scientific

  73. ArchiMate and DEMO - mates to date?

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

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

  74. Automated Security Testing of Web Widget Interactions

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

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

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

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

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

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

  77. Criteria for the Evaluation of Implemented Architectures

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

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

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

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

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

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

  80. De kleine CMMI voor acquisitie

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

    Research output: Book/ReportBookProfessional

  81. De kleine CMMI voor ontwikkeling

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

    Research output: Book/ReportBookProfessional

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

  83. Developing Quality Management Systems with DEMO

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

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

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

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

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

  85. Evaluating Dynamic Analysis Techniques for Program Comprehension

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

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

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

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

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

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

  88. Fault Localization of Embedded Software

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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

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

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

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

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

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

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

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

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

  92. Interactive Views for Analyzing Problem Reports

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

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

  93. Invariant-Based Automatic Testing of Ajax User Interfaces

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

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

  94. Localizing Software Faults Simultaneously

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

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

  95. MAC Protocols for Wireless Sensor Networks and Their Evaluation

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

    Research output: ThesisDissertation (TU Delft)Scientific

  96. Managing Code Clones Using Dynamic Change Tracking and Resolution

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

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

  97. Managing Requirements Evolution using Reconstructed Traceability and Requirements Views

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

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

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

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

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

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

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

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

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

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

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

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

  106. Reference Model for Strategic Supply Network Development

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  107. Refining Spectrum-based Fault Localization Rankings

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

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

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

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

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

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

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

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

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

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

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

  111. Smart Views for Analyzing Problem Reports: Tool Demo

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

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

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

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

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

  113. Spectrum-Based Fault Localization in Practice

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  114. Spectrum-based Fault Localization in Embedded Software

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

    Research output: ThesisDissertation (TU Delft)Scientific

  115. Spectrum-based Multiple Fault Localization

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

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

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

  117. Statistics-directed Minimal Hitting Set Algorithm

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

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

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

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

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

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

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

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

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

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

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

  123. Trace Visualization for Program Comprehension: A Controlled Experiment

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

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

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

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

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

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

  126. Using software history to guide deployment of coding standards

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  127. Weaving Web Applications with WebDSL (Demonstration)

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

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

  128. Zoltar: A Spectrum-based Fault Localization Tool

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

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

  129. Zoltar: A Toolset for Automatic Fault Localization

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

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

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

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

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

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

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

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

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

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

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

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

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

  136. An Adaptive Push/Pull Algorithm for AJAX Applications

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

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

  137. An Assessment Methodology for Trace Reduction Techniques

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

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

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

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

    Marin, A. M., 2008

    Research output: ThesisDissertation (TU Delft)Scientific

  140. An Observation-based Model for Fault Localization

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

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

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

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

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

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

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

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

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

  144. Atomic Upgrading of Distributed Systems

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

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

  145. Automated Fault Diagnosis in Embedded Systems

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

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

  146. Automatic Software Fault Localization using Generic Program Invariants

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

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

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

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

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

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

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

  150. Computing minimal diagnoses by greedy stochastic search

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

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

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

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

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

  152. Crawling Ajax by Inferring User Interface State Changes

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  159. Enterprise Ontology Based Splitting and Contracting of Organizations

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

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

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

  161. Enterprise Ontology in Enterprise Engineering

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

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

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

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

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

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

  164. Generating version convertors for domain-specific languages

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

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

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

  166. Instrument for fast and effective splitting of organizations

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

    Research output: Book/ReportBookPopular

  167. Instrument voor snelle en effectieve splitsing van organisaties

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

    Research output: Book/ReportBookPopular

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

  169. Let a thousand flowers bloom

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

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

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

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

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

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

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

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

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

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

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

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

  176. On the Nature of Business Rules

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

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

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

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

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

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

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

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

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

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

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

  180. Prioritizing Model-Based Debugging Diagnostic Reports

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

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

  181. Reengineering Idiomatic Exception Handling in Legacy C Code

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

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

  182. Renovation of Idiomatic Crosscutting Concerns in Embedded Systems

    Bruntink, M., 2008

    Research output: ThesisDissertation (TU Delft)Scientific

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

  184. Self Modelling Knowledge Networks

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

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

  185. Software Language Evolution

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

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

  186. Sort-based Refactoring of Crosscutting Concerns to Aspects

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

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

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

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

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

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

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

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

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

  190. Towards a Business-Oriented Specification for Services.

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

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

  191. Towards a Systematic Method for Identifying Business Components

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  198. 2007
  199. A Comparison of Push and Pull Techniques for Ajax

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

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

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

  201. A Reference Model for Strategic Supply Network Development

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

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

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

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

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

  203. Ajaxifying Classic Web Applications

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

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

  204. An Architectural Style for Ajax

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

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

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

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

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

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

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

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

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

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

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

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

  209. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

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

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

  210. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

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

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

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

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

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

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

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

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

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

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

  215. Costs and Benefits of Model-Based Diagnosis

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

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

  216. Designing Syntax Embeddings and Assimilations for Language Libraries

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

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

  217. Diagnosis of embedded software using program spectra

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

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

  218. Digitale duurzaamheid

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

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

  219. Discovering Faults in Idiom-Based Exception Handling

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

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

  220. Documentaire informatiesystemen

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

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

  221. Documenting Typical Crosscutting Concerns

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

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

  222. Dynamic Analysis Techniques for the Reconstruction of Architectural Views

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

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

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

  224. Establishing Evidence for Safety Cases in Automotive Systems

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

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

  225. Evaluation of Test-Driven Development

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

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

  226. Exploring Similarities in Execution Traces

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

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

  227. Fault diagnosis of embedded software using program spectra

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

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

  228. Fusing a Transformation Language with an Open Compiler

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

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

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

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

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

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

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

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

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

  232. Impact of Principles on Enterprise Engineering

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

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

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

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

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

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

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

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

  235. Model-Based Diagnosis

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

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

  236. Model-Driven Consistency Checking of Behavioural Specifications

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

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

  237. Model-Driven Evolution of Software Architectures

    Graaf, BS., 2007

    Research output: ThesisDissertation (TU Delft)Scientific

  238. Model-Driven Migration of Supervisory Machine Control Architectures

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

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

  239. Model-Driven Software Evolution: A Research Agenda

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

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

  240. Model-driven evolution of software architectures

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

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

  241. Monitoring Requirements Evolution using Views

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

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

  242. On the Accuracy of Spectrum-based Fault Localization

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

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

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

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

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

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

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

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

  245. Programmatuur

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  246. Recht en Wonder

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  247. Reformulating Component Identification as Document Analysis Problem

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

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

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

  249. Simple Crosscutting Concerns are not So Simple

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

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

  250. SoQueT: Query-Based Documentation of Crosscutting Concerns

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

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

  251. Software fault diagnosis

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

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

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

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

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

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

  254. Supporting Reliable Software Evolution through Program Analysis

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

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

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

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

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

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

  257. Toward Evidence Based Splitting of Organizations

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

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

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

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

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

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

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

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

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

  261. Using MDE for generic comparison of views

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

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

  262. Visualization of Domain-Specific Modelling Languages Using UML

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

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

  263. Visualizing Testsuites to Aid in Software Understanding

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

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

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

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

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

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

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

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

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

  268. A Model of Maintainability - Suggestion for Future Research

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

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

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

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

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

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

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

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

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

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

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

  272. A performance prediction methodology for MPSoCs

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

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

  273. Aiding in the Comprehension of Testsuites

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

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

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

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

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

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

  276. An Evaluation of Similarity Coefficients for Software Fault Localization

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

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

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

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

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

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

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

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

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

  280. Archival metadata for durable data sets

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

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

  281. Automatic Fault Diagnosis in Embedded Software

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

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

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

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

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

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

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

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

  284. Case Study - Automating Direct Banking Customer Service

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

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

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

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

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

  286. Compatibility Test for Coordination Aspects of Software Components

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

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

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

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

  289. Diagnostic Accuracy of Models

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

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

  290. Discovering Faults in Idiom-Based Exception Handling

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

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

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

  292. Enterprise Ontology - Understanding the essence of organizational operation

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

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

  293. Enterprise Ontology: Theory and Methodology

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

    Research output: Book/ReportBookScientificpeer-review

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

  295. Fint: Tool support for aspect mining

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

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

  296. Harvesting Software Systems for MDA-Based Reengineering

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

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

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

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

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

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

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

  300. Migrating Supervisory Control Architectures Using Model Transformations

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

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

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

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

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

  302. Migration of supervisory machine control architectures

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

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

  303. Modeling and Compilation Aspects of Fault Diagnosis Complexity

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

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

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

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

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

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

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

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

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

  307. Prioritizing Software Inspection Results using Static Profiling

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

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

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

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

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

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

  310. Ranking Software Inspection Results using Execution Likelihood

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

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

  311. Rapid Enterprise Design

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

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

  312. Semi-Static performance prediction for MPSoC platforms

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

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

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

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

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

  314. Temporal versus Spatial Observability in Model-Based Diagnosis

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

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

  315. The Delft MS Curriculum on Embedded Systems

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

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

  316. The benefit of enterprise ontology in identifying business components

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

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

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

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

  319. Tool Support for Distributed Software Engineering

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

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

  320. Towards Unification of Software Component Procurement and Integration Approaches

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

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

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

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

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

  322. 2005
  323. 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

  324. A classification of crosscutting concerns

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

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

  325. A hybrid approach to hierarchical fault diagnosis

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

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

  326. A model-based approach to sequential fault diagnosis

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

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

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

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

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

  328. A qualitative comparison of three aspect mining techniques

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

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

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

  330. AJHotDraw: A showcase for refactoring to aspects

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

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

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

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

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

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

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

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

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

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

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

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

  335. Crosscutting concerns in J2EE applications

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

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

  336. De bemiddeling van ....

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

    Research output: Contribution to journalArticleProfessional

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

  347. Identification of variation points using dynamic analysis

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

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

  348. Isolating idiomatic crosscutting concerns

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

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

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

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

  351. Modeling and implementation of built-in contract tests

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

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

  352. New applications of group support systems

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

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

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

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

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

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

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

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

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

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

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

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

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

  360. Reengineering towards product lines (R2PL 2005)

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

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

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

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

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

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

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

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

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

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

  367. System ontology and its role in software development

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

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

  368. Uiteindelijk loopt elk systeem vast

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

    Research output: Contribution to journalArticlePopular

  369. 2004
  370. A meta ontology for organizations

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

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

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

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

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

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

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

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

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

  374. An initial experiment in reverse engineering aspects

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

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

  375. Basic notions regarding business processes and supporting information systems

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

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

  376. De oberstrategie - hoe lang nog?

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

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

  377. Democratic processing; mastering the complexity of communicating systems

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

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

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

  379. Design of software applications using generic business components

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

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

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

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

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

  381. Een overzichtsraamwerk voor beheermethoden

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  382. Identifying aspects using Fan-In analysis

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

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

  383. Maintainability through architecture development

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

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

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

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

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

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

    Lutje Spelberg, RF., 2004

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

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

  387. Predicting class testability using object-oriented metrics

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

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

  388. Refactoring JHotDraw's undo concern to aspectJ

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

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

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

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

  391. Symphony: view-driven software architecture reconstruction

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

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

  392. The evaluation of business process modeling techniques

    Hommes, LJ., 2004, 267 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  393. The notion of business process revisited

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

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

  394. Towards a LAP-based information paradigm

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

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

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

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

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

  396. Viewpoints in software architecture reconstruction

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

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

  397. 2003
  398. A new benchmark for distributed real-time systems: some experimental results

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

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

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

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

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

  400. Aspect mining and refactoring

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

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

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

  402. Context-aware process networks

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

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

  403. Context-aware process networks

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

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

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

  405. Exploring software systems

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

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

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

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

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

  409. Refactoring: emerging trends and open problems

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

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

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

  411. Slopen onder architectuur

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

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

  412. Source-based software risk assessment

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

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

  413. 2002
  414. Building blocks for durable metadata of visual sources

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

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

  415. Longevity of digital surrogates of visual sources

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

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

  416. On context-aware process networks

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

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

  417. Software technologies for embedded systems: an industry inventory

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

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

  418. 2001
  419. A timed automata semantics for Real-Time UML specifications

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

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

  420. Expressing and verifying timing requirements with UML

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

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

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

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

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

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

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

  424. Practice of real-time software architecture: Collider, satellites, and tanks combined

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

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

  425. Real-Time model checking based on splitting

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

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

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

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

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

  427. Software verification in ground transportation systems

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

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

  428. Specification of Real-Time properties in UML

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

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

  429. Transformation of UML specification to XTG

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

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

  430. 2000
  431. ACL: an approach to formal verification of real time systems

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

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

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

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

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

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

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

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

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

  435. Editorship

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

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

  436. Empirical evaluation of ontological commitments for ADLs

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

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

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

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

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

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

  439. Industrial concerns for architecture-centered software development

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

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

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

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

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

  441. Middleware for weal-time distributed simulation systems

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

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

  442. Model checking real-time embedded software

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

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

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

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

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

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

  445. Performance comparison of four software architectures for distributed computations

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

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

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

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

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

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

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

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

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

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

  450. Towards explicit representation of architectural design assumption

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

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

  451. 1999
  452. '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

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

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

    de Rooij, RCM. & van Katwijk, J., 1999, RTCSA'99: proceedings. Los Alamitos: IEEE, p. 474-483 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  455. 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

  456. Beyond components-connections-constraints: dealing with software architecture difficulties

    Kyaruzi, JK. & van Katwijk, J., 1999, Proceedings ASE 1999. A Rawlinson (ed.). Los Alamitos: IEEE, p. 235-242 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  457. Bridging the gap between information modelling and business modelling for ISD

    van Reijswoud, VE. & Mulder, JBF., 1999, Evolution and challenges in system development: proceedings. J Zupancic, W Wojtkowski, WG Wojtkowski & S Wrycza (eds.). New York: Kluwer Academic, p. 317-330 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  458. 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

  459. Experiences with an introductory real-time software course at Delft University of Technology

    van Katwijk, J. & Zalewski, J., 1999, Proceedings. J Nawrocki (ed.). Los Alamitos: IEEE, p. 24-29 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  460. Experiments in using model checking for schedulability analysis

    de Rooij, RCM., 1999, ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 158-164 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  461. Experiments with parametric verification of real-time systems

    Lutje Spelberg, RF., de Rooij, RCM. & Toetenel, WJ., 1999, Proceedings. B Werner (ed.). Los Alamitos: IEEE, p. 123-131 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  462. H-astral and its use in the development of real-time control systems

    Brink, K., van Katwijk, J., Toetenel, WJ. & Zalewski, J., 1999, WRTP'99: preprint proceedings. ARTDB-99: preprint proceedings. AH Frigeri, WA Halang & SH Son (eds.). S.l.: International Federation of Automatic Control, p. 123-128 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  463. 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

  464. Modeling and verification using XTG and PMC

    Burns, A., Lutje Spelberg, RF., Toetenel, WJ. & Vink, T., 1999, ASCI'99: proceedings. M Boasson, JA Kaandorp, JFM Tonino & MG Vosselman (eds.). Delft: Advanced School for Computing and Imaging, p. 251-258 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  465. New method of improving software safety in mission-critical real-time systems

    Anderson, E., van Katwijk, J. & Zalewski, J., 1999, System safety at the dawn of a new millennium: proceedings. Unionville: System Safety Society, p. 587-596 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  466. Parametric model-checking in PMC

    Bandini, G., Lutje Spelberg, RF. & Toetenel, WJ., 1999, NWPT'99: proceedings (Technical report 1999-008). B Victor & Wang Yi (eds.). Uppsala: Uppsala University: Department of Information Technology, p. 14-15 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  467. Software architecture and Java beans

    Stuurman, S., 1999, WICSA1. P Donohoe (ed.). Boston: Kluwer, p. 183-200 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  468. Software engineering

    van Katwijk, J. & Toetenel, WJ., 1999, ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1005-1018

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  469. Softwareontwerp en -realisatie

    Toetenel, WJ. & van Katwijk, J., 1999, ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1019-1033

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  470. Web-based course on software quality assurance: perspectives on intercontinental learning [alleen op CD-ROM verschenen]

    Shah, A., Sosnowski, J., van Katwijk, J. & Zalewski, J., 1999, ICEE'99 proceedings: process through partnership: strengthening alliances. R Farana (ed.). S.l.: s.n., p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

Previous 1 2 Next

ID: 19954