Faculty of Science

Research output

Research output per year 1989 2021

• 306 Conference article in proceeding
• 301 Article
• 65 Paper
• 63 Chapter
• 186 More
  • 26 Commissioned report
  • 20 Review article
  • 18 Technical report
  • 18 Abstract
  • 17 Doctoral Thesis
  • 16 Poster
  • 10 Editorial
  • 9 Book editing
  • 9 Conference Abstract/Poster in journal
  • 7 Comment/Letter to the editor
  • 6 Conference Abstract/Poster in proceeding
  • 5 Book
  • 5 Inaugural speech
  • 5 Conference article in journal
  • 3 Foreword/postscript
  • 3 Book/Film/Article review
  • 3 Web publication/site
  • 2 Working paper
  • 1 Deliverable
  • 1 Entry for encyclopedia/dictionary
  • 1 Literature review
  • 1 Discussion paper

Research output per year

Research output per year

Search results

• 2021

  Achieving Agility in IT Project Portfolios: A Systematic Literature Review

  Puthenpurackal, J., Huygh, T. & De Haes, S., 2021, Lean and Agile Software Development: 5th International Conference, LASD 2021. Przybylek, A., Miler, J., Poth, A. & Riel, A. (eds.). Springer, Vol. 408. p. 71-90

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

  • Project Portfolio 100%
  • IT Project 98%
  • Literature Review 95%
  • Agility 84%
  • Portfolio Management 57%

• A Framework for IT Project Complexity Management

  Morcov, S., Pintelon, L. & Kusters, R. J., 2021, Proocedings of the 14th IADIS International Conference: Information Systems 2021 : IS 2021. Lissabon: IADIS Press, p. 61-68 8 p.

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

  Open Access

  • Complexity Management 100%
  • Project Complexity 97%
  • IT Project 82%
  • Project Management 38%
  • Engineering Management 26%

• Capturing Co-evolutionary Information Systems Alignment: Conceptualization and Scale Development

  Walraven, P., van de Wetering, R., Caniels, M. C. J., Versendaal, J. M. & Helms, R. W., 2021, Proceedings of the 54th Hawaii International Conference on System Sciences. Scholar Space, University of Hawai'i at Manoa, p. 6017-6026 10 p.

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

  Open Access

  • Scale Development 100%
  • Alignment 73%
  • Conceptualization 72%
  • Evolutionary 63%
  • Information Systems 59%

• Enterprise architecture artifacts facilitating digital transformations' strategic planning process

  Grave, F., van de Wetering, R. & Kusters, R. J., 3 Mar 2021, Proceedings of the 14th IADIS International Conference Information Systems 2021: IS 2021. IADIS Press, p. 45-52 9 p.

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

  • Strategic Planning 100%
  • Digital Transformation 77%
  • Enterprise Architecture 76%
  • Planning Process 64%
  • Literature Review 15%

• Exploring the Dimensions and Attributes of A Maturity Model for IT Governance Organizational Structures

  Steuperaert, D., Huygh, T., De Haes, S. & Poels, G., 5 Jan 2021, Proceedings of the 54th Hawaii International Conference on System Sciences. Scholar Space, University of Hawai'i at Manoa, p. 6037-6046 10 p.

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

  Open Access

  • attribute 100%
  • sound 54%
  • organization 48%
  • world 38%

• How Boards of Directors Can Contribute to Governing IT

  Caluwe, L., De Haes, S., Wilkin, C. & Huygh, T., 5 Jan 2021, Proceedings of the 54th Hawaii International Conference on System Sciences. Scholar Space, University of Hawai'i at Manoa, p. 6047-6056 10 p.

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

  Open Access

  • Board of Directors 100%
  • Corporate Governance 40%
  • Board Roles 37%
  • IT Strategy 33%
  • IT Governance 32%

• Privacy as a Service (PraaS): A Conceptual Model of GDPR to Construct Privacy Services. In: Shishkov B. (eds) Business Modeling and Software Design

  Roubtsova, E. E. & Bosua, R., Jul 2021, International Symposium on Business Modeling and Software Design: BMSD 2021: Business Modeling and Software Design. Shishkov, B. (ed.). Cham: Springer, Vol. 422. p. 170-189 20 p. (Lecture Notes in Business Information Processing, Vol. 422).

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

  Open Access

  • Software design 100%
  • Data privacy 99%
  • Transparency 50%
  • Industry 42%
  • Privacy by design 26%

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

  ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks

  Ferreira Torres, C., Baden, M., Norvill, R., Borja Fiz Pontiveros, B., Jonker, H. L. & Mauw, S., Oct 2020, ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security. New York, NY: Association for Computing Machinery (ACM), p. 584-597 14 p.

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

