1. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  2. A Heterogeneous PLC with BLE Mesh network for Reliable and Real-time Smart Cargo Monitoring

    Vijay, R., Prabhakar, T. V., Hegde, V., Rao, V. S. & Prasad, R. V., 2019, 2019 IEEE International Symposium on Power Line Communications and its Applications (ISPLC): Proceedings. Maga, D. (ed.). Piscataway: IEEE, p. 1-6 6 p. 8693413

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

  3. A Human in the Loop Approach to Capture Bias and Support Media Scientists in News Video Analysis

    Mavridis, P., Jong, M. D., Aroyo, L., Bozzon, A., Vos, J. D., Oomen, J., Dimitrova, A. & Badenoch, A., 2018, Proceedings of the 1st Workshop on Subjectivity, Ambiguity and Disagreement in Crowdsourcing, and Short Paper Proceedings of the 1st Workshop on Disentangling the Relation Between Crowdsourcing and Bias Management. Aroyo, L., Dumitrache, A., Paritosh, P., Quinn, A., Welty, C., Checco, A., Demartini, G., Gadiraju, U. & Sarasua, C. (eds.). CEUR, Vol. 2276. p. 88-92 5 p. 11. (CEUR Workshop Proceedings; vol. 2276).

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

  4. 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, p. 108-118 11 p.

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

  5. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  6. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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

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

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

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

  10. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  11. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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

  14. 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/Conference proceedings/Edited volumeChapterScientific

  15. A Mobility Management Architecture for Seamless Delivery of 5G-IoT Services

    Balasubramanian, V., Zaman, F., Aloqaily, M., Ridhawi, I. A., Jararweh, Y. & Salameh, H. B., 2019, ICC 2019 - 2019 IEEE International Conference on Communications (ICC). IEEE, p. 1-7 7 p. 8761658

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

  16. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  17. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  18. A Model of Maintainability - Suggestion for Future Research

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

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

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

  20. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

  22. 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, p. 233-239 341 p.

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

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

  24. A Moment of Weakness: Protecting Against Targeted Attacks Following a Natural Disaster

    Oostenbrink, J. & Kuipers, F., 2020, In : ACM SIGMETRICS Performance Evaluation Review. 47, 4, p. 12-15 4 p.

    Research output: Contribution to journalArticleScientificpeer-review

  25. 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, p. 922-931 10 p. (Lecture Notes in Computer Science; vol. 3470).

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

  26. 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, p. 1-10 10 p.

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

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

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

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

  28. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  29. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

  31. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  32. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  33. 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, p. 25-32 8 p.

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

  34. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  35. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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

  38. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  39. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  40. A Reference Architecture for Datacenter Scheduling: Design, Validation, and Experiments

    Andreadis, G., Versluis, L., Mastenbroek, F. & Iosup, A., 2019, SC18: International Conference for High Performance Computing, Networking, Storage and Analysis: Proceedings. Piscataway: IEEE, p. 478-492 15 p. 8665816

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

  41. A Reference Model for Strategic Supply Network Development

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

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

  42. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

  44. 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). 8 p.

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

  45. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  46. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  47. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  48. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  49. 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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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

ID: 18282