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

  3. A Theoretical and Empirical Analysis of Program Spectra Diagnosability

    Perez, A., Abreu, R. & Deursen, A. V., 1 Mar 2019, In : IEEE Transactions on Software Engineering. p. 1-20 20 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. A Topological Investigation of Power Flow

    Cetinay, H., Kuipers, F. A. & Van Mieghem, P., 2018, In : IEEE Systems Journal. 12, 3, p. 2524-2532 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

    Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., Jan 2020, In : Empirical Software Engineering. 25, 1, p. 96–138 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. A better-response strategy for self-interested planning agents

    Jordán, J., Torreño, A., de Weerdt, M. & Onaindia, E., 2018, In : Applied Intelligence: the international journal of artificial intelligence, neural networks, and complex problem-solving technologies. 48, 4, p. 1020-1040 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. A convex approximation for optimal DER scheduling on unbalanced power distribution networks

    Serna-Suárez, I. D., Carrillo-Caicedo, G., Morales-España, G. A., De Weerdt, M. & Ordóñez-Plata, G., 1 Jan 2019, In : DYNA (Colombia). 86, 208, p. 281-291 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. A data-driven approach for optimal design of integrated air quality monitoring network in a chemical cluster

    Zhu, Z., Chen, B., Qiu, S., Wang, R., Wang, Y., Ma, L. & Qiu, X., 2018, In : Royal Society Open Science. 5, 9, p. 1-21 21 p., 180889.

    Research output: Contribution to journalArticleScientificpeer-review

  9. A dynamic co-allocation service in multicaster systems

    Sinaga, JMP., Mohamed, HH. & Epema, DHJ., 2005, In : Lecture Notes in Computer Science. 3277, p. 194-209 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

  12. A full Nesterov¿Todd step infeasible interior-point method for second-order cone optimization

    Zangiabadi, M., Gu, G. & Roos, C., 2013, In : Journal of Optimization Theory and Applications. 158, 3, p. 816-858 43 p.

    Research output: Contribution to journalArticleScientificpeer-review

  13. A generic model of clinical practice; a common view of individual and collaborative care

    Tange, HJ., Dietz, JLG., Hasman, A. & de Vries Robbe, PF., 2003, In : Methods of Information in Medicine: journal of methodology in medical research, information and documentation. 42, p. 203-211 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. A inified approach to mapping and routing on a network-on-chip for both best-effort and guaranteed service traffic

    Hansson, A., Goossens, KGW. & Radulescu, A., 2007, In : VLSI Design. 2007, art ID 68432, p. 1-16 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  15. A measurement-based simulation study of processor co-allocation in multicluster systems

    Banen, S., Bucur, AID. & Epema, DHJ., 2003, In : Lecture Notes in Computer Science. 2862, 13, p. 105-128 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  16. A methodology for creating and validating psychological stories for conveying and measuring psychological traits

    Smith, K. A., Dennis, M., Masthoff, J. & Tintarev, N., 2019, In : User Modeling and User-Adapted Interaction: the journal of personalization research. 29, 3, p. 573-618 46 p.

    Research output: Contribution to journalArticleScientificpeer-review

  17. A mirroring architecture for sophisticated mobile games using computation‐offloading

    Jiang, M. H., Visser, O. W., Prasetya, I. S. W. B. & Iosup, A., 6 Apr 2018, In : Concurrency and Computation: Practice & Experience. 30, 17, p. 1-19 19 p.

    Research output: Contribution to journalArticleScientificpeer-review

  18. A modal characterization of Nash equilibrium

    Harrenstein, P., Meyer, J-J., van der Hoek, W. & Witteveen, C., 2003, In : Fundamenta Informaticae. 57, 2-4, p. 281-321 41 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

  20. A novel productivity-driven logic element for field-programmable devices

    Marconi, T., Bertels, KLM. & Gaydadjiev, GN., 2014, In : International Journal of Electronics. 101, 6, p. 731-762 32 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

  24. A resource based framework for planning and replanning

    van der Krogt, RPJ., de Weerdt, MM. & Witteveen, C., 2003, In : Web Intelligence and Agent Systems. 1, 3, 4, p. 173-186 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  25. A resource logic for multi-agent plan merging

    de Weerdt, MM., Bos, A., Tonino, JFM. & Witteveen, C., 2002, In : Annals of Mathematics and Artificial Intelligence. 37, 1-2, p. 93-131 39 p.

    Research output: Contribution to journalArticleScientificpeer-review

  26. A resource logic for multi-agent plan merging

    de Weerdt, MM., Bos, A., Tonino, JFM. & Witteveen, C., 2003, In : Annals of Mathematics and Artificial Intelligence. 37, 1/2, p. 93-130 38 p.

    Research output: Contribution to journalArticleScientificpeer-review

  27. A scalable middleware solution for advanced wide-area Web services

    van Steen, M., Tanenbaum, AS., Kuz, I. & Sips, HJ., 1999, In : Distributed Systems Engineering. 6, p. 34-42 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

  30. A survey on web modeling approaches for ubiquitous web applications

    Houben, GJPM., 2008, In : International Journal of Web Information Systems. 4, 3, p. 234-305 72 p.

    Research output: Contribution to journalArticleScientificpeer-review

  31. A tight MIP formulation of the unit commitment problem with start-up and shut-down constraints

    Gentile, C., Morales-España, G. & Ramos, A., 2017, In : EURO Journal on Computational Optimization. 5, 1-2, p. 177-201 24 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. ASH: tackling node mobility in large-scale networks

    Pruteanu, AS. & Dulman, SO., 2012, In : Computing. 94, 8, p. 811-832 22 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. Activating Learning at Scale: A Review of Innovations in Online Learning Strategies

    Davis, D., Chen, G., Hauff, C. & Houben, G-J., 2018, In : Computers & Education. 125, p. 327-344 18 p.

    Research output: Contribution to journalArticleScientificpeer-review

  35. Actris: Session-type based reasoning in separation logic

    Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

    Research output: Contribution to journalArticleScientificpeer-review

  36. Adding tuples to Java: a study in lightweight data structures

    van Reeuwijk, C. & Sips, HJ., 2005, In : Concurrency and Computation: Practice & Experience. 17, 5-6, p. 423-438 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

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

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

  42. An Experimental Performance Evaluation of Autoscalers for Complex Workflows

    Ilyushkin, A., Ali-Eldin, A., Herbst, N., Bauer, A., Papadopoulos, A., Epema, D. & Iosup, A., Apr 2018, In : ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS). 3, 2, p. 1-32 32 p., 8.

    Research output: Contribution to journalArticleScientificpeer-review

  43. An Extended Chemical Plant Environmental Protection Game on Addressing Uncertainties of Human Adversaries

    Zhu, Z., Chen, B., Qiu, S., Wang, R., Chen, F., Wang, Y. & Qiu, X., 2018, In : International Journal of Environmental Research and Public Health. 15, 4, 609.

    Research output: Contribution to journalArticleScientificpeer-review

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

  45. An Intermediate Representation for Optimizing Machine Learning Pipelines

    Kunft, A., Katsifodimos, A., Schelter, S., Bress, S., Rabl, T. & Markl, V., Jul 2019, In : Proceedings of the VLDB Endowment . 12, 11, p. 1553-1567

    Research output: Contribution to journalArticleScientificpeer-review

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

  47. An application-centric evaluation of OpenCL on multi-core CPUs

    Shen Jie, S., Fang, J., Sips, HJ. & Varbanescu, AL., 2013, In : Parallel Computing. 39, 12, p. 834-850 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

  48. An enhanced KNN-based twin support vector machine with stable learning rules

    Nasiri, J. A. & Mir, A. M., 2020, In : Neural Computing and Applications. 32, 16, p. 12949-12969 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

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

ID: 18282