Department of Computer Science

Research output

Research output per year 2007 2015 2016 2017 2018 2019 2020 2021 2022 2023

• 230 Conference Article in proceeding
• 110 Article
• 24 Technical report
• 21 Chapter
• 64 More
  • 16 Paper
  • 11 Doctoral Thesis
  • 7 Conference Abstract/Poster in proceeding
  • 4 Commissioned report
  • 3 Book editing
  • 3 Poster
  • 3 Editorial
  • 3 Comment/Letter to the editor
  • 2 Abstract
  • 2 Conference Article in journal
  • 2 Software
  • 2 Preprint
  • 1 Inaugural speech
  • 1 Foreword/postscript
  • 1 Conference Abstract/Poster in journal
  • 1 Special issue
  • 1 Review article
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2023

  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

  • Kleene Algebra 100%
  • Free Algebras 85%
  • Axiomatization 39%
  • Fragment 23%
  • Completeness 10%

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Kappé, T. W. J., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).

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

  Open Access

  • Algebra 100%
  • Derivatives 13%

• GLUE: Generalizing Unbounded Attribute-Based Encryption for Flexible Efficiency Trade-Offs

  Venema, M. & Alpár, G., 2 May 2023, Public-Key Cryptography – PKC 2023. Boldyreva, A. & Kolesnikov, V. (eds.). Cham: Springer Nature Switzerland AG, Vol. 13940. p. 652-682 31 p. (Lecture Notes in Computer Science (LNCS), Vol. 13940).

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

  • Cryptography 100%
• 2022

  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

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

  • Testing 100%
  • Computer games 96%
  • Intelligent agents 44%
  • Engineers 27%

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

• Branching Pomsets for Choreographies

  Edixhoven, L., Jongmans, S-S., Proença, J. & Cledou, G., 9 Aug 2022, Proceedings 15th Interaction and Concurrency Experience: ICE'22. C. A., C. D. G. & L. S. A. A. S. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 356. p. 37-52 16 p. (Electronic proceedings in theoretical computer science, Vol. 356).

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

  Open Access

  • Semantics 100%

• Can Math Be a Bottleneck? Exploring the Mathematics Perceptions of Computer Science Students

  Alpár, G., Yeni, S., Aivaloglou, E. & Hermans, F., 11 May 2022, Proceedings of the IEEE Global Engineering Education Conference (EDUCON 2022). Kallel, I., Kammoun, H. & Hsairi, L. (eds.). IEEE, p. 217-225 9 p.

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

  • computer science 100%
  • mathematics 77%
  • student 28%
  • triangulation 15%
  • engineering science 15%

• CLIPCAM: A Simple Baseline For Zero-Shot Text-Guided Object And Action Localization

  Hsia, H-A., Lin, C-H., Kung, B-H., Chen, J-T., Tan, D. S., Chen, J-C. & Hua, K-L., May 2022, IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 4453-4457 5 p.

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

  • Computer aided manufacturing 100%
  • Deep learning 80%
  • Detectors 70%
  • Semantics 61%
  • Costs 34%

• Comparing Neural Networks for Speech Emotion Recognition in Customer Service Interactions

  Henkel, A. P., Bromuri, S. & Waelbers, B. M. L., 30 Sept 2022, 2022 International Joint Conference on Neural Networks ( IJCNN). IEEE, p. 1-8 8 p.

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

  • Speech recognition 100%
  • Classifiers 75%
  • Neural networks 64%
  • Multilayer neural networks 36%
  • Network architecture 33%

• Conditional Independence for Iterated Belief Revision

  Kern-Isberner, G., Heyninck, J. L. A. & Beierle, C., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22). L. D. R. (ed.). International Joint Conferences on Artificial Intelligence, p. 2690-2696 7 p.

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

  Open Access

  • Syntactics 100%
  • Semantics 66%

• Constraint Formalization for Automated Assessment of Enterprise Models

  Joosten, S. M. M., Roubtsova, E. E. & Haddouchi, E. M., 25 Apr 2022, Proceedings of the 24th International Conference on Enterprise Information Systems . Filipe, J., Smialek, M. & Hammoudi, S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 430-441 12 p.

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

  Open Access

  File

  • Formalization 100%
  • Modeling 55%
  • Enterprise Modeling 24%
  • Violations 18%
  • Language Modeling 14%
  15 Downloads (Pure)

• Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts

  Ferreira Torres, C., Jonker, H. L. & State, R., 26 Oct 2022, RAID '22: Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses. Association for Computing Machinery (ACM), p. 115-128 14 p.

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

  Open Access

• Evolutionary Scriptless Testing

  Hufkens, L. V., 14 May 2022, Research Challenges in Information Science. Guizzardi, R., Ralyté, J. & Franch, X. (eds.). Cham: Springer International Publishing, p. 779--785 7 p. (Lecture Notes in Business Information Processing, Vol. 446).

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

  • Testing 100%
  • Mathematical operators 59%
  • Evolutionary algorithms 59%

• Explaining Argument Acceptance in ADFs

  Rienstra, T., Heyninck, J. L. A., Kern-Isberner, G., Skiba, K. & Thimm, M., 2022, 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22). Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu & Antonio Rago (eds.). CEUR-WS.org, Vol. 3209. 12 p. (CEUR Workshop Proceedings, Vol. 3209).

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

  Open Access

• Footprint Logic for Object-Oriented Components

  Boer, F. S. D., Gouw, S. D., Hiep, H-D. A. & Bian, J., 2 Nov 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Tarifa, S. L. T. & Proença, J. (eds.). 1 ed. cham: Springer, Vol. 13712. p. 141-160 20 p. (Lecture Notes in Computer Science).

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

• Formal Specification and Verification of JDK's Identity Hash Map Implementation

  Boer, M. D., Gouw, S. D., Klamroth, J., Jung, C., Ulbrich, M. & Weigl, A., 1 Jun 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Beek, M. H. T. & Monahan, R. (eds.). Cham: Springer, Vol. 13274. p. 45-62 18 p. (Lecture Notes in Computer Science).

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

• GIPPY: Game for Introductory Programming Practice in Python

  Lapeña, A., Marin, B. & Vos, T., Mar 2022, INTED2022: 16th International Technology, Education and Development Conference Proceedings. Luis Gómez Chova, Agustín López Martínez & Ignacio Candel Torres (eds.). Valencia, Spain: IATED, p. 5598-5606 (INTED Proceedings).

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

  • Students 100%
  • Gamification 59%
  • Computer programming languages 41%
  • Teaching 19%
  • Industry 9%

• Gradient-Descent for Randomized Controllers Under Partial Observability

  Heck, L., Spel, J., Junges, S., Moerman, J. & Katoen, J-P., 2022, Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings. Finkbeiner, B. & Wies, T. (eds.). 1 ed. Springer, p. 127-150 24 p. (Lecture Notes in Computer Science, Vol. 13182). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 13182).

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

  • Observability 100%
  • Markov chains 88%
  • Controllers 48%
  • Machine learning 22%

• How gullible are web measurement tools? a case study analysing and strengthening OpenWPM's reliability

  Krumnow, B., Jonker, H. L. & Karsch, S., 30 Nov 2022, CoNEXT '22: Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Giuseppe Bianchi & Alessandro Mei (eds.). New York: Association for Computing Machinery (ACM), p. 171-186 16 p.

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

• Lexicographic Entailment, Syntax Splitting and the Drowning Problem

  Heyninck, J. L. A., Kern-Isberner, G. & Meyer, T., 23 Jul 2022, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. Luc De Raedt (ed.). International Joint Conferences on Artificial Intelligence, p. 2662-2668 7 p.

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

  Open Access

  • Drowning 100%
  • Entailment 86%
  • Inference 62%
  • Syntax 52%
  • Belief Bases 28%

• Naturalistic Physical Adversarial Patch for Object Detectors

  Hu, Y-C-T., Kung, B-H., Tan, D. S., Chen, J-C., Hua, K-L. & Cheng, W-H., 28 Feb 2022, Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision : ICCV 2021. IEEE, p. 7828-7837 10 p.

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

  • Detectors 100%
  • Sampling 89%
  • Experiments 45%

• 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • Network protocols 100%

• 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 proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

