1. 2007
  2. 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

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

  4. Digitale duurzaamheid

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

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

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

  6. Documentaire informatiesystemen

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  23. Model-Driven Evolution of Software Architectures

    Graaf, BS., 2007

    Research output: ThesisDissertation (TU Delft)Scientific

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

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

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

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

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

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

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

  31. Programmatuur

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

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  79. Enterprise Ontology: Theory and Methodology

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

    Research output: Book/ReportBookScientificpeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  97. Rapid Enterprise Design

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

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

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

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

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

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

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

ID: 19954