Faculty of Science

Research output

Research output per year 1989 2021

• 294 Conference article in proceeding
• 289 Article
• 61 Chapter
• 45 Paper
• 173 More
  • 20 Commissioned report
  • 20 Review article
  • 18 Technical report
  • 17 Doctoral Thesis
  • 14 Abstract
  • 14 Poster
  • 10 Editorial
  • 9 Conference Abstract/Poster in journal
  • 8 Book
  • 7 Comment/Letter to the editor
  • 6 Book editing
  • 6 Conference Abstract/Poster in proceeding
  • 5 Inaugural speech
  • 5 Conference article in journal
  • 3 Foreword/postscript
  • 3 Book/Film/Article review
  • 3 Web publication/site
  • 1 Deliverable
  • 1 Entry for encyclopedia/dictionary
  • 1 Literature review
  • 1 Discussion paper
  • 1 Working paper

Research output per year

Research output per year

Search results

• 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

  • Electronic Health Records
  • Focus Groups
  • Lenses

• 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
  • Industry
  • Testing

• 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
  • Software engineering
  • Big data
  • Decision making

• 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

  • Service Level Agreement
  • Reference Model
  • Information Sharing

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

• 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
  • Education
  • Students

• 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
  • working group
  • programming
  • teacher
  • classroom

• 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
  • education
  • programming
  • educator
  • examination

• 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
  • Decision Making
  • Industry
  • Business Process
  • Business Concept

• 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
  • Methodology
  • Big Data
  • Expected Value
  • Grouping

• 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
  • Graphical user interfaces
  • Testing
  • Industry
  • Automation

• 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

  • Enterprise Architecture
  • Mediation
  • Business Transformation
  • Theory Building
  • Strategic Objectives

• 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
  • Industrial plants
  • Industry
  • Industry 4.0
  • Cyber Physical System

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

• 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

• 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
  • Privacy
  • Volunteers
  • Obligation

• 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
  • eHealth
  • Electric network analysis
  • Machine learning
  • Health
  63 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
  • Data storage equipment
  • Theorem proving
  • Flow control
  • Data structures

• 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

• 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
  • Industry
  • Web services
  • Network protocols

• 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
  • Network Dynamics
  • Dynamic Markets
  • Literature Review
  • Management System

• 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
  • Organizational Agility
  • Agility
  • Alignment
  • Cluster Analysis

• 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
  • Personnel
  • Industry
  • Experiments

• 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
  • classroom
  • learning
  • Group
  • interactive media
  33 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
  • Industry

• 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
  • Strategy
  • Learning
  • Evaluation
  • Partial
  1 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
  • Feedback
  • Recurrent neural networks
  • Time series
  • Kinematics

• 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

  • Maturity Model
  • Reference Model
  • Information Systems
  • Sorting
  • Readiness

• 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
  • bug
  • library
  • communication
  • monitoring

• 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
  • Testing
  • Rails
  • Automation
  • Personnel

• 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
  • Testing
  • World Wide Web
  • Gages

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

• 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
  • Acoustic waves
  • Virtual machine
  • Process control
  • Recovery

• 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
  • Robot programming
  • Feedback
  • Flow control

• 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
  • Smartphones
  • Network protocols

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

• 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
  • Specifications
  • Planning

• 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
  • career
  • Teaching
  • teacher
  • teacher shortage

• Towards a Framework for Data Analytics Governance Mechanisms

  Baijens, J., Helms, R. W. & Velstra, T., 2020, Proceedings of the 28th European Conference on Information Systems (ECIS2020). AIS Electronic Library, 16 p. 81

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

  • Data Analytics
  • Governance Mechanisms
  • Governance
  • IT Governance
  • Literature Review

• Towards a Viable System Model-based Organizing Logic for IT Governance

  Huygh, T. & De Haes, S., 2020, Proceedings of International Conference on Information Systems ICIS 2020: ICIS 2020 PROCEEDINGS. Hyderabad, India: AIS Electronic Library, 2211

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

  • Viable System Model
  • IT Governance
  • Organizing
  • Logic
  • IT Business Value

• 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
  • Specifications
• 2019

  A Data-Driven Exploration of Hypotheses on Disease Dynamics

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

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

  • Unsupervised learning
  • Hidden Markov models

• A Functional Taxonomy of Logic Puzzles

  Hufkens, L. V. & Browne, C., 26 Sep 2019, IEEE Conference on Games 2019. Perez Liebana, D. & Mostaghim, S. (eds.). IEEE, p. 642-645 4 p.

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

  Open Access

  File

  • Taxonomies
  9 Downloads (Pure)

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

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

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

  Open Access

  • Static analysis
  • Information technology
  • Compliance
  • Software engineering

• Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise Architectures

  Dijkstra, R. & Roubtsova, E. E., 2019, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering: May 4-5, 2019, in Heraklion, Crete, Greece. E. D., G. S. & L. M. (eds.). Heraklion, Crete, Greece: SCITEPRESS-Science and Technology Publications, Lda., p. 226-233

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

  Open Access

  • Industry

• A Pattern Language for Value Modeling in ArchiMate

  Sales, T. P., Roelens, B. F. C., Poels, G., Guizzardi, G., Guarino, N. & Mylopoulos, J., 29 May 2019, Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings. Giorgini, P. & Weber, B. (eds.). Cham: Springer, p. 230-245 16 p. (Lecture Notes in Computer Science, Vol. 11483).

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

  Open Access

  File

  • Ontology
  • Industry
  • Demonstrations
  • Costs
  78 Downloads (Pure)