1. #SupportTheCause: Identifying Motivations to Participate in Online Health Campaigns

    Nguyen, D., Broek, T. V. D., Hauff, C., Hiemstra, D. & Ehrenhard, M., 2015, EMNLP '15: Conference on Empirical Methods in Natural Language Processing. p. 2570-2576 7 p.

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

  2. 'U doet dus iets met computers': het benoemen van IT-functies en -bedrijven is vaak een groot probleem

    Mulder, JBF. & Dietz, JLG., 1999, In : Automatisering Gids. 35, p. 19-19 1 p.

    Research output: Contribution to journalArticleProfessional

  3. (US Patent 8,825,701) Method and system of management of queries for crowd searching

    Bozzon, A., Ceri, S. & Brambilla, M., 1 Sep 2014

    Research output: Other contributionScientific

  4. 2Fast: Collaborative Downloads in P2P Networks (Best Paper Award)

    Garbacki, PJ., Iosup, A., Epema, DHJ. & van der Steen, M., 2006, 6-th IEEE International Conference on Peer-to-Peer Computing. s.n. (ed.). IEEE Computer Society, p. 23-30 8 p.

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

  5. 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

    Hermans, F., Paige, R. F. & Sestoft, P., 12 Aug 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, Vol. 2. p. 1005-1006 2 p. 7203150

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

  6. 60 GHz MAC Standardization: Progress and Way Forward

    Chandra, K., Doff, A. W., Cao, Z., Prasad, R. V. & Niemegeers, I. G. M. M., 1 Jan 2015, 2015 IEEE 12th Consumer Communications and Networking Conference (CCNC):CCNC 2015 Workshops - IEEE Standards (CCNC 2015 - CCNC 2015 Workshops -IEEE Standards). Las Vegas, USA

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

  7. 60 GHz PHY Performance Evaluation with 3D Ray Tracing under Human Shadowing

    Genc, Z., van Thillo, W., Bourdoux, A. & Onur, E., 2012, In : IEEE Wireless Communications Letters. 1, 2, p. 117-120 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  8. 868 MHz: a noiseless environment, but no free lunch for protocol design

    Woehrle, M., Bor, MC. & Langendoen, KG., 2012, 9th int. conf. on Networked Sensing Systems. Shinoda, H. & et al (eds.). IEEE Society, p. 1-8 8 p.

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

  9. A 'managerial step-by-step plan'

    Looijen, M. & de Jong, W., 2000, World class IT service management guide 2000. J Bon, V. (ed.). Den Haag: Ten Hagen & Stam, p. 125-132

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  10. A 'managerial step-by-step plan'

    Looijen, M. & de Jong, W., 2002, The guide to IT service management. Vol. 1. van Ben, J. (ed.). London: Pearson Education, p. 158-164 7 p.

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

  11. A 3.72 ¿W Ultra-low power digital baseband for Wake-up Radios

    Zhang, Y., Chen, S., Kiyani, N., Dolmans, G., Huisken, J., Busze, B., Harpe, P., van der Meijs, NP. & de Groot, H., 2011, VLSI Design, Automation and Test 2011. Hwang, T-T. & Cheng, T. (eds.). Piscataway, NJ, USA: IEEE Society, p. 95-98 4 p.

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

  12. A Bayesian Approach to Diagnose Multiple Intermittent Faults

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

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

  13. A Blockchain-based Micro-Economy of Bandwidth Tokens

    de Vos, M. & Pouwelse, J., 2018, p. 1-2. 2 p.

    Research output: Contribution to conferenceAbstractScientific

  14. A Case for Peer-to-Peer Network Overlays in Sensor Networks

    Ali, M. & Langendoen, KG., 2007, Int. Workshop on Wireless Sensor Network Architecture (WWSNA'07). Stankovic, JA. & He, T. (eds.). Cambridge, MA: Association for Computing Machinery (ACM), p. 55-60 6 p.

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

  15. A Co-contextual Type Checker for Featherweight Java

    Kuci, E., Erdweg, S., Bračevac, O., Bejleri, A. & Mezini, M., 2017, 31st European Conference on Object-Oriented Programming (ECOOP 2017). Müller, P. (ed.). p. 1-26 26 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74).

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

  16. A Coflow-based Co-optimization Framework for High-performance Data Analytics

    Cheng, L., Wang, Y., Pei, Y. & Epema, D., 2017, Proceedings - 46th International Conference on Parallel Processing, ICPP 2017. Los Alamitos, CA: IEEE Computer Society, p. 392-401 10 p.

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

  17. A Cognitive Model for Software Architecture Complexity

    Bouwers, EM., Lilienthal, C., Visser, J. & van Deursen, A., 2010, Proceedings 18th International Conference on Program Comprehension. Antoniol, G., Gallagher, K. & Henriques, PR. (eds.). Los Alamitos: IEEE Society, p. 152-155 4 p.

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

  18. A Collaborative Approach to Teaching Software Architecture

    van Deursen, A., Aniche, M., Aué, J., Slag, R., de Jong, M., Nederlof, A. & Bouwers, E., 2017, Proceedings - 48th ACM Technical Symposium on Computer Science Education, SIGCSE 2017. New York, NY: Association for Computing Machinery (ACM), p. 591-596 6 p.

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

  19. A Comparative Study of User¿s Microblogging Behavior on Sina Webo and Twitter

    Gao, Q., Abel, F., Houben, GJPM. & Yu, Y., 2012, UMAP 2012, Proceedings of the 20th International Conference on User Modeling, Adaptation and Personalization. Masthoff, J., Mobasher, B., Desmarais, MC. & Nkambou, R. (eds.). Berlin, Heidelberg: Springer, p. 81-101 21 p. (Lecture Notes in Computer Science; vol. 7379).

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

  20. A Comparative Study of User¿s Microblogging Behavior on Sina Weibo and Twitter

    Gao, Q., Abel, F., Houben, GJPM. & Yu, Y., 2012, Proceedings of the 20th International Conference on User Modeling, Adaptation and Personalization (UMAP 2012). Masthoff, J., Mobasher, B., Desmarais, MC. & Nkambou, R. (eds.). Berlin: Springer, p. 88-101 14 p. (Lecture Notes in Computer Science; vol. 7379).

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

  21. 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 Computer Society, p. 15-22 8 p.

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

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

  23. A Constraint Language for Static Semantic Analysis Based on Scope Graphs

    van Antwerpen, H., Néron, P., Tolmach, A., Visser, E. & Wachsmuth, G., Jan 2016, PEPM '16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. New York, NY: Association for Computing Machinery (ACM), p. 49-60 12 p.

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

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

  25. A Dataset for API Usage

    Sawant, A. A. & Bacchelli, A., 2015, Proceedings of the 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (MSR. Di Penta, M., Pinzger, M. & Robbes, R. (eds.). Piscataway: IEEE Society, p. 506-509 4 p.

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

  26. A Dataset of Scratch Programs: Scraped, Shaped and Scored

    Aivaloglou, E., Hermans, F., Moreno-León, J. & Robles, G., 2017, Proceedings - 2017 IEEE/ACM 14th International Conference on Mining Software Repositories, MSR 2017. Los Alamitos, CA: IEEE Computer Society, p. 511-514 4 p.

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

  27. A Design Tool for Analysis and Visual Quality Control of Urban Environments Supported by Object Databases

    Sidjanin, P. & Gerhardt-Hackl, W., 1998, Design & Decision Support Systems in Architecture & Urban Planning (CD-ROM). Eindhoven: Technische Universiteit Eindhoven, p. -

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

  28. A Diagnostic Reasoning Approach to Defect Prediction

    Lima Maranhao De Abreu, RF., Gonzalez Sanchez, A. & van Gemund, AJC., 2011, 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2011). Mehrotra, KC. & et al. (eds.). Berlin, Germany: Springer, p. 416-425 10 p. (Lecture Notes in Artificial Intelligence; vol. 6704).

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

  29. A Diversity Adjusting Strategy with Personality for Music Recommendation

    Lu, F. & Tintarev, N., 2018, In Recsys workshop on Interfaces and Decision Making in Recommender Systems.

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

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

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

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

  31. A Flexible Rule-Based Method for Interlinking, Integrating, and Enriching User Data

    Leonardi, E., Heckmann, D., Herder, E., Hidders, AJH. & Houben, GJPM., 2010, Proceedings of the 10th International Conference on Web Engineering. Benatallah, B., Casati, F., Kappel, G. & Rossi, G. (eds.). Berlin: Springer, p. 322-336 15 p. (Lecture Notes in Computer Science; vol. 6189).

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

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

  33. A Framework for Distributing Scalable Content over Peer-to-Peer Networks

    Eberhard, M., Kumar, A., Mignanti, S., Petrocco, R. & Uitto, M., 2011, In : International Journal on Advances in Internet Technology. 4, 1-2, p. 1-13 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  34. A Framework for Flexible User Profile Mashups

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

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

  35. A Framework for Trust Establishment and Assessment on the Web of Data

    Gao, Q. & Houben, GJPM., 2010, Proceedings of 19th International World Wide Web Conference (WWW2010). Rappa, M. & Jones, P. (eds.). New York: Association for Computing Machinery (ACM), p. 1097-1098 2 p.

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

  36. A Framework-based Runtime Monitoring Approach for Service-Oriented Software Systems

    Chen, C., Zaidman, AE. & Gross, HG., 2011, The 1st International Workshop on Quality Assurance for Service-based Applications (QASBA 2011). Bianculli, D., Guinea, S., Metzger, A. & Polini, A. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 17-20 4 p.

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

  37. A Generic Approach for Deploying and Upgrading Mutable Software Components

    van der Burg, S., 2012, Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp). sn (ed.). Los Alamitos: IEEE Society, p. -

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

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

  39. A Geometrical Perspective on Localization

    Dulman, S. O., Havinga, P., Baggio, AG. & Langendoen, KG., 2008, 1st ACM Int. Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT'08). Zhang, Y. & Ye, Y. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 85-90 6 p.

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

  40. A Global-State Perspective on Sensor Network Debugging

    Lodder, M., Halkes, GP. & Langendoen, KG., 2008, 14th Annual Conference of the Advanced School for Computing and Imaging (ASCI 2008). Smit, D., Epema, M. & Lew, M. (eds.). Delft: ASCI, p. 66-72 7 p.

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

  41. A Global-State Perspective on Sensor Network Debugging

    Lodder, M., Halkes, GP. & Langendoen, KG., 2008, The 5th Workshop on Embedded Networked Sensors (HotEmNets 2008). s.n. (ed.). Charlottesville, VA: s.n., p. 37-41 5 p.

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

  42. A Graph-based Dataset of Commit History of Real-World Android apps

    Geiger, F-X., Malavolta, I., Pascarella, L., Palomba, F., Di Nucci, D. & Bacchelli, A., 2018, Proceedings of the 15th International Conference on Mining Software Repositories, MSR. ACM, New York, NY. New York, NY: Association for Computing Machinery (ACM), p. 30-33 4 p.

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

  43. A Guided Genetic Algorithm for Automated Crash Reproduction

    Soltani, M., Panichella, A. & van Deursen, A., 2017, Proceedings of the 39th International Conference on Software Engineering (ICSE). Piscataway, NJ: IEEE, p. 209-220 12 p.

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

  44. A Hamiltonian approach for the optimal control of the switching signal for a DC-DC converter

    Corona, D., Buisson, J. & De Schutter, B., 2008, Proceedings of the 17th IFAC world congress. Dongil Dan Cho (KR) (ed.). Seoul, Korea: IFAC, p. 7654-7659 6 p.

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

  45. A Hybrid Linear Programming and Evolutionary Algorithm based Approach for On-line Resource Matching in Grid Environments

    Garbacki, PJ. & Naik, V. K., 2007, 7th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2007). Schulze, B., Buyya, R., Cirne, W., Navaux, P. & Rebello, V. (eds.). IEEE Computer Society, p. 108-118 11 p.

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

  46. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

    Visser, E., Wachsmuth, G., Tolmach, A., Neron, P., Vergu, V., Passalaqua Martins, A. & Konat, G., 20 Oct 2014, Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, NY: Association for Computing Machinery (ACM), p. 95-111 17 p.

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

  47. A Language Generic Solution for Name Binding Preservation in Refactorings

    de Jonge, M. & Visser, E., 2012, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications (LDTA'12). Sloane, A. & Andova, S. (eds.). New York: Association for Computing Machinery (ACM), p. 2:1-2:8

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

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

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

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

  51. A Link Prediction Approach to Recommendations in Large-scale User-Generated Content Systems

    Chiluka, NJ., Andrade, N. & Pouwelse, JA., 2011, Advances in Information Retrieval, The 33rd European Conference on Information Retrieval (ECIR 2011). Clough, P., Foley, C., Gurrin, C., Jones, GJF., Kraaij, W., Lee, H. & Murdock, V. (eds.). Berlin: Springer, p. 189-200 12 p. (Lecture Notes in Computer Science; vol. 6611).

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

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

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

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

  53. A Medium-Scale Distributed System for Computer Science Research: Infrastructure for the Long Term

    Bal, H., Epema, D., Laat, C. D., Nieuwpoort, R. V., Romein, J., Seinstra, F., Snoek, C. & Wijshoff, H., 13 May 2016, In : Computer (New York). 49, 5, p. 54-63 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

  55. A Mixed Methods Approach to Mining Code Review Data: Examples and a Study of Multicommit Reviews and Pull Requests

    Rigby, P. C., Bacchelli, A., Gousios, G. & Mukadam, M., 1 Sep 2015, The Art and Science of Analyzing Software Data. Waltham: Elsevier, p. 231-255 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  56. A Model for Space-Correlated Failures in Large-Scale Distributed Systems

    Gallet, M., Yigitbasi, MN., Javadi, B., Kondo, D. & Iosup, A., 2010, European Conference on Parallel Processing (Euro-Par'10). D'Ambra, P., Guarracino, M. & Talia, D. (eds.). Berlin: Springer, p. 88-100 13 p. (Lecture Notes in Computer Science; vol. 6271).

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

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

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

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

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

  59. A Model-Based Active Testing Approach to Sequential Diagnosis

    Feldman, AB., Provan, G. & van Gemund, AJC., 2010, In : The Journal of Artificial Intelligence Research. 39, p. 301-334 34 p.

    Research output: Contribution to journalArticleScientificpeer-review

  60. A Model-Based Approach Providing Context-Sensitive Television Interaction

    Bellekens, P., Aroyo, L., Houben, GJPM. & Kaptein, A., 2009, ICWE '9: Proceedings of the 9th International Conference on Web Engineering. Gaedke, M., Grossniklaus, M. & Diaz, O. (eds.). Berlin: Springer, p. 509-512 4 p. (Lecture Notes in Computer Science; vol. 5648).

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

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

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  63. A Module-System Discipline for Model-Driven Software Development

    Erdweg, S. & Ostermann, K., 2017, In : Art, Science, and Engineering of Programming. 1, 2, p. 1-28 28 p., 9.

    Research output: Contribution to journalArticleScientificpeer-review

  64. A Monitoring Architecture for Control Grids

    Iosup, A., Tapus, N. & Vialle, S., 2005, Proc. of the European Grid Conference (EGC2005). Sloot, P. M. A., Hoekstra, A. G., Priol, T. & Bubak, M. (eds.). Springer Verlag, p. 922-931 10 p. (Lecture Notes in Computer Science; vol. 3470).

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

  65. A Multi Phased Approach for Modeling and Analysis of the BitTorrent Protocol

    Rai, V., Sivasubramanian, S., Bhulai, S., Garbacki, PJ. & van der Steen, M., 2007, 27th International Conference on Distributed Computing Systems (ICDCS 2007). Shatz, SM. (ed.). sl: IEEE Computer Society, p. 1-10 10 p.

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

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

  67. A New Bayesian Approach to Multiple Intermittent Fault Diagnosis

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

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

  68. A New Market Design For Day-ahead Markets with Power-Based Scheduling

    Philipsen, R., Morales-Espana, G., de Weerdt, M. & de Vries, L., 2017, Design the Electricity Market(s) of The Future: Proceedings from the Eurelectric-Florence School of Regulation conference. Rossetto, N. (ed.). Brussels: European University Institute, p. 14-17 4 p.

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

  69. A Notion of Serializability for Document Editing and Corresponding Optimal Locking Protocols

    Hidders, AJH. & Dekeyser, S., 2010, Delft: Delft University of Technology. 16 p.

    Research output: Book/ReportReportProfessional

  70. A POMDP-based Model for Optimizing Communication in Multiagent Systems

    Spaan, MTJ. & Melo, FS., 2011, European Workshop on Multi-agent Systems. Tuyls, K. & Weiss, G. (eds.). Berlin, Germany: Springer, p. 1-4 4 p.

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

  71. A Performance Analysis of EC2 Cloud Computing Services for Scientific Computing

    Osterman, S., Iosup, A., Yigitbasi, MN., Prodan, R., Fahringer, T. & Epema, DHJ., 2010, Cloud Computing: First International Conference, CloudComp 2009. Diaz, M., Avresky, D., Bode, A., Bruno, C. & Dekel, E. (eds.). Berlin: Springer, p. 115-131 17 p.

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

  72. A Performance Study of Grid Workflow Engines

    Stratan, C., Iosup, A. & Epema, DHJ., 2008, Proc. of the 2008 9th IEEE/ACM International Conference on Grid (Grid 2008). s.n. (ed.). Los Alamitos, USA: IEEE Computer Society, p. 25-32 8 p.

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

  73. A Pragmatic Perspective on Software Visualization

    van Deursen, A., 2010, Proceedings 5th International IEEE/ACM Symposium on Software Visualization, SoftVis 2010. Telea, A., Görg, C. & Reiss, S. (eds.). New York: Association for Computing Machinery (ACM), p. 1-2 2 p.

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

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

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

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

  75. A Prototype Low-Cost Wakeup Radio for the 868 MHz Band

    van der Doorn, B., Kavelaars, W. & Langendoen, KG., 2009, In : International Journal of Sensor Networks. 5, 1, p. 22-32 11 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

  77. A Qualitative Vickrey Auction

    Harrenstein, BP., de Weerdt, MM. & Conitzer, V., 2009, Proceedings of the ACM Conference on Electronic Commerce. Chuang, J., Fortnow, L. & Pu, P. (eds.). New York: Association for Computing Machinery (ACM), p. 197-206 10 p.

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

  78. A Realistic Integrated Model of Parallel System Workloads

    Minh Ngoc, H., Wolters, L. & Epema, DHJ., 2010, 10th IEEE/ACM Int'l Symp. on Cluster, Cloud, and Grid Computing. Buyya, R. & Parashar, M. (eds.). Los Alamitos, CA: IEEE Society, p. 464-473 10 p.

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

  79. A Reference Model for Strategic Supply Network Development

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

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

  80. A Rule Engine for Relevance Assessment in a Contextualized Information Delivery System

    Hu, B., Hidders, AJH. & Cimiano, P., 2011, Proc. of the 2011 International Conference on Intelligent User Interfaces (IUI'11). New York: Association for Computing Machinery (ACM), p. 343-346 4 p.

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

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

  82. A Scenario State Representation for Scheduling Deferrable Loads under Wind Uncertainty

    Walraven, E. & Spaan, M. T. J., May 2015, The 10th Annual Workshop on Multiagent Sequential Decision-Making Under Uncertainty (MDSM 2015).

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

  83. A Search-based Approach for Accurate Identification of Log Message Formats

    Messaoudi, S., Panichella, A., Bianculli, D., Briand, L. & Sasnauskas, R., 2018, Proceedings of the 26th International Conference on Program Comprehension. New York, NY: ACM/IEEE, p. 167-177 11 p.

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

  84. A Service Specification Framework for Developing Component-Based Software: A Case Study at the Port of Rotterdam

    Terlouw, LI. & Eveleens Maarse, K., 2009, Advances in Enterprise Engineering III. Albani, A., Barjis, J. & Dietz, JLG. (eds.). Berlin: Springer, p. 100-114 15 p. (Lecture Notes In Business Information Processing; vol. 34).

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

  85. A Simple but Formal Semantics for XML Manipulation Languages

    Paredaens, J. & Hidders, AJH., 2010, Unknown. Link, S. & Prade, H. (eds.). Berlin: Springer, p. 3-5 3 p. (Lecture Notes in Computer Science; vol. 5956).

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

  86. A Simulation Study of Integrated Service Discovery

    Halkes, GP., Baggio, A. & Langendoen, KG., 2006, Proceedings of the 1st European Conference on Smart Sensing and Context (EuroSCC 2006). Havinga, P., Lijding, M., Meratnia, N. & Wegdam, M. (eds.). Enschede: Springer, p. 39-53 15 p. (Lecture Notes in Computer Science; vol. 4272).

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

  87. A Single-Cable PVDF Transducer Readout IC for Intravascular Photoacoustic Imaging

    Chen, C., Daeichin, V., Ding, Q., van Soest, G., Springeling, G., van der Steen, T., Pertijs, M. & de Jong, N., 2015, Proceedings 2015 IEEE International Ultrasonics Symposium. Piscataway, NJ, USA: IEEE Society, p. 1-4 4 p.

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

  88. A State-Space Approach to Modelling DC Distribution Systems

    van der Blij, N. H., Ramirez-Elizondo, L. M., Spaan, M. T. J. & Bauer, P., 2018, In : IEEE Transactions on Power Systems. 33, 1, p. 943-950 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  89. A Structural Approach to Indexing Triples

    Picalausa, F., Luo, Y., Fletcher, GHL., Hidders, AJH. & Vansummeren, S., 2012, The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings. Simperl, E., Cimiano, P., Polleres, A., Corcho, O. & Presutti, V. (eds.). Springer, p. 406-421 16 p. (Lecture Notes in Computer Science; vol. 7295).

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

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

  91. A Sustainable Marriage of Telcos and Transp in the Era of Big Data: Are We Ready?

    Naseer, S., Liu, W., Sarkar, N. I., Chong, P. H. J., Lai, E., Ma, M., Venkatesha Prasad, R. R., Danh, T. C., Chiaraviglio, L., Qadir, J. & More Authors, 2018, Smart Grid and Innovative Frontiers in Telecommunications: Third International Conference, SmartGIFT 2018 proceedings. Chong, P. H. J., Seet, B. C., Chai, M. & Rehman, S. U. (eds.). Cham: Springer, p. 210-219 10 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 245).

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

  92. A Sustainable Vehicular Based Energy Efficient Data Dissemination Approach

    Naseer, S., Liu, W., Sakar, N. I., Chong, P. H. J., Lai, E. & Venkatesha Prasad, R., 2017, 27th International Telecommunication Networks and Applications Conference, ITNAC 2017. Piscataway, NJ: IEEE, Vol. 2017-January. p. 1-8 8 p.

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

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

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

  95. A Tale of CI Build Failures: An Open Source and a Financial Organization Perspective

    Vassallo, C., Schermann, G., Zampetti, F., Romano, D., Leitner, P., Zaidman, A., Di Penta, M. & Panichella, S., 2017, Proceedings - 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017. Los Alamitos, CA: IEEE Computer Society, p. 183-193 11 p.

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

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

  97. A Test-suite Diagnosability Metric for Spectrum-based Fault Localization Approaches

    Perez, A., Abreu, R. & Deursen, A. V., 2017, Proceedings of the 39th International Conference on Software Engineering (ICSE). Piscataway, NJ: IEEE, p. 654-664 11 p.

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

  98. A Textual-based Technique for Smell Detection

    Palomba, F., Panichella, A., De Lucia, A., Oliveto, R. & Zaidman, A., May 2016, Proceedings of the 2016 IEEE 24th International Conference on Program Comprehension (ICPC). Danvers, MA: IEEE, p. 1-10 10 p.

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

  99. A Theory of Name Resolution

    Neron, P., Tolmach, A., Visser, E. & Wachsmuth, G., 2015, Programming Languages and Systems: 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Vitek, J. (ed.). Berlin: Springer Verlag, p. 205-231 27 p. (Lecture Notes in Computer Science; vol. 9032).

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

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

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