Search results

  • Conference Article in proceeding

    Modeling the Dynamics of Multiple Disease Occurrence by Latent States

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Lobo, M. & Rodrigues, P. P., 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer International Publishing AG, p. 93-107 15 p. (Lecture Notes in Computer Science; No. 11142).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

  • Modular Programming of Synchronization and Communication among Tasks in Parallel Programs

    van Veen, B. & Jongmans, S-S., 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, p. 425-435 11 p.

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

    Open Access
    File
    98 Downloads (Pure)
  • Mutation Operators for UML Class Diagrams

    Granda, M. F., Condori Fernandez, N., Vos, T. E. J. & Pastor, O., 2016, Advanced Information Systems Engineering: 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Cham: Springer International Publishing AG, p. 325-341 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9694). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 9694).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Observing Abstraction in Young Children Solving Algorithmic Tasks

    Faber, H., Koning, J. I., Wierdsma, M., Steenbeek, H. & Barendsen, E., 11 Nov 2019, Informatics in Schools. New Ideas in School Informatics: 12th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019, Proceedings. Pozdniakov, S. N. & Dagienė, V. (eds.). Cham: Springer Nature Switzerland AG, p. 95-106 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 11913).

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

  • Offline oracles for accessibility evaluation with the TESTAR tool

    de Gier, F., Kager, D., de Gouw, S. & Vos, T. E. J., 2019, IEEE RCIS 2019 Proceedings: Towards a design science for information systems: The IEEE Thirteen International Conference on Research Challenges in Information Science, May 29-31, Brussels, Belgium. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Canada, p. 129-140 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • PrDK: Protocol Programming with Automata

    Jongmans, S-S. & Arbab, F., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J-F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 547-552 6 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

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

    Open Access
  • Presence Patterns and Privacy Analysis

    Roubtsova, E. E., Roubtsov, S. A. & Alpár, G., 30 Jun 2018, Business Modeling and Software Design: 8th International Symposium, BMSD 2018. Vienna, Austria, July 2-4, 2018. Proceedings. van der Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M. J. & Szyperski, C. (eds.). Cham: Springer, Vol. 319. p. 298-307 10 p. (Lecture Notes in Business Information Processing).

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

    Open Access
    File
  • Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way

    van Zadelhoff, B., Rahimi, E. & Barendsen, E., 18 Nov 2021, 21st Koli Calling International Conference on Computing Education Research. Seppälä, O. & Petersen, A. (eds.). Association for Computing Machinery (ACM), 10 p. 12

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

    Open Access
  • Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

    Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 2020, Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019. Quaresma, P., Neuper, W. & Marcos, J. (eds.). Cornell University, p. 17–34 18 p. (Electronic proceedings in theoretical computer science, Vol. 313).

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

    Open Access
    File
    28 Downloads (Pure)
  • Prut4j - Protocol Unit Testing fo(u)r Java

    Slob, F. J. & Jongmans, S-S., 25 May 2021, 2021 IEEE 14th International Conference on Software Testing, Verification and Validation: ICST 2021. IEEE, p. 448-453 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingPopular

  • Q-learning strategies for action selection in the TESTAR automated testing tool

    Esparcia-Alcazar, A., Almenar, F., Martınez, M., Rueda, U. & Vos, T. E. J., 2016, Proceedings of the 6TH International Conference on Metaheuristics and Nature Inspired Computing: META’2016. p. 174-180 8 p.

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

    Open Access
  • Realisability of Branching Pomsets

    Edixhoven, L. & Jongmans, S-S., 2 Nov 2022, Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. S. L. T. T. & J. P. (eds.). Cham: Springer, Cham, Vol. 13712. p. 185-205 21 p. (Lecture Notes in Computer Science, Vol. 13712).

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

  • Realisability of Ranking-based Semantics

    Skiba, K., Thimm, M., Rienstra, T., Heyninck, J. L. A. & Kern-Isberner, G., Oct 2022, SAFA’22: Fourth International Workshop on Systems and Algorithms for Formal Argumentation 2022. S. A. G., J-G. M., M. T. & Johannes P. Wallner (eds.). CEUR-WS.org, Vol. 3236. p. 73-85 13 p.

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

    Open Access
  • Real-Time Multimodal Feedback with the CPR Tutor

    Di Mitri, D., Schneider Barnes, J., Trebing, K., Sopka, S., Specht, M. M. & Drachsler, H. J., 30 Jun 2020, Artificial Intelligence in Education: 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I. Bittencourt, I. I., Cukurova, M., Muldner, K., Luckin, R. & Millán, E. (eds.). Cham: Springer International Publishing, Vol. 1. p. 141-152 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12163). (Lecture Notes in Artificial Intelligence (subseries), Vol. 12163).

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

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • Representing Hypoexponential Distributions in Continuous Time Bayesian Networks

    Liu, M., Stella, F., Hommersom, A. & Lucas, P. J. F., 2018, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications. Medina, J., Ojeda-Aciego, M., Verdegay, J. L., Perfilieva, I., Bouchon-Meunier, B. & Yager, R. R. (eds.). Cham: Springer International Publishing AG, Vol. 855. p. 565-577 13 p. (Communications in Computer and Information Science, Vol. 855).

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

  • Reproduction for Insight: Towards Better Understanding the Quality of Students Tests

    Lawende, M., Passier, H. J. M. & Alpár, G., 26 Jun 2021, ITiCSE 2021: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, Vol. 1. p. 213-219 7 p.

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

  • Reverse Bayesian poisoning: how to use spam filters to manipulate online elections

    Jonker, H., Mauw, S. & Schmitz, T., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Krimmer, R., Volkamer, M., Braun Binder, N., Kersting, N., Pereira, O. & Schürmann, C. (eds.). Springer Nature Switzerland AG, p. 183-197 15 p. (Lecture Notes in Computer Science; No. 10615).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

  • Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

    Jongmans, S-S. & Hamers, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 489-508 10 p. (Lecture Notes in Computer Science).

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

  • Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment

    Lala, R., Jeuring, J. & van Geest, M., 1 Nov 2019, Games and Learning Alliance: 8th International Conference, GALA 2019, Athens, Greece, November 27–29, 2019, Proceedings. Liapis, A., Yannakakis, G. N., Gentile, M. & Ninaus, M. (eds.). Cham: Springer International Publishing AG, p. 169-179 11 p. (Lecture Notes in Computer Science, Vol. 11899).

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

    Open Access
    File
    27 Downloads (Pure)
  • Scheduling Games for Concurrent Systems

    Dokter, K., Jongmans, S-S. & Arbab, F., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proença, J. (eds.). Cham: Springer International Publishing, p. 84-100 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9686). (Programming and Software Engineering LNPSE, Vol. 9686).

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

    Open Access
  • Scriptless Testing at the GUI Level in an Industrial Setting

    Chahim, H., Duran, M., Vos, T. E. J., Aho, P. K. & Condori-Fernández, N., 25 Sep 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 267-284 18 p. (Lecture Notes in Business Information Processing).

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

  • Self-Encrypting Deception: Weaknesses in the Encryption of Solid State Drives

    Meijer, C. & van Gastel, B. E., 19 May 2019, 2019 IEEE Symposium on Security and Privacy SP 2019: Proceedings. IEEE, p. 72-87 16 p. (Ieee Security & Privacy).

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

    Open Access
  • Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning

    Rușeți, Ș., Lala, R., Gutu-Robu, G., Dascălu, M., Jeuring, J. T. & Van Geest, M., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., Hastings, P., McLaren, B. & Luckin, R. (eds.). Cham: Springer, Vol. 2. p. 242-246 5 p. (Lecture Notes in Computer Science, Vol. 11626).

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

    Open Access
    File
    72 Downloads (Pure)
  • SHACL-based Ontology Design Patterns for Evidence-based Decision-making

    Verhaeg, M., Rutledge, L. W. & Heeren, B. J., 2021, Proceedings of the 11th Workshop on Ontology Design and Patterns: WOP 2020. IOS Press, Vol. 51. p. 292-298 7 p. (Studies on the Semantic Web).

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

  • Shared Memory Implementations of Protocol Programming Languages: Data-Race-Free

    Hergarden, M. & Jongmans, S-S., 17 Jul 2018, ICOOOLPS '18: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. Millstein, T. (ed.). New York, NY: Association for Computing Machinery (ACM), p. 36-40 5 p.

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

    Open Access
    File
    152 Downloads (Pure)
  • Shepherd: A Generic Approach to Automating Website Login

    Jonker, H. L., Karsch, S., Krumnow, B. & Sleegers, M., 2020, Proceedings MADWeb 2020: Workshop on Measurements, Attacks, and Defenses for the Web, February 23, 2020, San Diego, California. Reston: Internet Society, 10 p.

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

    Open Access
  • Simpler Coordination of JavaScript Web Workers

    Krauweel, M. & Jongmans, S-S. T. Q., 2017, Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Jacquet, J-M. & Massink, M. (eds.). Cham: Springer Nature Switzerland AG, p. 40-58 19 p. (Lecture Notes in Computer Science; No. 10319).

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

  • SOA and the Button Problem

    Jongmans, S-S., Lamers, A. & van Eekelen, M. C. J. D., 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Cham: Springer, p. 689-706 18 p. (Lecture Notes in Computer Science, Vol. 11800).

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

  • Softmax Recurrent Unit: A new type of RNN cell

    Vos, L. & van Laarhoven, T. M., Oct 2020, ESANN 2020 proceedings: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, Belgium: European Symposium on Artificial Neural Networks, p. 309-314 6 p.

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

    Open Access
  • Software Testing Innovation Alliance: the SHIP project

    Vos, T. E. J. & Esparcia-Alcazar, A., 2016, STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Dubois, C., Parisi-Presicce, F., Kolovos, D. & Matragkas, N. (eds.). RWTH Aachen, Vol. 1675. p. 65-71 7 p.

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

    Open Access
  • Sound C Code Decompilation for a Subset of x86-64 Binaries

    Verbeek, F., Olivier, P. & Ravindran, B., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Cham: Springer Nature Switzerland AG, p. 247-264 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12310). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12310).

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

  • Static Detection of Design Patterns in Class Diagrams

    van Doorn, E., Stuurman, S. & van Eekelen, M., Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). 1 ed. New York, NY: Association for Computing Machinery (ACM), p. 79–88 10 p.

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

    Open Access
    File
    115 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • Student Refactoring Behaviour in a Programming Tutor

    Keuning, H., Heeren, B. & Jeuring, J., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falkner, N. & Seppälä, O. (eds.). New York: acm, p. Pages 1–10 10 p. 4

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

    Open Access
    File
    106 Downloads (Pure)
  • Tandem: Securing Keys by Using a Central Server While Preserving Privacy

    Lueks, W., Hampiholi, B., Alpár, G. & Troncoso, C., 17 Aug 2020, Proceedings on Privacy Enhancing Technologies. Chatzikokolakis, K. & Johnson, A. (eds.). 3 ed. Sciendo, Vol. 2020. p. 327-355 29 p.

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

    Open Access
  • Teaching Design for Living Memory

    Consiglio, T., Uras, S. & van der Veer, G. C., Sep 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 proceedingConference Article in proceedingAcademic

  • Temporal Exceptional Model Mining Using Dynamic Bayesian Networks

    Bueno, M. L. P., Hommersom, A. J. & Lucas, P. J. F., 2020, Advanced Analytics and Learning on Temporal Data: 5th ECML PKDD Workshop, AALTD 2020. Lemaire, V., Malinowski, S., Bagnall, A., Guyet, T., Tavenard, R. & Ifrim, G. (eds.). Springer International Publishing AG, p. 97-112 16 p. (Lecture Notes in Computer Science (LNCS) series).

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

  • 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 Sep 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • TESTOMAT: Next Level of Test Automation

    Eldh, S., Vos, T. E. J., Demeyer, S., Aho, P. K. & van der Bijl, M., 25 Sep 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 637-639 3 p. (Lecture Notes in Business Information Processing).

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

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

  • The diagnosing behaviour of intelligent tutoring systems

    van der Bent, R., Jeuring, J. T. & Heeren, B. J., Sep 2019, Transforming Learning with Meaningful Technologies: 14th European Conference on Technology Enhanced Learning, EC-TEL 2019, Delft, The Netherlands, September 16–19, 2019, Proceedings. Scheffel, M., Broisin, J., Pammer-Schindler, V., Ioannou, A. & Schneider, J. (eds.). Cham: Springer, p. 112-126 15 p. (Science of Computer Programming, Vol. 11722).

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

    Open Access
    File
    140 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • The Multimodal Learning Analytics Pipeline

    Di Mitri, D., Schneider Barnes, J., Specht, M. M. & Drachsler, H. J., 23 May 2019, Proceedings of the Artificial Intelligence and Adaptive Education Conference - AIAED'19. Beijing, China, p. 1-2 2 p.

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

    7 Downloads (Pure)