• Reasoning About Active Objects: A Sound and Complete Assertional Proof Method

  Boer, F. S. D. & Gouw, S. D., 4 Jul 2022, The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Cham: Springer, Vol. 13360. p. 173-192 20 p. (Lecture Notes in Computer Science, Vol. 13360).

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

• Relevance in the Computation of Non-monotonic Inferences

  Heyninck, J. L. A. & Meyer, T., 2022, Southern African Conference for Artificial Intelligence Research. Anban Pillay, Edgar Jembere & Aurona Gerber (eds.). 1 ed. Cham: Springer, Cham, Vol. 1734. p. 204-214 13 p. (Communications in Computer and Information Science (CCIS), Vol. 1734).

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

  • Mathematical operators 100%
  • Computational complexity 88%

• ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

  Jongmans, S-S. & Proença, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, Cham, p. 460-478 (Lecture Notes in Computer Science, Vol. 13701).

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

  • Blueprints 100%
  • Application programming interfaces (API) 71%
  • Computer programming languages 34%
  • Compliance 33%
  • Network protocols 25%

• State Model Inference Through the GUI Using Run-Time Test Generation

  Mulders, A., Valdes, O. R., Ricós, F. P., Aho, P., Marín, B. & Vos, T. E. J., 13 May 2022, Research Challenges in Information Science: 16th International Conference, RCIS 2022, Barcelona, Spain, May 17–20, 2022, Proceedings. Renata Guizzard, Jolita Ralyté & Xavier Franch (eds.). 1 ed. Cham: Springer, p. 546-563 18 p. (Lecture Notes in Business Information Processing, Vol. 446).

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

  • Graphical user interfaces 100%
  • Testing 22%
  • Software testing 16%
  • Information systems 11%
  • Costs 5%

• TinyABE: Unrestricted Ciphertext-Policy Attribute-Based Encryption for Embedded Devices and Low-Quality Networks

  Venema, M. & Alpár, G., 6 Oct 2022, Progress in Cryptology - AFRICACRYPT 2022. Batina, L. & Daemen, J. (eds.). 1 ed. Cham: Springer, Cham, Vol. 13503. p. 103-129 27 p. (Lecture Notes in Computer Science, Vol. 13503).

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

  • Cryptography 100%
  • Access control 32%
  • Data storage equipment 31%
  • Internet of things 29%
  • Water 9%
• 2021

  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

  • artificial intelligence 100%
  • trend 98%
  • software 68%
  • event 56%

• 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

  • Cryptography 100%

• 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

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

  Open Access

  • Network protocols 100%
  • Specifications 94%
  • Temporal logic 57%

• 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 (Lecture Notes in Computer Science, Vol. 12589).

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

  • Computer games 100%
  • User interfaces 52%
  • Testing 41%
  • Navigation 15%
  • Planning 12%

• 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

  • Websites 100%

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

• Children’s Implicit and Explicit Stereotypes on the Gender, Social Skills, and Interests of a Computer Scientist

  de Wit, S. D., Hermans, F. & Aivaloglou, E., 16 Aug 2021, Proceedings of the 17th ACM Conference on International Computing Education Research. Ko, A. J., Vahrenhold, J., McCauley, R. & Hauswirth, M. (eds.). New York, NY, USA: Association for Computing Machinery, p. 239–251 13 p.

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

  Open Access

  • computer scientist 100%
  • stereotype 64%
  • gender 38%
  • computer science 10%
  • experiment 7%

• Displaying triple provenance with extensions to the Fresnel vocabulary for semantic browsers

  Rutledge, L. W., Mellema, P., Pietersma, T. & Joosten, S. M. M., 25 Oct 2021, Proceedings of the Sixth International Workshop on the Visualization and Interaction for Ontologies and Linked Data: VOILA! 2021. Lambrix, P., Pesquita, C. & Wiens, V. (eds.). CEUR-WS.org, Vol. 3023. p. 103-114 12 p. (CEUR Workshop Proceedings).

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

  Open Access

  • Display devices 100%
  • Semantics 89%
  • Rapid prototyping 47%
  • Information systems 35%

• Exploring students' sensemaking of test case design: An initial study

  Doorn, N., Vos, T. E. J., Marín, B., Passier, H., Bijlsma, L. & Cacace, S., Apr 2021, Proceedings: 2021 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021). IEEE, p. 1069-1078 10 p.

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

  • Students 100%
  • Testing 69%
  • Software testing 39%
  • Computer science 33%
  • Teaching 29%

