Department of Computer Science

Research output

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

• 235 Conference Article in proceeding
• 118 Article
• 29 Technical report
• 22 Chapter
• 71 More
  • 19 Paper
  • 11 Doctoral Thesis
  • 7 Conference Abstract/Poster in proceeding
  • 4 Commissioned report
  • 4 Editorial
  • 3 Book editing
  • 3 Poster
  • 3 Conference Article in journal
  • 3 Comment/Letter to the editor
  • 3 Preprint
  • 2 Abstract
  • 2 Software
  • 1 Inaugural speech
  • 1 Foreword/postscript
  • 1 Conference Abstract/Poster in journal
  • 1 Special issue
  • 1 Review article
  • 1 Web publication/site
  • 1 Working paper

Research output per year

Research output per year

Search results

• Conference Article in proceeding

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

  • Formal methods 100%
  • Acoustic waves 68%
  • Virtual machine 43%
  • Process control 39%
  • Recovery 29%

• 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.). 1 ed. Cham: Springer, Cham, p. 460-478 19 p. (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. Guizzardi, R., Ralyté, J. & Franch, X. (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%

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

  Open Access

  File

  • Students 100%
  • Education 45%
  • Computability and decidability 36%
  • Structural properties 29%
  • Teaching 23%
  168 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File

  • Students 100%
  • Robot programming 27%
  • Feedback 24%
  • Flow control 18%
  189 Downloads (Pure)

• Super-Resolution by Image Enhancement Using Texture Transfer

  Ople, J. J. M., Tan, D. S., Azcarraga, A., Yang, C-L. & Hua, K-L., Oct 2020, 2020 IEEE International Conference on Image Processing (ICIP): Proceedings. IEEE, p. 953-957 5 p. 9190844

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

  • Image enhancement 100%
  • Textures 70%
  • Image resolution 18%
  • Deep learning 15%
  • Degradation 12%

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

  Open Access

  • Servers 100%
  • Smartphones 32%
  • Network protocols 23%

• Teaching Design for Living Memory

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

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

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

  • Bayesian networks 100%
  • Availability 11%

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

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

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

  Open Access

• TESTOMAT: Next Level of Test Automation

  Eldh, S., Vos, T. E. J., Demeyer, S., Aho, P. K. & van der Bijl, M., 25 Sept 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

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

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

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

  • Application programs 100%
  • Curricula 49%
  • Flow interactions 21%
  • Modeling languages 17%
  • Computer science 15%

• The diagnosing behaviour of intelligent tutoring systems

  van der Bent, R., Jeuring, J. T. & Heeren, B. J., Sept 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 proceeding › Conference Article in proceeding › Academic › peer-review

  Open Access

  File

  • Intelligent systems 100%
  • Students 35%
  • Information use 18%
  • Redundancy 13%
  • Feedback 10%
  176 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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

  • Pipelines 100%
  • Data recording 57%
  • Video recording 55%
  • Sensors 44%
  • Learning algorithms 36%
  7 Downloads (Pure)

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

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

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

• The Role of Internet Service Providers in Botnet Mitigation

  Pijpker, J. & Vranken, H. P. E., 2016, 2016 European Intelligence and Security Informatics Conference, Proceedings: 17–19 August 2016 Uppsala, Sweden. Brynielsson, J. & Johansson, F. (eds.). IEEE Computer Society Press, p. 24-32 9 p.

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

• The role of Procedural Guidance in Software Engineering Education

  Passier, H., Apr 2017, Companion to the first International Conference on the Art, Science and Engineering of Programming: Brussels, Belgium — April 03 - 06, 2017 . Sartor, J. B., d'Hondt, T. & de Meuter, W. (eds.). New York, NY, USA: ACM Digital Library, 2 p. 21

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

  • Engineering education 100%
  • Software design 87%
  • Software engineering 68%
  • Students 62%

• The Second Decade of Informatics in Dutch Secondary Education

  Grgurina, N., Tolboom, J. & Barendsen, E., 2018, Informatics in Schools. Fundamentals of Computer Science and Software Engineering: 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings. Pozdniakov, S. N. & Dagiene, V. (eds.). 1 ed. Cham: Springer International Publishing AG, p. 271-282 12 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 11169).

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

  Open Access

  • Curriculum 100%
  • Informatics 90%
  • Education 83%
  • Curricula 79%
  • Training 32%

• Thinking out of the box: comparing metaphors for variables in programming education

  Hermans, F., Swidan, A., Aivaloglou, E. & Smit, M., 2018, Proceedings of the 13th Workshop in Primary and Secondary Computing Education. Potsdam: acm, 8

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

  • Labels 100%
  • Education 99%
  • Teaching 51%
  • Experiments 20%

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

• To Be or Not to Be a Teacher? Exploring CS Students’ Perceptions of a Teaching Career

  Yeni, S., Aivaloglou, E. & Hermans, F., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 1-11 11 p. 11

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

  • computer science 100%
  • career 73%
  • Teaching 49%
  • teacher 47%
  • teacher shortage 42%

• Toward new unit-testing techniques for shared-memory concurrent programs

  Jongmans, S-S., 2019, 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. Pang, J. & Sun, J. (eds.). IEEE Canada, p. 164-169 6 p.

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

  • Data storage equipment 100%
  • Model checking 86%
  • Testing 84%
  • Software engineering 66%
  • Computer hardware 48%

• Towards a functional requirements prioritization with early mutation testing

  Condori-Fernández, N., Granda, M. F. & Vos, T. E. J., 2 Jun 2018, RET '18: Proceedings of the 5th International Workshop on Requirements Engineering and Testing. New York: Association for Computing Machinery (ACM), p. 21-24 4 p.

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

  • Testing 100%

• Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors

  Weeda, R., Izu, C., Kallia, M. & Barendsen, E., Nov 2020, Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falker, N. & Seppala, O. (eds.). New York: Association for Computing Machinery, 10 p. 30

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

  • Education 100%
  • Students 87%
  • Feedback 55%

• Towards an empirically validated model for assessment of code quality

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

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

• Towards a systematic review of automated feedback generation for programming exercises

  Keuning, H., Jeuring, J. T. & Heeren, B. J., Jul 2016, ITiCSE '16: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, p. 41-46 6 p.

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

  Open Access

  • Feedback 100%
  • Students 29%
  • Labeling 19%

• Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool

  Martınez, M., Esparcia-Alcazar, A., Vos, T., Aho, P. K. & Fons i Cors, J., Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 375-385 11 p. (Lecture Notes in Computer Science, Vol. 11246).

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

  • Internet of things 100%
  • Testing 61%
  • Graphical user interfaces 59%
  • Application programming interfaces (API) 56%

• Towards A Virtual Bank For Evaluating Security Aspects With Focus On User Behavior

  Kiljan, S., van Eekelen, M. C. J. D. & Vranken, H. P. E., 2016, Proceedings of 2016 SAI Computing Conference 2016: SAI 2016. IEEE, p. 1068-1075 8 p.

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

• 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). Di Ciccio, C., Di Francescomarino, C. & Soffer, P. (eds.). 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%