• Aligning Effectively: The Case of Electronic Medical Records

  Walraven, P., van de Wetering, R., Helms, R. W. & Caniëls, M. C. J., Jun 2020, Proceedings of the 28th European Conference on Information Systems (ECIS): An Online AIS Conference, June 15-17, 2020. online: Association for Information Systems, 16 p.

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

  Open Access

  File

  • Electronic Health Records 100%
  • Single-Case Studies 26%
  • Focus Groups 18%
  • Lenses 18%
  5 Downloads (Pure)

• An Evaluation of the Intuitiveness of the PGA Modeling Language Notation

  Roelens, B. F. C. & Bork, D., 2020, Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8–9, 2020, Proceedings. Nurcan, S., Reinhartz-Berger, I., Soffer, P. & Zdravkovic, J. (eds.). Cham: Springer Nature Switzerland AG, p. 395-410 16 p. (Lecture Notes in Business Information Processing, Vol. 387).

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

  Open Access

  • Modeling languages 100%
  • Industry 19%
  • Testing 11%

• Applying Scrum in Data Science Projects

  Baijens, J., Helms, R. W. & Iren, D., 2020, 2020 IEEE 22nd Conference on Business Informatics (CBI 2020). Guédria, W., Proper, H. A., Verelst, J., Hacks, S., Timm, F., Sandkuhl, K., Fellmann, M., Serapiao, G., Payan, M., Komarov, M., Maltseva, S., Uskenbayeva, R., Nazarov, D., Ge, M., Helfert, M. & Ehrlinger, L. (eds.). Danvers, MA: Institute of Electrical and Electronics Engineers Inc., Vol. 2. p. 30-38 9 p.

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

  • Data Science 100%
  • Software engineering 19%
  • Big data 11%
  • Decision making 8%

• A Reference Model for a Service Level Agreement: In domain of Information Sharing Services

  Hofman, C. C. & Roubtsova, E. E., 2020, Business Modeling and Software Design: 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings. Shishkov, B. (ed.). Cham: Springer Nature Switzerland AG, p. 55-68 14 p. (Lecture Notes in Business Information Processing, Vol. 391).

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

  • Defects 100%
  • Software quality 56%
  • Degradation 33%

• 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

  • Feedback 100%
  • Education 26%
  • Students 23%

• 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

  • pedagogics 100%
  • working group 66%
  • programming 51%
  • teacher 41%
  • classroom 34%

• 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

  • literature 100%
  • education 73%
  • programming 20%
  • educator 16%
  • examination 15%

• Concepts for Comparison in Models to Support Decision Making

  Roubtsova, E. E. & Bosua, R., 2020, Business Modeling and Software Design: 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings. Shishkov, B. (ed.). Cham: Springer, p. 266-275 10 p. (Lecture Notes in Business Information Processing, Vol. 391).

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

  • Decision Making 100%
  • Decision making 83%
  • Industry 50%
  • Business Process 36%
  • Business Concept 29%

• Data Analytics Project Methodologies: Which one to choose?

  Baijens, J., Helms, R. W. & Kusters, R., 2020, ICBDM 2020: Proceedings of the 2020 International Conference on Big Data in Management. ACM Digital Library, 7 p.

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

  • Data Analytics 100%
  • Methodology 39%
  • Process Model 21%
  • Expected Value 15%
  • Big Data 15%

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

• 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

• Dynamic Enterprise Architecture Capabilities and Organizational Benefits: An empirical mediation study

  Van de Wetering, R., 2020, Proceedings of the Twenty-Eigth European Conference on Information Systems (ECIS2020): ECIS 2020 Research Papers. AIS Electronic Library, p. 1-18 18 p. 93

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

  Open Access

  File

  • Enterprise Architecture 100%
  • Mediation 78%
  • Business Transformation 12%
  • Theory Building 10%
  • Strategic Objectives 10%
  2 Downloads (Pure)

• Dynamic Process Synchronization using BPMN 2.0 to Support Buffering and (Un)Bundling in Manufacturing

  Traganos, K., Spijkers, D., Grefen, P. W. P. J. & Vanderfeesten, I. T. P., 2020, Business Process Management Forum: BPM Forum 2020, Seville, Spain, September 13–18, 2020, Proceedings. Fahland, D., Ghidini, C., Becker, J. & Dumas, M. (eds.). Cham: Springer Nature Switzerland AG, p. 18-34 17 p. (Lecture Notes in Business Information Processing, Vol. 392).

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

