1. 2008
  2. Workshop on Program Comprehension through Dynamic Analysis (PCODA'08)

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

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

  3. 2007
  4. A Comparison of Push and Pull Techniques for Ajax

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

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

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

  6. A Reference Model for Strategic Supply Network Development

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

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

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

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

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

  8. Ajaxifying Classic Web Applications

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

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

  9. An Architectural Style for Ajax

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

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

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

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

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

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

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

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

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

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

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

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

  14. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

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

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

  15. Approximate Model-Based Diagnosis Using Greedy Stochastic Search

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

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

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

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

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

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

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

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

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

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

  20. Costs and Benefits of Model-Based Diagnosis

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

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

  21. Designing Syntax Embeddings and Assimilations for Language Libraries

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

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

  22. Diagnosis of embedded software using program spectra

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

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

  23. Digitale duurzaamheid

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

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

  24. Discovering Faults in Idiom-Based Exception Handling

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

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

  25. Documentaire informatiesystemen

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

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

  26. Documenting Typical Crosscutting Concerns

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

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

  27. Dynamic Analysis Techniques for the Reconstruction of Architectural Views

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

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

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

  29. Establishing Evidence for Safety Cases in Automotive Systems

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

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

  30. Evaluation of Test-Driven Development

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

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

  31. Exploring Similarities in Execution Traces

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

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

  32. Fault diagnosis of embedded software using program spectra

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

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

  33. Fusing a Transformation Language with an Open Compiler

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

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

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

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

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

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

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

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

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

  37. Impact of Principles on Enterprise Engineering

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

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

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

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

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

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

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

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

  40. Model-Based Diagnosis

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

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

  41. Model-Driven Consistency Checking of Behavioural Specifications

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

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

  42. Model-Driven Evolution of Software Architectures

    Graaf, BS., 2007

    Research output: ThesisDissertation (TU Delft)

  43. Model-Driven Migration of Supervisory Machine Control Architectures

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

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

  44. Model-Driven Software Evolution: A Research Agenda

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

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

  45. Model-driven evolution of software architectures

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

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

  46. Monitoring Requirements Evolution using Views

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

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

  47. On the Accuracy of Spectrum-based Fault Localization

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

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

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

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

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

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

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

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

  50. Programmatuur

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

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

  51. Recht en Wonder

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

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

  52. Reformulating Component Identification as Document Analysis Problem

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

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

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

  54. Simple Crosscutting Concerns are not So Simple

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

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

  55. SoQueT: Query-Based Documentation of Crosscutting Concerns

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

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

  56. Software fault diagnosis

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

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

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

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

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

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

  59. Supporting Reliable Software Evolution through Program Analysis

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

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

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

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

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

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

  62. Toward Evidence Based Splitting of Organizations

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

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

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

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

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

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

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

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

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

  66. Using MDE for generic comparison of views

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

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

  67. Visualization of Domain-Specific Modelling Languages Using UML

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

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

  68. Visualizing Testsuites to Aid in Software Understanding

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

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

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

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

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

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

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

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

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

  73. A Model of Maintainability - Suggestion for Future Research

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

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

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

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

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

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

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

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

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

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

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

  77. A performance prediction methodology for MPSoCs

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

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

  78. Aiding in the Comprehension of Testsuites

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

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

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

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

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

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

  81. An Evaluation of Similarity Coefficients for Software Fault Localization

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

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

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

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

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

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

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

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

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

  85. Archival metadata for durable data sets

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

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

  86. Automatic Fault Diagnosis in Embedded Software

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

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

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

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

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

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

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

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

  89. Case Study - Automating Direct Banking Customer Service

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

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

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

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

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

  91. Compatibility Test for Coordination Aspects of Software Components

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

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

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

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

  94. Diagnostic Accuracy of Models

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

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

  95. Discovering Faults in Idiom-Based Exception Handling

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

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

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

  97. Enterprise Ontology - Understanding the essence of organizational operation

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

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

  98. Enterprise Ontology: Theory and Methodology

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

    Research output: Book/ReportBookScientificpeer-review

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

  100. Fint: Tool support for aspect mining

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

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

  101. Harvesting Software Systems for MDA-Based Reengineering

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

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

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

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

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

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

ID: 19954