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

• Conference Article in proceeding

  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

  • Structural properties 100%

• 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

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

• Building a Generic Feedback System for Rule-Based Problems

  Naus, N. & Jeuring, J. T., 21 Feb 2019, Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Van Horn, D. & Hughes, J. (eds.). Cham: Springer, p. 172-191 20 p. (Lecture Notes in Computer Science, Vol. 10447).

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

  Open Access

  File

  • DSL 100%
  • Feedback 46%
  81 Downloads (Pure)

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

• Capturing and Characterising Notional Machines

  Fincher, S., Jeuring, J., Miller, C. S., Donaldson, P., Boulay, B. D., Hauswirth, M., Hellas, A., Hermans, F., Lewis, C. M., Mühling, A., Pearce, J. L. & Petersen, A., Jun 2020, Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education: ITiCSE 2020. Giannakos, M. N., Sindre, G., Luxton-Reilly, A. & Divitini, M. (eds.). New York: acm, p. 502-503 2 p.

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

  Open Access

  File

  • pedagogics 100%
  • working group 66%
  • programming 51%
  • teacher 41%
  • classroom 34%
  84 Downloads (Pure)

• Challenges in Automated Testing through Graphical User Interface

  Aho, P. K. & Vos, T., 9 Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 4 p.

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

  • Graphical user interfaces 100%
  • Testing 51%
  • Software engineering 40%
  • System of systems 30%
  • Quality assurance 26%

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

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

• 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

• Code Phonology: An Exploration into the Vocalization of Code

  Hermans, F., Swidan, A. & Aivaloglou, E., 2018, Proceedings of the 26th Conference on Program Comprehension. acm, p. 308-311 4 p.

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

• Code quality issues in student programs

  Keuning, H., Heeren, B. & Jeuring, J., 2017, Proceedings of the 22nd Annual Conference on Innovation and Technology in Computer Science Education: ITiCSE 2017, Bologna, Italy — July 03 - 05, 2017. New York: ACM Digital Library, p. 110-115 6 p.

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

  Open Access

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

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

• 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

• Computational Thinking and Mathematical thinking: Digital literacy in Mathematics curricula

  Borkulo, S., Kallia, M., Drijvers, P., Barendsen, E. & Tolboom, J., 20 May 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching: ICTMT 14. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). University of Duisburg-Essen, p. 384-385 2 p.

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

  Open Access

• Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking

  Jong, I. D. & Jeuring, J., Nov 2020, Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research. Falkner, N. & Seppälä, O. (eds.). New York: acm, p. 1-10 10 p. 35

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

  Open Access

  File

  • literature 100%
  • education 73%
  • programming 20%
  • educator 16%
  • examination 15%
  155 Downloads (Pure)

• 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

• 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

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

• Context-based teaching and learning of fundamental computer science concepts: exploring teachers' ideas

  Nijenhuis-Voogt, J., Meijer, P. C. & Barendsen, E., 2018, Proceedings of the 13th Workshop on Primary and Secondary Computing Education. Mühling, A. & Cutts, Q. (eds.). New York, NY: Association for Computing Machinery (ACM), 4 p. 15

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

• Continuous Piloting of an Open Source Test Automation Tool in an Industrial Environment

  Aho, P., Vos, T. E. J., Ahonen, S., Piirainen, T., Moilanen, P. & Pastor Ricos, F., 2019, Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019): áceres, septiembre de 2019. Pérez-Benedí, J. (ed.). Sistedes, p. 1-4 4 p.

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

  Open Access

  • Automation 100%
  • Feedback 82%

• Deep in the Dark: A Novel Threat Detection System using Darknet Traffic

  Kumar, S., Vranken, H. P. E., van Dijk, J. & Hämäläinen, T., Dec 2019, 2019 IEEE International Conference on Big Data. Los Angeles, USA: IEEE, p. 4273-4279 7 p.

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

  Open Access

  File

  • Machine learning 100%
  • Classifiers 96%
  • Botnet 91%
  • Sensor networks 59%
  • Detectors 53%
  50 Downloads (Pure)

• 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

• Denial-of-Service Attacks on LoRaWAN

  van Es, E., Vranken, H. & Hommersom, A., 2018, Proceedings of the 13th International Conference on Availability, Reliability and Security. New York, NY, USA: acm, 17

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

  Open Access

  File
  211 Downloads (Pure)

• Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation

  Pastor Ricos, F., Aho, P. K., Vos, T. E. J., Torres Boigues, I., Calas Blasco, E. & Martınez Martınez, H., 30 Nov 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Tiziana, M. & Bernhard, S. (eds.). 1 ed. Springer International Publishing AG, Vol. 12476. p. 543-557 15 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12476).

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

  • Pipelines 100%
  • Graphical user interfaces 87%
  • Testing 67%
  • Industry 57%
  • Automation 33%

• Designing a Blended Course in Android App Development using 4C/ID

  Marcellis, M., Barendsen, E. & Van Merriënboer, J. J. G., 22 Nov 2018, Koli Calling '18: Proceedings of the 18th Koli Calling International Conference on Computing Education Research. New York, NY: acm, 19

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

  • Application programs 100%
  • Students 54%

