Filter
Conference Article in proceeding

Search results

  • 2021

    Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning

    Tummers, S. C. M. W., Hommersom, A., Lechner, L., Bolman, C. & Bemelmans, R., 20 May 2021, Artificial Intelligence and Machine Learning: 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers. Baratchi, M., Cao, L., Kosters, W. A., Lijffijt, J., van Rijn, J. N. & Takes, F. W. (eds.). Springer Science and Business Media Deutschland GmbH, p. 172-187 16 p. (Communications in Computer and Information Science, Vol. 1398 CCIS).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Generating Functions for Probabilistic Programs

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • HLISA: towards a more reliable measurement tool

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • 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 Annual Hawaii International Conference on System Sciences, HICSS 2021. Bui, T. X. (ed.). Scholar Space, University of Hawai'i at Manoa, p. 6047-6056 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • How Distributed Ledger Technology Can Influence Trust Improving Data Sharing in Collaborative Networks

    van den Heuvel, R., van de Wetering, R., Kruidhof, O., Bos, R. & Trienekens, J., 26 Oct 2021, Exploring Innovation in a Digital World: Cultural and Organizational Challenges. Ceci, F., Prencipe, A. & Spagnoletti, P. (eds.). Springer, p. 62-76 15 p. (Lecture Notes in Information Systems and Organisation, Vol. 51).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • How do Students Test Software Units?

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    File
    152 Downloads (Pure)
  • How EA-Driven Dynamic Capabilities Enable Agility: The Mediating Role of Digital Project Benefits

    van de Wetering, R., Sept 2021, Responsible AI and Analytics for an Ethical and Inclusive Digitized Society. Dennehy, D., Griva, A., Pouloudi, N., Dwivedi, Y. K., Pappas, I. & Mäntymäki, M. (eds.). Cham: Springer International Publishing, p. 397-410 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    82 Downloads (Pure)
  • Identifying SQL Misconceptions of Novices: Findings from a Think-Aloud Study

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Introduction to the minitrack “IT governance and its mechanisms” HICSS 54 (2021)

    de Haes, S., van Grembergen, W., Huygh, T. & Joshi, A., 2021, Proceedings of the 54th Hawaii International Conference on System Sciences. AIS Electronic Library, Vol. 2020. p. 5985-5986 2 p. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • IT ambidexterity and patient agility: the mediating role of digital dynamic capability

    van de Wetering, R., Jun 2021, Proceedings of the Twenty-Ninth European Conference on Information Systems : ECIS 2021. AIS Electronic Library, 20 p. 94

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    50 Downloads (Pure)
  • MOBIUS: Smart Mobility Tracking with Smartphone Sensors

    Di Mitri, D., Asyraaf Mat Sanusi, K., Trebing, K. & Bromuri, S., 2021, Science and Technologies for Smart Cities - 6th EAI International Conference, SmartCity360°, Proceedings. Paiva, S., Lopes, S. I., Zitouni, R., Gupta, N., Lopes, S. F. & Yonezawa, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 462-475 14 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Vol. 372).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Naturalistic Physical Adversarial Patch for Object Detectors

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • PhD Research Design - How Can Organisational Learning Be Leveraged to Enable Antifragility of an Organisation?

    Botjes, E. & Huygh, T., 16 Dec 2021, CIAO! DC 2021 CIAO! Doctoral Consortium, EEWC Forum 2021: Proceedings of the 21st CIAO! Doctoral Consortium, and Enterprise Engineering Working Conference Forum 2021 co-located with 11th Enterprise Engineering Working Conference. Guerreiro , S., Aveiro, D., Proper, H. A., de Vries, M., Mulder, H. & Op't Land, M. (eds.). CEUR-WS.org, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way

    van Zadelhoff, B., Rahimi, E. & Barendsen, E., 18 Nov 2021, Proceedings of 21st Koli Calling International Conference on Computing Education Research, Koli Calling 2021. Seppälä, O. & Petersen, A. (eds.). Association for Computing Machinery (ACM), 10 p. 12

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Privacy as a Service (PraaS): A Conceptual Model of GDPR to Construct Privacy Services

    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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • Prut4j - Protocol Unit Testing fo(u)r Java

    Slob, F. J. & Jongmans, S.-S., 25 May 2021, 2021 IEEE 14th International Conference on Software Testing, Verification and Validation: ICST 2021. IEEE, p. 448-453 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Reproduction for Insight: Towards Better Understanding the Quality of Students Tests

    Lawende, M., Passier, H. J. M. & Alpár, G., 26 Jun 2021, ITiCSE 2021 - Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: ACM Digital Library, Vol. 1. p. 213-219 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

  • Sense the classroom: AI-supported synchronous online education for a resilient new normal

    Shingjergi, K., Iren, Y. D., Urlings, C. C. J. & Klemke, R., 18 Jan 2021, European Association of Technology Enhanced Learning (EATEL) 2021: EC-TEL Doctoral Consortium. Fominykh, M. & Aristeidou, M. (eds.). CEUR-WS.org, Vol. 3076. p. 64-70 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • Toward a Reference Architecture for Traceability in SBVR-based Systems

    Rutledge, L. W. & Italiaander, R. H. J., 8 Sept 2021, Proceedings of the Seventh International Workshop on Controlled Natural Language: CNL 2020/21. Special Interest Group on Controlled Natural Language

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    File
    245 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

  • 2020

    Agent-based Testing of Extended Reality Systems

    Prada, R., Prasetya, I. S. W. B., Kifetew, F. M., Dignum, F., Vos, T. E. J., Lander, J., Donnart, J.-Y., Kazmierowski, A., Davidson, J. & Fernandes, P. M., Aug 2020, Proceedings: 2020 IEEE 13th International Conference on Software Testing, Verification and Validation: ICST 2020. IEEE, p. 414-417 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    197 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 proceedingConference Article in proceedingAcademicpeer-review

  • Applying Scrum in Data Science Projects

    Baijens, J., Helms, R. W. & Iren, D., 2020, Proceedings of 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    1596 Downloads (Pure)
  • A Reference Model for a Service Level Agreement: In domain of Information Sharing Services

    Hofman, 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, Vol. 391. p. 55-68 14 p. (Lecture Notes in Business Information Processing, Vol. 391).

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    45 Downloads (Pure)
  • 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. Schrijvers, T. (ed.). New York, NY, USA: Association for Computing Machinery, p. 67–79 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    170 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    172 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    329 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    43 Downloads (Pure)
  • Data Analytics Project Methodologies: Which one to choose?

    Baijens, J., Helms, R. W. & Kusters, R., 15 May 2020, Proceedings of the 2020 International Conference on Big Data in Management (ICBDM 2020). ACM Digital Library, p. 41-47 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    130 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 - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (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 proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    110 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 proceedingConference Article in proceedingAcademicpeer-review

  • 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, 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    193 Downloads (Pure)
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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. & 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    2712 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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, Proceedings: 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 proceedingConference Article in proceedingAcademicpeer-review

  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
    File
    103 Downloads (Pure)
  • Improving Agility Through Enterprise Architecture Management: The Mediating Role of Aligning Business and IT

    Pattij, 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access
  • KPI Design as a Simulation Project

    Roubtsova, E. E., Sept 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 proceedingConference Article in proceedingAcademicpeer-review

    Open Access