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

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

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

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

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

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

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

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

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

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

Previous 1...4 5 6 7 8 9 10 11 ...317 Next

ID: 18282