Department of Computer Science

Filter
Conference Article in proceeding

Search results

  • 2007

    Widget Manipulation Revisited: a Case Study in Modeling Interactions Between Experimental Conditions

    Martens, J-B., Kok, A. J. F. & van Liere, R., 2007, Proceedings of the 11th Workshop on Immersive Projection Technology - 13th Eurographics Symposium on Virtual Environments- IPT-EGVE 2007. Fröhlich, B., Blach, R. & van Liere, R. (eds.). Aire-la-Ville, Switzerland: The Eurographics Association, p. 53-60 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
  • 2012

    A new method for sustainable development of open educational resources

    Stuurman, S., van Eekelen, M. & Heeren, B. J., 9 Sept 2012, Proceedings of Second Computer Science Education Research Conference. van der Veer, G., Sikorski, M., Sloep, P. & van Eekelen, M. (eds.). acm, p. 57-66 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
  • 2014

    A Documentation-Centred Approach to Software Design, Development and Deployment

    van Loggem, B. & van der Veer, G. C., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Springer-Verlag Berlin Heidelberg, p. 188-200 13 p. (Lecture Notes in Computer Science (LNCS); No. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 8345).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • A Hoare Logic for Energy Consumption Analysis

    Kersten, R. W. J., Parisien Toldin, P., van Gastel, B. E. & van Eekelen, M. C. J. D., 2014, Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. Dal Lago, U. & Peña, R. (eds.). Cham: Springer, p. 93-109 17 p. (Lecture Notes in Computer Science, Vol. 8552).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • An exercise assistant for practical networking courses

    Haag, J., Witte, C., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2014, Proceedings of the 6th International Conference On Computer Supported Education : (CSEDU2014, 1-3 April, 2014, Barcelona, Spain). Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 97-104 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Beautiful JavaScript: How to guide students to create good and elegant code

    Passier, H. J. M., Stuurman, S. & Pootjes, H. J., 5 Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagiené, V. (eds.). acm, p. 65-76 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Computational thinking skills in dutch secondary education: exploring pedagogical content knowledge

    Grgurina, N., Barendsen, E., Zwaneveld, B., Van Veen, K. & Stoker, I., Nov 2014, Proceedings of the 14th Koli Calling International Conference on Computing Education Research: Koli Calling '14. New York, NY: Association for Computing Machinery (ACM), p. 173-174 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Eliciting Computing Science Teachers’ PCK using the Content Representation Format: Experiences and Future Directions

    Barendsen, E., Dagiene, V., Saeli, M. & Schulte, C., 2014, Local Proceedings of the 7th International Conference on Informatics in Schools: Situation, Evolution and Perspectives. Gülbahar, Y., Karatas, E. & Adnan, M. (eds.). Ankara: Ankara University, p. 71-82 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Evaluating Haskell expressions in a tutoring environment

    Olmer, T., Heeren, B. J. & Jeuring, J. T., 12 Dec 2014, Proceedings 3rd International Workshop on Trends in Functional Programming in Education : Soesterberg, The Netherlands, 25th May 2014. Caldwell, J., Hölzenspies, P. & Achten, P. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 170. p. 50-66 17 p. 4

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Model solutions and properties for diagnosing student programs in Ask-Elle

    Jeuring, J. T., van Binsbergen, L. T., Gerdes, A. & Heeren, B. J., Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagienė, V. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 31-40 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Non-formal Techniques for Early Assessment of Design Ideas for Services

    van der Veer, G. C. & Vyas, D., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Berlin: Springer, p. 135-149 15 p. (Lecture Notes in Computer Science (LNCS), Vol. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 8345).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Perception or Pixels: Designing a Visual World from the User’s Point of View

    Rogier, E. S. M. H., van der Veer, G. C., Benvenuti, L. & Consiglio, T., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Berlin: Springer, p. 95-123 29 p. (Lecture Notes in Computer Science (LNCS), Vol. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 8345).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Strategy-based feedback in a programming tutor

    Keuning, H., Heeren, B. J. & Jeuring, J. T., 2014, Proceedings Computer Science Education Research Conference 2014: CSERC 2014, Berlin, Germany. Barendsen, E. & Dagiené, V. (eds.). New York: ACM Digital Library, p. 43-54 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The 5/10 method: a method for designing educational games

    Jeuring, J. T., van Rooij, R. & Pronost, N., 2014, Proceedings of GALA 2013: the Games and Learning Alliance conference: LNCS 8605. De Gloria, A. (ed.). Cham, Switzerland: Springer International Publishing AG, p. 364-369 6 p. (Lecture Notes in Computer Science, Vol. 8605).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The design of mobile apps: what and how to teach?

    Stuurman, S., van Gastel, B. E. & Passier, H. J. M., 5 Nov 2014, Proceedings of the Fourth Computer Science Education Research Conference : CSERC 2014. Barendsen, E. & Dagiené, V. (eds.). Association for Computing Machinery (ACM), p. 93-100 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • The Object Relational impedance mismatch from a cognitive point of view

    Benvenuti, L. & van der Veer, G. C., 2014, Psychology of Programming Interest Group Annual Conference 2014: PPIG 2014. du Boulay, B. & Good, J. (eds.). University of Sussex, p. 35-40 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards an empirically validated model for assessment of code quality

    Stegeman, M., Barendsen, E. & Smetsers, S., Nov 2014, Koli Calling '14: Proceedings of the 14th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 99-108 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • What You Enter Is What You Sign: Input Integrity in an Online Banking Environment

    Kiljan, S. Z., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2014, 4th Workshop on Socio-Technical Aspects in Security and Trust (Proceedings): STAST 2014. Bella, G. & Lenzini, G. (eds.). Danvers, MA: IEEE, p. 40-47 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2015

    An exercise assistant for practical networking and IT security courses in higher education

    Haag, J., Karsch, S., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2015, Computer Supported Education: 6th International Conference, CSEDU 2014, Barcelona, Spain, April 1-3, 2014, Revised Selected Papers. Zvacek, S., Restivo, M. T., Uhomoibhi, J. & Helfert, M. (eds.). Cham: Springer International Publishing AG, p. 84-98 15 p. (Communications in Computer and Information Science (CCIS), Vol. 510).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • A pilot study of the use of LogEx, lessons learned

    Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 2015, Proceedings of the Fourth International Conference on Tools for Teaching Logic: 9–12 June 2015. Huertas, M. A., Marcos, J., Manzano, M., Pinchinat, S. & Schwarzentruber, F. (eds.). Rennes: Presses Universitaires de Rennes, p. 93-100 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Benchmarks for Parity Games

    Keiren, J. J. A., 2015, Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers. Dastani, M. & Sirjani, M. (eds.). Cham: Springer International Publishing AG, p. 127-142 16 p. (Lecture Notes in Computer Science, Vol. 9392).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Concepts in K-9 Computer Science Education

    Barendsen, E., Mannila, L., Demo, B., Grgurina, N., Izu, C., Mirolo, C., Sentence, S., Settle, A. & Stupuriené, G., Jul 2015, ITiCSE '15: Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education. New York, NY: ACM Digital Library, p. 85-116 32 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Exploring Students' Computational Thinking Skills in Modeling and Simulation Projects: a Pilot Study

    Grgurina, N., Barendsen, E., van Veen, K., Suhre, C. & Zwaneveld, G., Nov 2015, WiPSCE'15: Proceedings of the 10th Workshop in Primary and Secondary Computing Education. Gal-Ezer, J., Sentance, S. & Vahrenhold, J. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 65-68 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Formal API Specification of the PikeOS Separation Kernel

    Verbeek, F., Havle, O., Schmaltz, J., Tverdyshev, S., Blasum, H., Langenstein, B., Werner, S., Wolff, B. & Nemouchi, Y., 2015, NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Cham: Springer International Publishing AG, p. 375-389 15 p. (Lecture Notes in Computer Science (LNCS) series; No. 9058). (Programming and Software Engineering LNPSE, Vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • FP-Block: Usable Web Privacy by Controlling Browser Fingerprinting

    Ferreira Torres, C., Jonker, H. L. & Mauw, S., 2015, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II . Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer Nature Switzerland AG, Vol. 2. p. 3-19 17 p. (Lecture Notes in Computer Science (LNCS) series; No. 9327). (Security and Cryptology (LNCS subseries), Vol. 9327).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Hybrid Time Bayesian Networks

    Liu, M., Hommersom, A. J., van der Heijden, M. & Lucas, P. J. F., 2015, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Destercke, S. & Denoeux, T. (eds.). Cham: Springer International Publishing AG, p. 376-386 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9161). (Lecture Notes in Artificial Intelligence (subseries), Vol. 9161).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Keeping Cultural Heritage alive - Opportunities with ICT

    Uras, S., Consiglio, T. & van der Veer, G. C., Sept 2015, Proceedings of the 6th International Workshop on Human-Computer Interaction, : Tourism and Cultural Heritage ( HCITOCH 2015 ), Strategies for a Creative Future with Computer Science, Quality Design and Communicability. Ficarra, F. V. C. (ed.). Blue Herons Editions

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic

  • Location-Private Interstellar Communication

    Jonker, H. L., Mauw, S. & Radomirović, S., 2015, Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). Cham: Springer International Publishing, p. 105-115 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9379). (Security and Cryptology (LNCS subseries), Vol. 9379).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Mining Hierarchical Pathology Data Using Inductive Logic Programming

    Op De Beéck, T., Hommersom, A., Van Haaren, J., van der Heijden, M., Davis, J., Lucas, P. J. F., Overbeek, L. & Nagtegaal, I., 2015, Artificial Intelligence in Medicine: 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings. Holmes, J. H., Bellazzi, R., Sacchi, L. & Peek, N. (eds.). Cham: Springer International Publishing AG, p. 76-85 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

    Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Representation of abstract concepts: Differences across computing disciplines

    Benvenuti, L., Louwe Kooijmans, C. F. N., Versendaal, J. M. & van der Veer, G., 2015, 2015 IEEE Frontiers in Education Conference Proceedings: FIE 2015 . Washington: IEEE Computer Society, p. 1-9 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML

    Kandziora, J., Huisman, M., Bockisch, C. M. & Zaharieva-Stojanovski, M., Jul 2015, FTfJP '15: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 8

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Teaching Design for Living Memory

    Consiglio, T., Uras, S. & van der Veer, G. C., Sept 2015, Proceedings of the 6th International Workshop on Human-Computer Interaction, : Tourism and Cultural Heritage ( HCITOCH 2015 ), Strategies for a Creative Future with Computer Science, Quality Design and Communicability, . Ficarra, F. V. C. (ed.). Blue Herons Editions

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic

  • TESTAR: from academic prototype towards an industry-ready tool for automated testing at the user interface level

    Rueda, U., Vos, T. E. J., Almenar, F., MO Martínez, A. I. E. & Oreto, M., 1 Sept 2015, Proceedings of JISBD 2015, Santander: Jornadas de Ingeniería del Software y Bases de Datos. Canós, J. H. & González-Harbour, M. (eds.). p. 236-245 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • The Future of Visual Perception

    van der Veer, G. C., 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC.13 International Conference on Human-Computer Interaction, 14 – 18 September 2015, Bamberg, Germany. Beckmann, C. & Gross, T. (eds.). Bamberg: University of Bamberg Press, Vol. 22. p. 283-292 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Trace-based debugging for advanced-dispatching programming languages

    Bockisch, C. M., van 't Riet, M., Yin, H., Aksit, M., Lin, Z., Chen, Y. & Zhao, J., Jul 2015, ICOOOLPS '15: Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. New York, NY: Association for Computing Machinery (ACM), p. 1-10 10 p. 3

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • 2016

    ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

    Verbeek, F., Yaghini, P. M., Eghbal, A. & Bagherzadeh, N., 2016, Proceedings of the 2016 Conference on Design, Automation & Test in Europe: DATE 2016. ACM Digital Library, p. 1640-1645 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Analyzing conceptual content of international informatics curricula for secondary education

    Barendsen, E. & Steenvoorden, B., 2016, Informatics in schools: Improvement of informatics knowledge and perception : 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 14-27 (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Analyzing student's software redesign strategies

    Stuurman, S., Passier, H. & Barendsen, E., 24 Nov 2016, Koli Calling '16: Proceedings of the 16th Koli Calling International Conference on Computing Education Research. Sheard, J. & Suero Montero, C. (eds.). New York, USA: Association for Computing Machinery (ACM), p. 110-119 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • A New Informatics Curriculum for Secondary Education in The Netherlands

    Barendsen, E., Grgurina, N. & Tolboom, J., 2016, Informatics in Schools: Improvement of Informatics Knowledge and Perception: 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 105-117 (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • An implementation architecture for scenario-based simulations

    Lala, R., Jeuring, J. T. & Van Dortmont, J., Jun 2016, Intelligent Tutoring Systems: 13th International Conference, ITS 2016. Micarelli, A., Stamper, J. & Panourgia, K. (eds.). Springer, (Lecture Notes in Computer Science, Vol. 9684).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    File
    58 Downloads (Pure)

  • Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming

    Michels, S., Hommersom, A. & Lucas, P. J. F., Jul 2016, IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Brewka, G. (ed.). AAAI Press, p. 3616-3622 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Automated Localisation Testing in Industry with Test*

    Martinez, M., Esparcia, A. I., Rueda, U., Vos, T. E. J. & Ortega, C., 2016, Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Wotawa, F., Nica, M. & Kushik, N. (eds.). Cham: Springer International Publishing, p. 241-248 8 p. (Lecture Notes in Computer Science, Vol. 9976).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Branching bisimulation games

    Escrig, D. D. F., Keiren, J. J. A. & Willemse, T. A. C., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Cham: Springer, p. 142-157 16 p. (Lecture Notes in Computer Science, Vol. 9688).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • CoBRA: Low cost compensation of TSV failures in 3D-NoC

    Salamat, R., Ebrahimi, M., Bagherzadeh, N. & Verbeek, F., 2016, 2016 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT): September 19-20, 2016 . Danvers, MA: IEEE, p. 115-120 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Composing Constraint Automata, State-by-State

    Jongmans, S-S., Kappé, T. & Arbab, F., 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Cham: Springer International Publishing, p. 217-236 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9539). (Programming and Software Engineering LNPSE, Vol. 9539).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Defining and observing modeling and simulation in informatics

    Grgurina, N., Barendsen, E., Zwaneveld, G., van Veen, K. & Suhre, C., 2016, Informatics in Schools: Improvement of Informatics Knowledge and Perception: 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings. Brodnik, A. & Tort, F. (eds.). Cham: Springer International Publishing AG, p. 130-141 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9973). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9973).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Designing a rubric for feedback on code quality in programming courses

    Stegeman, M., Barendsen, E. & Smetsers, S., Nov 2016, Koli Calling '16: Proceedings of the 16th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 160-164 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Evolution of Automated Regression Testing of Software Systems Through the Graphical User Interface

    Aho, P., Alégroth, E., Oliveira, R. A. P. & Vos, T. E. J., May 2016, ACCSE 2016: The First International Conference on Advances in Computation, Communications and Services. Hamrioui, S. & Lloret Mauri, J. (eds.). International Academy, Research, and Industry Association (IARIA), p. 16-21 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Verwer, S. & Linard, A., 2016, Proceedings of the Eighth International Conference on Probabilistic Graphical Models: Volume 52 of the JMLR Workshop and Conference Proceedings: PGM 2016, Lugano, 6–9 September 2016. Antonucci, A., Corani, G. & Campos, C. P. (eds.). PMLR, Vol. 52. p. 50-61 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access