• Designing and comparing two Scratch-based teaching approaches for students aged 10-12 years

  van Es, N. & Jeuring, J., 2017, Koli Calling '17: Proceedings of the 17th Koli Calling International Conference on Computing Education Research. New York: ACM Digital Library, p. 178-182 5 p.

  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

• Detecting energy bugs and hotspots in control software using model checking

  Gastel, P. V., Gastel, B. V. & Eekelen, M. C. J. D. V., 2018, Programming'18 Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. New York, NY: acm, p. 93-98 6 p. (ACM International Conference Proceeding Series).

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

  • Model checking 100%
  • Energy utilization 66%
  • Temporal logic 55%
  • Application programs 42%
  • Energy efficiency 37%

• Discourje: Runtime Verification of Communication Protocols in Clojure

  Hamers, R. & Jongmans, S-S., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 266-284 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).

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

  Open Access

• Discovering Software Vulnerabilities Using Data-flow Analysis and Machine Learning

  Kronjee, J., Hommersom, A. & Vranken, H., 2018, Proceedings of the 13th International Conference on Availability, Reliability and Security. New York, NY, USA: acm, 10 p. 6

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

  Open Access

  File

  • Data flow analysis 100%
  • Machine learning 52%
  • Open source software 19%
  • Static analysis 18%
  • Classifiers 12%
  418 Downloads (Pure)

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

• Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

  Castro, D., Hu, R., Jongmans, S-S., Ng, N. & Yoshida, N., Jan 2019, Proceedings of the ACM on Programming Languages. Wadler, P. (ed.). POPL ed. New York, NY: Association for Computing Machinery (ACM), Vol. 3. p. 1-30 30 p. (Proceedings of the ACM on Programming Languages).

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

  Open Access

  • Application programming interfaces (API) 100%
  • Network protocols 72%
  • Communication 52%
  • Computability and decidability 20%
  • Specifications 19%

• Early programming education and career orientation: The effects of gender, self-efficacy, motivation and stereotypes

  Aivaloglou, E. & Hermans, F., Feb 2019, SIGCSE '19: Proceedings of the 50th ACM Technical Symposium on Computer Science Education, Minneapolis, MN, USA, February 2019. New York: Association for Computing Machinery (ACM), p. 679-685 7 p.

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

  File

  • stereotype 100%
  • self-efficacy 97%
  • programming 93%
  • career 77%
  • gender 59%
  608 Downloads (Pure)

• Effective Analysis of Attack Trees: A Model-Driven Approach

  Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A., 4 Apr 2018, Fundamental Approaches to Software Engineering: FASE 2018. Russo, A. & Schürr, A. (eds.). Cham: Springer, p. 56-73 18 p. (Lecture Notes in Computer Science, Vol. 10802).

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

  Open Access

  • Interoperability 100%

• 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

• 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

• Enhancing Free-text Interactions in a Communication Skills Learning Environment

  Lala, R., Jeuring, J. T., Van Geest, M., Ruseti, S., Dascălu, M., Van Dortmont, J., Gutu-Robu, G. & Hulsbergen, M. H., 21 Jun 2019, A Wide Lens: Combining Embodied, Enactive, Extended, and Embedded Learning in Collaborative Settings. Lund, K., Niccolai, G. P., Lavoué, E., Hmelo-Silver, C., Gweon, G. & Baker, M. (eds.). International Society of the Learning Sciences, Vol. 2. p. 877-878

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

  Open Access

  File

  • Gamification 100%
  • Tuning 58%
  • Communication 37%
  1746 Downloads (Pure)

• Estimating worst-case latency of on-chip interconnects with formal simulation

  Verbeek, F. & van Vugt - Hage, N., 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017): TU Wien, Vienna, Austria, October 2-6, 2017. Stewart, D. & Weissenbacher, G. (eds.). IEEE, p. 204-211 8 p.

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

• 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

• Evaluation of a Structured Design Methodology for Concurrent Programming

  Bijlsma, A., Huizing, K., Kuiper, R., Passier, H. J. M., Pootjes, H. J. & Smetsers, S., Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). New York, NY: Association for Computing Machinery, p. 58–65 8 p.

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

  • programming 100%
  • methodology 65%
  • evaluation 58%
  • syntax 33%
  • abstraction 33%

• Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game

  Lala, R., Corbalan, G. & Jeuring, J., 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. 322-331 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11899). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 11899).

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

  Open Access

  File

  • Serious games 100%
  • Students 58%
  • Communication 39%
  • Teaching 17%
  • Computer science 9%
  76 Downloads (Pure)

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

• 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

  • Graphical user interfaces 100%
  • Testing 51%
  • Software quality 22%
  • Automation 15%

• 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

• Explaining the Most Probable Explanation

  Butz, R. S., Hommersom, A. & van Eekelen, M., 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. 50-63 14 p. (Lecture Notes in Computer Science, Vol. 11142).

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

  • Bayesian networks 100%
  • Random variables 50%
  • Decision making 35%

• 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

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