• Towards Growth-Mindset Mathematics Teaching in the Netherlands

  Alpár, G. & van Hoeve, M., 9 Dec 2019, Proceedings of Learning Innovations and Quality (LINQ) 2019: EPiC Series in Education Science. Stracke, C. M. (ed.). Vol. 2. p. 1-17 17 p. (EPiC Series in Education Science ).

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

  Open Access

  • Netherlands 100%
  • mathematics 81%
  • Teaching 51%
  • study materials 37%
  • best practice 23%

• Trace-based debugging for advanced-dispatching programming languages

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

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

• Typifying informatics teachers’ PCK of designing digital artefacts in Dutch upper secondary education

  Rahimi, E., Barendsen, E. & Henze, I., 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, Switzerland: Springer International Publishing AG, p. 65-77 13 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

• Understanding Computing in a Hybrid World: On the Undergraduate Curriculum Front-End Development

  Benvenuti, L., Barendsen, E., Van der Veer, G. & Versendaal, J., 2018, SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science Education.. New York, NY: Association for Computing Machinery (ACM), p. 580-585 6 p.

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

  • Curricula 100%
  • curriculum 52%
  • Natural sciences computing 15%
  • Computer science 11%
  • computer science 10%

• Unit Testing Tool Competition: Round Four

  Rueda, U., Just, R., Galeotti, J. P. & Vos, T. E. J., 2016, 9th International Workshop on Search-Based Software Testing SBST 2016 . Kellenberger, P. (ed.). New York: ACM Digital Library, Vol. 1. p. 19-28 10 p.

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