• Exploring the Programming Concepts Practiced by Scratch Users: an Analysis of Project Repositories

  Zeevaarders, A. & Aivaloglou, E., 2021, 2021 IEEE Global Engineering Education Conference. IEEE, p. 1287-1295 9 p.

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

  • Repository 100%
  • Programming 87%
  • Public Project 16%
  • Project Portfolio 15%
  • Programming Languages 14%

• Generating Functions for Probabilistic Programs

  Klinkenberg, L., Batz, K., Kaminski, B. L., Katoen, J-P., Moerman, J. & Winkler, T., 13 Feb 2021, Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. Maribel Fernández (ed.). 1 ed. Cham: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science, Vol. 12561).

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

  • Semantics 100%
  • Rational functions 65%
  • Algebra 50%

• HLISA: towards a more reliable measurement tool

  Goßen, D., Jonker, H. L., Karsch, S., Krumnow, B. & Roefs, D., Nov 2021, IMC '21: Proceedings of the 21st ACM Internet Measurement Conference. p. 380–389 10 p.

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

  • Application programming interfaces (API) 100%
  • Selenium 82%
  • Web browsers 61%
  • Detectors 41%
  • Simulators 38%

• How do Students Test Software Units?

  Passier, H. J. M., Bijlsma, A., Doorn, N., Pootjes, H. J. & Stuurman, S., May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). IEEE, p. 189-198 10 p.

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

  File

  • software 100%
  • programming 37%
  • student 35%
  • interview 10%
  • education 7%
  76 Downloads (Pure)

• Identifying SQL Misconceptions of Novices: Findings from a Think-Aloud Study

  Miedema, D., Aivaloglou, E. & Fletcher, G., 16 Aug 2021, Proceedings of the 17th ACM Conference on International Computing Education Research. Ko, A. J., Vahrenhold, J., McCauley, R. & Hauswirth, M. (eds.). New York, NY, USA: Association for Computing Machinery, p. 355–367 13 p.

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

  Open Access

  • Query languages 100%
  • Students 65%
  • Education 37%

• Integrating ADTs in KeY and Their Application to History-Based Reasoning

  Bian, J., Hiep, H-D. A., Boer, F. S. D. & Gouw, S. D., Nov 2021, Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Huisman, M., Pasareanu, C. S. & Zhan, N. (eds.). 1 ed. Cham: Springer, p. 255-272 18 p. (Lecture Notes in Computer Science, Vol. 13047). (Programming and Software Engineering LNPSE, Vol. 13047).

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

  • Abstract data types 100%

• Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

  Bojanczyk, M., Klin, B. & Moerman, J., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-13 13 p.

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

• 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 proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  • secondary education 100%
  • programming 84%
  • learning environment 79%
  • learning 36%
  • secondary school 16%

• 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 proceeding › Conference Article in proceeding › Popular

• 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • Education computing 100%
  • Students 88%
  • Technology and Innovation 86%
  • Computer science 59%
  • Education 50%

• 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • Semantic Web 100%
  • Ontology 83%
  • Decision making 70%
  • Data integration 22%
  • Big data 17%

• Towards Evidence-Based Analysis of Palliative Treatments for Stomach and Esophageal Cancer Patients: a Process Mining Approach

  Pijnenborg, P., Verhoeven, R., Firat, M., W.M. van Laarhoven, H. & Genga, L., 25 Oct 2021, 2021 3rd International Conference on Process Mining (ICPM). IEEE, p. 136-143 8 p.

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

  • Esophageal Neoplasms 100%
  • Palliative Care 94%
  • Stomach Neoplasms 84%
  • Life Expectancy 19%
  • Physicians 12%

• Using Jungian Personality Types for Teaching Teamwork in a Software Engineering Capstone Course

  Pieterse, V., Stuurman, S. & van Eekelen, M. C. J. D., 3 Mar 2021, Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. New York, USA: acm, p. 239-245 6 p.

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

  File

  • teamwork 100%
  • personality 75%
  • software 70%
  • engineering 62%
  • Teaching 44%
  95 Downloads (Pure)