1. Article › Scientific › Not peer-reviewed
  2. 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

  3. Guest Editorial: reverse engineering

    Pinzger, M. & Antoniol, G., 2012, In : Empirical Software Engineering. p. 1-2 2 p.

    Research output: Contribution to journalArticleScientific

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

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

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

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

  8. Article › Scientific › Peer-reviewed
  9. 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

  10. A Controlled Experiment for Program Comprehension through Trace Visualization

    Cornelissen, SGM., Zaidman, AE. & van Deursen, A., 2011, In : IEEE Transactions on Software Engineering. 37, 3, p. 341-355 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

  13. A Large Scale Empirical Comparison of State-of-the-art Search-based Test Case Generators

    Panichella, A., Kifetew, F. M. & Tonella, P., 2018, In : Information and Software Technology. 104, p. 236-256 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. A Lightweight Sanity Check for Implemented Architectures

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

    Research output: Contribution to journalArticleScientificpeer-review

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

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

  17. A Pure Object-Oriented Embedding of Attribute Grammars

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

    Research output: Contribution to journalArticleScientificpeer-review

  18. A Runtime Testability Metric for Dynamic High-Availability Component-based Systems

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2011, In : International Journal on Advances in Systems and Measurements. 4, 1&2, p. 122-134 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

  20. A Systematic Literature Review of How Mutation Testing Supports Quality Assurance Processes

    Zhu, Q., Panichella, A. & Zaidman, A., 2018, In : Software Testing, Verification and Reliability. 28, 6, p. 1-39 39 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

  22. A Test Case Prioritization Genetic Algorithm guided by the Hypervolume Indicator

    Di Nucci, D., Panichella, A., Zaidman, A. & De Lucia, A., 31 Aug 2018, In : IEEE Transactions on Software Engineering. PP, 99, p. 1-24 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  23. A benchmark-based evaluation of search-based crash reproduction

    Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., 2019, In : Empirical Software Engineering. p. 1-43 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  24. A formal semantics for the Taverna 2 workflow model

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

    Research output: Contribution to journalArticleScientificpeer-review

  25. A framework for quality assessment of just-in-time requirements: The case of open source feature requests

    Heck, P. & Zaidman, A., 2017, In : Requirements Engineering. 22, 4, p. 453-473 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  26. A note on rigour and replicability

    Louridas, P. & Gousios, G., 2012, In : Software Engineering Notes. 37, 5, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

  28. A predictive multi-linear regression model for organic micropollutants, based on a laboratory-scale column study simulating the river bank filtration process

    Bertelkamp, C., Verliefde, ARD., Reynisson, J., Singhal, N., Cabo, AJ., de Jonge, M. & van der Hoek, JP., Nov 2015, In : Journal of Hazardous Materials. 304, March, p. 502-511 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  29. A pure embedding of attribute grammars

    Sloane, AM., Kats, LCL. & Visser, E., 2013, In : Science of Computer Programming. 78, 10, p. 1752-1769 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  30. A snowballing literature study on test amplification

    Danglot, B., Vera-Perez, O., Yu, Z., Zaidman, A., Monperrus, M. & Baudry, B., 2019, In : Journal of Systems and Software. 157, p. 1-16 16 p., 110398.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

  33. Aligning codependent Scrum teams to enable fast business value delivery: A governance framework and set of intervention actions

    Vlietland, J., Van Solingen, R. & Van Vliet, H., 1 Mar 2016, In : Journal of Systems and Software. 113, p. 418-429 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. All Your Database Are Belong to Us

    Meijer, HJM., 2012, In : ACM Queue: tomorrow's computing today. 10, 7, p. 1-10 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  35. All your database are belong to us

    Meijer, HJM., 2012, In : Communications of the ACM. 55, 9, p. 54-60 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  36. An Empirical Catalog of Code Smells for the Presentation Layer of Android Apps

    Goularte Carvalho, S., Aniche, M., Veríssimo, J., Durelli, R. & Gerosa, M. A., 2019, In : Empirical Software Engineering. 24, 6, p. 3546–3586 41 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

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

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

  42. Analysing the Linux kernel feature model changes using FMDiff

    Dintzner, N., van Deursen, A. & Pinzger, M., Feb 2017, In : Software and Systems Modeling. 16, 1, p. 55-76 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  43. Analysis of service diagnosis improvement through increased monitoring granularity

    Chen, C., Gross, H. G. & Zaidman, A., Jun 2017, In : Software Quality Journal. 25, 2, p. 437-471 35 p.

    Research output: Contribution to journalArticleScientificpeer-review

  44. Analyzing Implicit Social Networks in Multiplayer Online Games

    Iosup, A., van de Bovenkamp, R., Shen, S., Jia, AL. & Kuipers, FA., 2014, In : IEEE Internet Computing. special issue on Networked Games

    Research output: Contribution to journalArticleScientificpeer-review

  45. Anonymizing spreadsheet data and metadata with anonymousXL

    Van Veen, J. & Hermans, F., 2014, In : CEUR Workshop Proceedings. 1209, p. 45-46 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  46. Architectuur en agile: een ongelukkig huwelijk?

    Bender, KJ. & van Solingen, DM., 2011, In : Automatisering Gids. June 2011, p. 16-16 1 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

  50. Change-based test selection: An empirical evaluation

    Soetens, Q. D., Demeyer, S., Zaidman, A. & Perez, J., 11 Nov 2015, In : Empirical Software Engineering. 21, 5, p. 1990-2032 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  51. Classifying code comments in Java software systems

    Pascarella, L., Bruntink, M. & Bacchelli, A., 2019, In : Empirical Software Engineering. 24, 3, p. 1499-1537 39 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

Previous 1 2 3 4 5 6 7 8 ...19 Next

ID: 19954