• Use expert knowledge instead of data: generating hints for hour of code exercises

  Buwalda, M., Jeuring, J. T. & Naus, N., 26 Jun 2018, L@S '18 Proceedings of the Fifth Annual ACM Conference on Learning at Scale. New York, NY: Association for Computing Machinery (ACM), 32

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

  Open Access

  File

  • Online systems 100%
  • Pattern matching 93%
  • Computer programming 87%
  • Students 61%
  • Experiments 29%
  77 Downloads (Pure)

• User-friendly Manual Transfer of Authenticated Online Banking Transaction Data: A Case Study that Applies the What You Enter Is What You Sign Transaction Authorization Information Scheme

  Kiljan, S. Z., Vranken, H. P. E. & van Eekelen, M. C. J. D., 2016, Proceedings of the 13th International Joint Conference on e-Business and Telecommunications : July 26-28, 2016, in Lisbon, Portugal. Callegari, C., van Sinderen, M., Sarigiannidis, P., Samarati, P., Cabello, E., Lorenz, P. & Obaidat, M. S. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 4. p. 259-270 12 p.

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

  Open Access

• Using Dependent Types to Define Energy Augmented Semantics of Programs

  van Gastel, B., Kersten, R. & van Eekelen, M., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. van Eekelen, M. & Dal Lago, U. (eds.). Cham: Springer International Publishing AG, p. 20-39 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9964).

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

  • Semantics 100%
  • Computer hardware 85%
  • Energy utilization 61%

• 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 7 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%
  118 Downloads (Pure)

• Verifying OpenJDK's LinkedList using KeY

  Hiep, H-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 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. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).

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

  Open Access

  • Formal verification 100%
  • Specifications 55%

• Visualization of automated test results obtained by the TESTAR tool

  Rueda, U., Esparcia-Alcazar, A. & Vos, T. E. J., Oct 2016, XIX Ibero-American Conference on Software Engineering : CIBSE 2016. Fonseca C., E. R., Hinojosa, C., Carvallo, J. P., Santos, G., Solari, M., Kalinowski, M., Conte, T., Panach, I., Lopez, L., Kinder Almentero, E., Gomez, O., Cares, C. & Marczak, S. (eds.). New York: Curran, Vol. 1. p. 53-66 14 p.

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

• Visual Support for Learning Monads

  Steenvoorden, T., Stutterheim, J., Barendsen, E. & Plasmeijer, R., 2017, Proceedings of the 8th Annual International Conference on Computer Science Education: Innovation & Technology. Global Science and Technology Forum, p. 130-139 10 p.

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

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

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

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

• Who Does What? Work Division and Allocation Strategies of Computer Science Student Teams

  van der Meulen, A. & Aivaloglou, E., May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET). IEEE, p. 273-282 10 p.

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

  • Computer science 100%
  • Students 73%
  • Education computing 23%
  • Education 12%
  • Software engineering 11%

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

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

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

  Open Access

  • Virtual reality 100%
  • Computer simulation 62%
  • Feedback 35%
  • Systems analysis 21%

• ”Why is the doctor a man?”: Reactions of Older Adults to a Virtual Training Doctor

  Constantin, A., Lai, C., Farrow, E., Alex, B., Pel-Littel, R. E., Nap, H. H. & Jeuring, J. T., May 2019, CHI EA '19: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. LBW1719

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

  Open Access

  File

  • Decision making 100%
  • User experience 34%
  91 Downloads (Pure)
• Doctoral Thesis

  Assessing sustainability of software: analysing correctness, memory and energy consumption. Analysing correctness, memory and energy consumption

  van Gastel, B. E., 28 Oct 2016, Heerlen: Open Universiteit. 190 p.

  Research output: Thesis › Doctoral Thesis › Thesis 1: fully internal

  Open Access

  File

  • Sustainable development 100%
  • Energy utilization 79%
  • Data storage equipment 68%
  • Public utilities 16%
  • Computer hardware 13%
  150 Downloads (Pure)

• Automata-Theoretic Protocol Programming: Parallel computation, threads and their interaction, optimized compilation [at a] high level of abstraction

  Jongmans, S-S., 3 Mar 2016, Leiden University. 332 p.

  Research output: Thesis › Doctoral Thesis › Thesis 3: defended at external organisation, OU employee

  Open Access

  File

  • Parallel programming 100%
  • Network protocols 57%
  • Semantics 15%
  • Labels 13%
  • Automata theory 11%
  25 Downloads (Pure)