Department of Computer Science

Search results

  • Conference Article in proceeding

    30 Years of Automated GUI Testing: A Bibliometric Analysis

    Rodríguez-Valdés, O., Vos, T. E. J., Aho, P. K. & Marín, B., 25 Aug 2021, Quality of Information and Communications Technology: 14th International Conference. Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins & Ricardo Pérez-Castillo (eds.). 1 ed. Springer, Cham, p. 473-488 16 p. (Communications in Computer and Information Science, Vol. 1439).

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

  • A Bunch of Broken Schemes: A Simple yet Powerful Linear Approach to Analyzing Security of Attribute-Based Encryption

    Venema, M. & Alpár, G., 11 May 2021, Topics in Cryptology - CT-RSA 2021: CT-RSA 2021. Paterson, K. G. (ed.). 1e ed. Switzerland: Springer, Vol. 12704. p. 100-125 26 p. (Lecture Notes in Computer Science, Vol. 12704).

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

  • ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra

    de la Piedra, A., Venema, M. & Alpár, G., 15 Nov 2023, CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. ACM Digital Library, p. 3269-3283 15 p.

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

    Open Access

  • A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

    Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).

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

    Open Access

  • A Data-Driven Exploration of Hypotheses on Disease Dynamics

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F. & Janzing, J., 30 May 2019, Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Riaño, D., Wilk, S. & ten Teije, A. (eds.). Cham: Springer International Publishing AG, p. 170-179 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11526).

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

  • 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

  • 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

  • A Formal Semantics for P-Code

    Naus, N., Verbeek, F., Walker, D. & Ravindran, B., 2023, Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022. Lal, A. & Tonetta, S. (eds.). 1 ed. Springer, Cham, p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13800 LNCS).

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

    Open Access

  • A Framework for the Localization of Programming Languages

    Swidan, A. & Hermans, F., 18 Oct 2023, SPLASH-E 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E: SPLASH 2023. Feldman, M. Q. & Hilton, M. (eds.). Association for Computing Machinery (ACM), p. 13-25 13 p. (Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E).

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

    Open Access

  • Agent-based Testing of Extended Reality Systems

    Prada, R., Prasetya, I. S. W. B., Kifetew, F. M., Dignum, F., Vos, T. E. J., Lander, J., Donnart, J.-Y., Kazmierowski, A., Davidson, J. & Fernandes, P. M., Aug 2020, Proceedings: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation: ICST 2020. IEEE, p. 414-417 4 p.

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

  • 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

  • A Method to Align Business Capability Maps and Enterprise Data Models

    Severin, S., Roubtsova, E. E., Roelens, B. F. C. & Joosten, S. M. M., 6 Dec 2024, Business Modeling and Software Design: 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1–3, 2024, Proceedings. Shishkov, B. (ed.). Springer Nature Switzerland AG, p. 48-64 17 p. (Lecture Notes in Business Information Processing, Vol. 523).

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

  • An agent-based approach to automated game testing: an experience report

    Prasetya, I. S. W. B., Ricós, F. P., Kifetew, F. M., Prandi, D., Shirzadehhajimahmood, S., Vos, T. E. J., Paska, P., Hovorka, K., Ferdous, R., Susi, A. & Davidson, J., 9 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Akos Kiss, Beatriz Marin & Mehrdad Saadatmand (eds.). ACM Digital Library, p. 1-8 8 p.

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

  • Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training

    Lala, R., Jeuring, J. T. & Overbeek, T., 2017, iLRN 2017 Coimbra: Workshop, Long and Short Paper , and Poster Proceedings from the Third Immersive Learning Research Network Conference. Beck, D., Allison, C., Morgado, L., Pirker, J., Khosmood, F., Richter, J. & Gütl, C. (eds.). Verlag der Technischen Universität Graz, p. 197-204

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

    Open Access

  • Analysing Privacy Analyses

    Bella, G., Butin, D. & Jonker, H., 2017, Proceedings of the 1st Italian Conference on Cybersecurity: ITASEC17. Armando, A., Baldoni, R. & Focardi, R. (eds.). Aachen: CEUR-WS.org, p. 19-28 10 p. (CEUR Workshop Proceedings, Vol. 1816).

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

    Open Access

  • Analysis and Formal Specification of OpenJDK's BitSet

    Tatman, A. S., Hiep, H.-D. A. & Gouw, S. D., 2024, iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Springer, p. 134-152 19 p. (Lecture Notes in Computer Science, Vol. 14300).

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

  • Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach

    Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 27 Aug 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.

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

    Open Access

  • Analysis of specifications of multiparty sessions with dcj-lint

    Horlings, E. & Jongmans, S.-S., Aug 2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D., Gousios, G., Chechik, M. & Di Penta, M. (eds.). ACM Digital Library, p. 1590-1594 5 p.

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

    Open Access

  • 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

  • Analyzing the Role of Ukrainian and Russian Diaspora in Disinformation Campaigns

    Maathuis, C., de Ridder, C. & Stuurman, S., 5 May 2023, Proceedings of the 10th European Conference on Social Media. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences International Limited, Vol. 10. p. 153-162 10 p.

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

    Open Access

  • 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

  • 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

  • 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

  • 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

  • An extensible domain-specific language for describing problem-solving procedures

    Heeren, B. & Jeuring, J., 2017, Artificial Intelligence in Education: 18th International Conference, AIED 2017, Wuhan, China, June 28 – July 1, 2017, Proceedings. André, E., Baker, R., Hu, X., Rodrigo, M. T. & du Boulay, B. (eds.). Springer International Publishing AG, Vol. LNCS 10331. p. 77-89 13 p. (Lecture Notes in Computer Science; No. 10331).

    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
    75 Downloads (Pure)

  • An Instructional Model to Link Designing and Conceptual Understanding in Secondary Computer Science Education

    Rahimi, E., Barendsen, E. & Henze, I., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education. Cutts, Q. & Muhling, A. (eds.). New York, NY: acm, 4 p. 11. (ACM International Conference Proceeding Series).

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

    Open Access

  • An Integration of Computational Thinking and Language Arts: The Contribution of Digital Storytelling to Students' Learning

    Yeni, S., Nijenhuis-Voogt, J., Hermans, F. & Barendsen, E., 31 Oct 2022, WiPSCE 2022: Proceedings of the 17th Workshop in Primary and Secondary Computing Education. Grillenberger, M. & Berges, M. (eds.). Association for Computing Machinery, 10 p. 3

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

    Open Access

  • An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions

    Arends, H., Keuning, H., Heeren, B. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 2-9 8 p.

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

  • An observation method for behavioral analysis of collaborative modeling skills

    Wilmont, I., Hoppenbrouwers, S. & Barendsen, E., 2017, Advanced Information Systems Engineering Workshops: CAISE 2017 International Workshops, Essen, Germany, June 12–16, 2017, Proceedings. Metzger, A. & Persson, A. (eds.). Springer International Publishing AG, p. 59-71

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

  • API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

    Cledou, G., Edixhoven, L., Jongmans, S.-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022., K. A. & , J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

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

    Open Access

  • 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

  • Aplib: Tactical Agents for Testing Computer Games

    Prasetya, I. S. W. B., Dastani, M., Prada, R., Vos, T. E. J., Dignum, F. & Kifetew, F. M., 7 Jan 2021, Engineering Multi-Agent Systems: 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers. Cristina Baroglio, Jomi F. Hubner & Michael Winikoff (eds.). 1 ed. Springer, Vol. 12589. p. 21-41 21 p. (Lecture Notes in Computer Science, Vol. 12589).

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

  • Applying deep learning on packet flows for botnet detection: Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing

    van Roosmalen, J., Vranken, H. P. E. & van Eekelen, M. C. J. D., 13 Apr 2018, Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing, {SAC} 2018, Pau, France. Haddad , H. M., Wainwright , R. L. & Chbeir , R. (eds.). New York: acm, p. 1629-1636 8 p.

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

    Open Access
    File
    218 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

  • A preliminary study on the adoption and effectiveness of SameSite cookies as a CSRF defence

    Compagna, L., Jonker, H. L., Krochewski, J., Krumnow, B. & Sahin, M., 29 Oct 2021, IEEE European Symposium on Security and Privacy Workshops: (EuroS&PW). IEEE, p. 49-59 11 p.

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

  • A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks

    Rabinowicz, S., Hommersom, A., Butz, R. S. & Williams, M., 2017, Artificial Intelligence in Medicine: 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings. ten Teije, A., Popow, C., Holmes, J. H. & Sacchi, L. (eds.). Cham: Springer International Publishing AG, p. 81-85 5 p. (Lecture Notes in Computer Science, Vol. 10259).

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

  • Architecture and Design Patterns for Distributed, Scalable Augmented Reality and Wearable Technology Systems

    Guest, W., Wild, F., Mitri, D. D., Klemke, R., Karjalainen, J. & Helin, K., Dec 2019, 2019 IEEE International Conference on Engineering, Technology and Education (TALE). IEEE, p. 1-8 8 p.

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

  • Are some prices more equal than others? Evaluating store-based price differentiation

    Jonker, H., Karsch, S., Krumnow, B. & Meesters, G., Mar 2023, Proceedings Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb) 2023 . Internet Society, p. 1-11 11 p.

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

    Open Access

  • A Security Perspective on Publication Metrics

    Jonker, H. & Mauw, S., 2017, Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Stajano, F., Anderson, J., Christianson, B. & Matyáš, V. (eds.). Cham: Springer International Publishing AG, p. 186-200 15 p. (Security and Cryptology (LNCS subseries), Vol. 10476). (Lecture Notes in Computer Science; No. 10476).

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

  • A Security Perspective on Publication Metrics (Transcript of Discussion)

    Jonker, H., 2017, Security Protocols XXV: 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Stajano, F., Anderson, J., Christianson, B. & Matyáš, V. (eds.). Cham: Springer International Publishing AG, p. 201-213 14 p. (Lecture Notes in Computer Science, Vol. 10476). (Security and Cryptology (LNCS subseries), Vol. 10476).

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

  • Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality

    Kamps, S., Heeren, B. & Jeuring, J., Aug 2020, Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell. Schrijvers, T. (ed.). New York, NY, USA: Association for Computing Machinery, p. 67–79 13 p.

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

    Open Access
    File
    157 Downloads (Pure)

  • Assessment of Modeling and Simulation in Secondary Computing Science Education

    Grgurina, N., Barendsen, E., Suhre, C., Zwaneveld, B. & van Veen, K., 4 Oct 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education (WiPSCE): October 4–6, 2018, Potsdam, Germany. Mühling, A. & Cutts, Q. (eds.). New York, NY: acm, 10 p. a5

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

  • Assessment of Modeling Projects in Informatics Class

    Grgurina, N., Barendsen, E., Suhre, C., van Veen, K. & Zwaneveld, B., 2018, Constructionism 2018: Constructionism, Computational Thinking and Educational Innovation: conference proceedings. Dagienė, V. & Jasutė, E. (eds.). Vilnius: Vilnius University, p. 570-576 7 p.

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

  • A Structured (Java) Exercise Repository with Automated Feedback (SERF).

    Passier, H., Huizing, C., Kok, A., Kuiper, R., Bijlsma, L., Scheffers, E., Schivo, S. & Vos, T. E. J., 22 Nov 2021, CSERC '21: Proceedings of the 10th Computer Science Education Research Conference. Stikkolorum, D. & Rahimi, E. (eds.). Association for Computing Machinery (ACM), p. 68-69 2 p.

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

    Open Access

  • A Structured Design Methodology for Concurrent Programming

    Bijlsma, A., Huizing, C., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, J. E. W., 2017, Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017: November 13 and 14, Helsinki, Finland. Pieterse, V., van Eekelen, M. & Giannakos, M. (eds.). ACM Digital Library, p. 1-9 9 p. (ICPS: ACM International Conference Proceeding Series).

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

  • A Systematic Mapping Study of Code Quality in Education

    Keuning, H., Jeuring, J. & Heeren, B., 30 Jun 2023, ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 5-11 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, Vol. 1).

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

  • Autism: Implications for Inclusive Education with respect to Software Engineering

    Stuurman, S., Passier, H. J. M., Geven, F. & Barendsen, E., 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. 15-25 11 p.

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

    Open Access
    File
    550 Downloads (Pure)

  • Automated feedback for mathematical learning environments

    Heeren, B. & Jeuring, J., 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching – ICTMT 14: Essen, Germany, 22nd to 25th of July 2019, University of Duisburg-Essen. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). Essen, Germany: University of Duisburg-Essen, p. 17-25 9 p.

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

    Open Access