• End-To-End Production Process Orchestration for Smart Printing Factories: An Application in Industry

  Traganos, K., Vanderfeesten, I. T. P., Grefen, P. W. P. J., Erasmus, J., Gerrits, T. & Verhofstad, W., Oct 2020, Proceedings of the 2020 IEEE 24th International Enterprise Distributed Object Computing Conference: EDOC 2020. Ceballos, C. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 155-164

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

  • Printing 100%
  • Industrial plants 95%
  • Industry 45%
  • Industry 4.0 18%
  • Cyber Physical System 16%

• Exploring New Opportunities for Mental Healthcare Through the Internet of Things (IoT)

  Folkerts, G. B., van de Wetering, R., Bosua, R. & Helms, R. W., 2020, Health Information Science: 9th International Conference, HIS 2020, Amsterdam, The Netherlands, October 20–23, 2020, Proceedings. Huang, Z., Siuly, S., Wang, H., Zhou, R. & Zhang, Y. (eds.). Cham: Springer Nature Switzerland AG, p. 35-46 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12435). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 12435).

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

  • Internet of things 100%
  • Health 17%

• Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

  Jongmans, S-S. & Yoshida, N., 2020, Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Müller, P. (ed.). Cham: Springer Open, p. 251-279 29 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12075). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12075).

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

  Open Access

  • Chemical analysis 100%

• File Fragmentation in the Wild: A Privacy-Friendly Approach

  van der Meer, V., Jonker, H., Dols, G., van Beek, H., van den Bos, J. & van Eekelen, M., 16 Mar 2020, 2019 IEEE International Workshop on Information Forensics and Security (WIFS): Proceedings . Delft: IEEE, p. 1-6 6 p.

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

  • Fragmentation 100%
  • Privacy 90%
  • Volunteers 51%
  • Obligation 22%

• Gaining Insight into Determinants of Physical Activity using Bayesian Network Learning

  Tummers, S. C. M. W., Hommersom, A. J., Lechner, E. H. S., Bolman, C. A. & Bemelmans, R., 2020, BNAIC/BeneLearn 2020 : Proceedings. Cao, L., Kosters, W. & Lijffijt, J. (eds.). Leiden: Leiden University, p. 298- 312 15 p.

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

  Open Access

  File

  • Bayesian networks 100%
  • eHealth 30%
  • Electric network analysis 24%
  • Health 17%
  • Machine learning 17%
  350 Downloads (Pure)

• Highly Automated Formal Proofs over Memory Usage of Assembly Code

  Verbeek, F., Bockenek, J. & Ravindran, B., 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 II. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 98-117 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12079).

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

  Open Access

  • Program assemblers 100%
  • Data storage equipment 75%
  • Theorem proving 41%
  • Flow control 29%
  • Data structures 25%

• History-Based Specification and Verification of Java Collections in KeY

  Hiep, H-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 13 Nov 2020, Integrated Formal Methods : 16th International Conference, IFM 2020. Dongol, B. & Troubitsyna, E. (eds.). Lugano, Switzerland: Springer, p. 199-217 19 p. (Lecture Notes in Computer Science).

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

  • Specifications 100%

• Hybrid Analysis of BPEL Models with Grammars

  Jager, E. D. & Gouw, S. D., 2020, Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science : SOFSEM-SRF 2020. Manolopoulos, Y., Papadopoulos, G. A. & Tzouramanis, T. (eds.). Limassol, Cyprus: CEUR-WS.org, Vol. 2568. p. 73-84 12 p. (CEUR Workshop Proceedings).

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

  Open Access

  • Taxation 100%
  • Industry 56%
  • Banking 49%
  • Web services 39%
  • Network protocols 29%

• Identification of IT-Needs to Cope with Dynamism in Collaborative Networked Organizations—A Case Study

  van den Heuvel, R., van de Wetering, R., Bos, R. & Trienekens, J. J. M., 2020, Digital Business Transformation: Organizing, Managing and Controlling in the Information Age. Agrifoglio, R., Lamboglia, R., Mancini, D. & Ricciardi, F. (eds.). Cham: Springer Nature Switzerland AG, p. 219-236 18 p. (Lecture Notes in Information Systems and Organisation, Vol. 38).

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

  • Dynamism 100%
  • Network Dynamics 20%
  • Dynamic Markets 9%
  • Literature Review 9%
  • Management System 6%

• Improving Agility Through Enterprise Architecture Management: The Mediating Role of Aligning Business and IT

  Pattij, M. M., van de Wetering, R. & Kusters, R. J., 2020, AMCIS 2020 Proceedings: the 26th Americas Conference on Information Systems. Association for Information Systems, 10 p. 3

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

  Open Access

  • Enterprise Architecture Management 100%
  • Organizational Agility 68%
  • Agility 68%
  • Alignment 58%
  • Cluster Analysis 46%

• KPI Design as a Simulation Project

  Roubtsova, E. E., Sep 2020, Proceedings of the 32nd European Modeling & Simulation Symposium (EMSS 2020). Affenzeller, M., Bruzzone, A. G., Longo, F. & Petrillo, A. (eds.). Cal-Tek, p. 120-129 10 p.

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

  Open Access

  • Requirements engineering 100%
  • Personnel 65%
  • Industry 37%
  • Experiments 30%

• Online active learning: a comparison of three virtual classroom collaborative learning scenarios

  Janssen, J., Wopereis, I., Swennenhuis, P., Ebus, P., Severeyns - Wijenbergh, H. & van Wijnen, J., 2020, ICERI2020 Proceedings: 13th International Conference of Education, Research and Innovation, November 9th-10th, 2020. Gómez Chova, L., López Martínez, A. & Candel Torres, I. (eds.). Valencia, Spain: IATED, p. 8518-8521 4 p.

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

  File

  • scenario 100%
  • classroom 71%
  • learning 46%
  • Group 18%
  • interactive media 15%
  101 Downloads (Pure)

• Preventing Algorithmic Bias in the Development of Algorithmic Decision-Making Systems: A Delphi Study

  Aysolmaz, B., Iren, D. & Dau, N., 7 Jan 2020, Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020. Honolulu: HICSS, p. 5267-5276 10 p.

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

  Open Access

  • Decision making 100%
  • Ethical aspects 36%
  • Industry 12%

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

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

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

  Open Access

  File

  • Proof by induction 100%
  • Strategy 35%
  • Learning 22%
  • Evaluation 18%
  • Partial 16%
  2 Downloads (Pure)

• Real-Time Multimodal Feedback with the CPR Tutor

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

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

  Open Access

  • Resuscitation 100%
  • Feedback 41%
  • Recurrent neural networks 7%
  • Data streams 7%
  • Time series 6%

• Reference Model for Generic Capabilities in Maturity Models

  Merkus, J., Helms, R. W. & Kusters, R., Sep 2020, ICIME 2020: Proceedings of the 2020 12th International Conference on Information Management and Engineering. New York, NY: Association for Computing Machinery (ACM), p. 10-17 8 p.

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

  • Reference Model 100%
  • Maturity Model 99%
  • Sorting 9%
  • Readiness 9%
  • Charts 8%

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

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

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

  • project 100%
  • bug 64%
  • library 44%
  • communication 36%
  • program 25%

• Scriptless Testing at the GUI Level in an Industrial Setting

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

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

  • Graphical user interfaces 100%
  • Testing 51%
  • Rails 42%
  • Personnel 37%
  • Automation 37%

• Shepherd: A Generic Approach to Automating Website Login

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

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

  Open Access

  • Websites 100%
  • Testing 24%
  • World Wide Web 23%
  • Gages 22%

• Softmax Recurrent Unit: A new type of RNN cell

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

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

  Open Access

  • Recurrent neural networks 100%
  • Experiments 11%

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

• 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

  • Students 100%
  • Robot programming 27%
  • Feedback 24%
  • Flow control 18%

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

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

• TESTOMAT: Next Level of Test Automation

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

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

• The Value Management Platform and ArchiMate –Towards an Integration? An Illustrative Example for Value Stream Mapping

  Poels, G., Nollet, K., Roelens, B. F. C., de Man, H. & van Donge, T., 17 Mar 2020, VMBO 2020: Proceedings of 14th International Workshop on Value Modelling and Business Ontologies. Roelens, B., Laurier, W., Poels, G. & Weigand, H. (eds.). Brussels, Belgium: CEUR-WS, p. 139-148 10 p. (CEUR Workshop Proceedings (CEUR-WS.org), Vol. 2574).

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

  Open Access

  • Industry 100%
  • Specifications 24%
  • Planning 24%

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