Filter
Conference Article in proceeding

Search results

  • 2024

    Analysis and Formal Specification of OpenJDK's BitSet

    Tatman, A. S., Hiep, H.-D. A. & Gouw, S. D., 2024, iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Springer, p. 134-152 19 p. (Lecture Notes in Computer Science, Vol. 14300).

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

  • Design principles for generating and presenting automated formative feedback on code quality using software metrics

    van den Aker, E. & Rahimi, E., 14 Apr 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2024. IEEE Computer Society Press, p. 139-150 12 p. (Proceedings - International Conference on Software Engineering).

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

    Open Access
  • Model-based Probabilistic Diagnosis in Large Cyberphysical Systems

    Lucas, P. J. F., Dal, G. H., Hommersom, A. J. & Grievink, G., 27 Jun 2024, Proceedings of the European Conference of the PHM Society 2024. Do, P. & Ezhilarasu, C. (eds.). 1 ed. PHM Society, Vol. 8. p. 643-654 12 p.

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

  • The Supporting Role of Ecosystem-Oriented Architecture in Digital Transformations: A Scoping Review and Future Research Agenda

    Pattij, M., van de Wetering, R. & Kusters, R. J., May 2024, ECIS 2024 Proceedings. 5.. 2024 ed. AIS Electronic Library, Vol. ECIS. 16 p. 1342

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

  • 2023

    Adopting the digital platform model for citizen services: proposed waves towards a government platform organization

    Vanderbeken, Y., Huygh, T., Bollen, L. H. H. & Helms, R. W., 2023, ECIS 2023 Proceedings. AIS Electronic Library, 10 p. 12

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

    Open Access
  • A Formal Semantics for P-Code

    Naus, N., Verbeek, F., Walker, D. & Ravindran, B., 2023, Verified Software. Theories, Tools and Experiments: 14th International Conference, VSTTE 2022. Lal, A. & Tonetta, S. (eds.). 1 ed. Springer, Cham, p. 111-128 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13800 LNCS).

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

    Open Access
  • A Practical Method to Plan Co-Evolution of Business and Information Technology

    Nodehi, S., Huygh, T., Bollen, L. & Visser, J., 2023, Proceedings of the 25th International Conference on Enterprise Information Systems - (Volume 2). Joaquim Filipe, Michał Śmiałek, Alexander Brodsky & Slimane Hammoudi (eds.). SciTePress, Vol. 2. p. 615-622 8 p. (International Conference on Enterprise Information Systems, ICEIS - Proceedings).

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

    Open Access
  • A quantitative experiment: inter-team retrospectives in scaled agile programs

    Toegl, D., Huygh, T. & de Haes, S., 2023, 36th Bled eConference: Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability, BLED 2023 - Proceedings. Pucihar, A., Borstnar, M. K., Bons, R., Bons, R., Ongena, G., Heikkila, M. & Vidmar, D. (eds.). University of Maribor Press, p. 875-889 15 p. (36th Bled eConference: Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability, BLED 2023 - Proceedings).

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

  • Are some prices more equal than others? Evaluating store-based price differentiation

    Jonker, H., Karsch, S., Krumnow, B. & Meesters, G., Mar 2023, Proceedings Workshop on Measurements, Attacks, and Defenses for the Web (MADWeb) 2023 . Internet Society, p. 1-11 11 p.

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

    Open Access
  • BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries

    Engel, D., Verbeek, F. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 3-20 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 14066).

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

  • Caos: A Reusable Scala Web Animator of Operational Semantics

    Proença, J. & Edixhoven, L., Jun 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S.-S. & Lopes, A. (eds.). Cham: Springer, Vol. 13908. p. 163-171 9 p. (Lecture Notes in Computer Science, Vol. 13908).

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

  • Data governance capabilities: empirical validation in case studies of large organisations

    Merkus, J., Helms, R. W. & Kusters, R. J., Jun 2023, 36th Bled eConference Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability. Pucihar, A., Borštnar, M. K., Bons, R., Ongena, G., Heikkilä, M. & Vidmar, D. (eds.). 1 ed. Bled: University of Maribor Press, p. 35-48 14 p. (36th Bled eConference: Digital Economy and Society: The Balancing Act for Digital Innovation in Times of Instability, BLED 2023 - Proceedings).

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

    Open Access
    File
    62 Downloads (Pure)
  • Determining Optimal Incentive Policy for Decentralized Distributed Systems Using Reinforcement Learning

    Pankovska, E., Sai, A. R. & Vranken, H., 2023, 2023 IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023. Institute of Electrical and Electronics Engineers Inc., 5 p.

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

  • Development and Validation of an Approach for Assessing the Risk and Health of IT Project Portfolios

    Wissenburg, R., Kusters, R. & Martin, H., 3 Dec 2023, 2023 International Conference on Advanced Enterprise Information System (AEIS). IEEE Canada, p. 96-105 10 p. 10483044

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

  • Enterprise Architecture Artifacts’ Role in Improved Organizational Performance

    Grave, F., van de Wetering, R. & Kusters, R. J., Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Shishkov, B. (ed.). 1 ed. Springer, Vol. 483. p. 214-224 11 p. (Lecture Notes in Business Information Processing, Vol. 483).

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

  • Exploring Factors Influencing the Satisfaction of Adult Software Engineering Students with Teamwork in Distance Education

    Rahimi, E., Passier, H. & Stuurman, S., 13 Nov 2023, Proceedings of the 23rd Koli Calling International Conference on Computing Education Research. Mühling, A. & Jormanainen, I. (eds.). ACM Digital Library, 11 p. 3631823

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

    Open Access
  • Gamebrics: Integrating Analytical Rubrics into Serious Games to Teach Analytical Skills

    Huurdeman, H. C., Hummel, H. G. K., Nadolski, R. J., van Lankveld, G., Georgiadis, K., van den Boomen, J. W. M., Kurvers, H. J., Neessen, P. C. M., Pat El, R. J. & Slootmaker, A., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I.-A., Uhomoibhi, J. & McLaren, B. (eds.). SCITEPRESS-Science and Technology Publications, Lda., Vol. 2. p. 403-409 7 p.

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

    Open Access
  • GLICE: Combining Graph Neural Networks and Program Slicing to Improve Software Vulnerability Detection

    Kraker, W. D., Vranken, H. & Hommmersom, A., 2023, 8th IEEE European Symposium on Security and Privacy Workshops. Institute of Electrical and Electronics Engineers Inc., p. 34-41 8 p.

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

  • Introduction to the Minitrack “IT Governance and its Mechanisms” HICSS 56 (2023)

    De Haes, S., Van Grembergen, W., Huygh, T. & Joshi, A., 3 Jan 2023, Proceedings of the 56th Hawaii International Conference on System Sciences. Scholar Space, University of Hawai'i at Manoa, p. 5875-5876 2 p. (Annual Hawaii International Conference on System Sciences. Proceedings).

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

    Open Access
  • IT Project Portfolio Management: Development and Validation of a Reference Model

    Wissenburg, R., Kusters, R. J. & Martin, H. H., 10 May 2023, Proceedings of the 25th International Conference on Enterprise Information Systems - Volume 1, ICEIS 2023. Filipe, J., Smialek, M., Brodsky, A. & Hammoudi, S. (eds.). Lissabon: SCITEPRESS-Science and Technology Publications, Lda., Vol. 1. p. 202-211 10 p.

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

  • IT Project Portfolio Risks: development and validation of a reference model

    Wissenburg, R., Kusters, R. J. & Martin, H. H., 9 Jun 2023, 2022 International Conference on Advanced Enterprise Information System (AEIS). Piscataway, NY, USA: IEEE, p. 60-71

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

  • Low-Level Reachability Analysis Based on Formal Logic

    Naus, N., Verbeek, F., Schoolderman, M. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 21-39 19 p. (Lecture Notes in Computer Science, Vol. 14066).

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

  • Multiparty Session Typing in Java, Deductively

    Bouma, J., de Gouw, S. & Jongmans, S. S., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).

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

    Open Access
  • Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis

    Ferreira, F. & Jongmans, S. S., Jul 2023, ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. Just, R. & Fraser, G. (eds.). Association for Computing Machinery (ACM), p. 1511-1514 4 p. (ISSTA: International Symposium on Software Testing and Analysis. Conference Proceedings).

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

  • Pair-wise selective classification with dynamic sampling for shipment importer prediction

    Chen, X., Tan, D. S., Gupta, P. & Bromuri, S., 7 Sept 2023, ICMLC 2023: Proceedings of the 2023 15th International Conference on Machine Learning and Computing. Association for Computing Machinery, p. 152-157 6 p.

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

    Open Access
  • Reconstructing Timelines: From NTFS Timestamps to File Histories

    Bouma, J., Jonker, H. L., van der Meer, V. & van den Aker, E., 29 Aug 2023, ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security. New York: Association for Computing Machinery (ACM), 9 p. 154

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

    Open Access
  • Relationships between IT Project Portfolio risk and IT Project Portfolio health

    Wissenburg, R., Kusters, R. J. & Martin, H. H., Jul 2023, IEEE 25th Conference on Business Informatics (CBI). Pavlickova, P., Hacks, S. & Mira da Silva, M. (eds.). IEEE, p. 114-123 10 p.

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

  • Shuffling Posets on Trajectories

    Edixhoven, L., 6 Nov 2023, iFM 2023 - 18th International Conference, iFM 2023, Proceedings: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Springer, p. 384-390 7 p. (Lecture Notes in Computer Science, Vol. 14300).

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

  • Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types

    Jongmans, S.-S. & Ferreira, F., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 263. 30 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 263).

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

    Open Access
    File
    27 Downloads (Pure)
  • The Logic of Separation Logic: Models and Proofs

    de Boer, F. S., Hiep, H. D. A. & de Gouw, S., 14 Sept 2023, Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer, p. 407-426 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14278 LNAI).

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

    Open Access
  • Towards Gradual Multiparty Session Typing

    Jongmans, S. S., 5 Jan 2023, ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. Aehnelt, M. & Kirste, T. (eds.). Association for Computing Machinery, 3 p. 146

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

    Open Access
  • Towards Log-Driven Monitoring of Technical Degradation: An ERP Perspective

    van de Griend, P., Kusters, R. J. & Trienekens, J. J. M., 2 Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Shishkov, B. (ed.). 1 ed. Cham: Springer, Vol. 483. p. 330-339 10 p. (Lecture Notes in Business Information Processing, Vol. 483).

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

  • VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs

    van den Bos, P. & Jongmans, S. S., Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). 1 ed. Springer, Cham, p. 321-339 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14000 LNCS).

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

  • What Do Critical Success Factors of Collaboration Really Mean in the Context of DevOps?

    Van Belzen, M., Trienekens, J. J. M. & Kusters, R. J., 2023, ICSEA 2023: The Eighteenth International Conference on Software Engineering Advances . Mannaert, H. & Koci, R. (eds.). International Academy, Research, and Industry Association (IARIA), p. 7-13 7 p.

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

  • 2022

    API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

    Cledou, G., Edixhoven, L., Jongmans, S.-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022., K. A. & , J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

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

    Open Access
  • Branching Pomsets for Choreographies

    Edixhoven, L., Jongmans, S.-S., Proença, J. & Cledou, G., 9 Aug 2022, Proceedings 15th Interaction and Concurrency Experience: ICE'22., C. A., , C. D. G. & , L. S. A. A. S. (eds.). Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 365. p. 37-52 16 p. (Electronic proceedings in theoretical computer science, Vol. 356).

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

    Open Access
  • Comparing Neural Networks for Speech Emotion Recognition in Customer Service Interactions

    Henkel, A. P., Bromuri, S. & Waelbers, B. M. L., 30 Sept 2022, 2022 International Joint Conference on Neural Networks ( IJCNN). IEEE, p. 1-8 8 p.

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

  • Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts

    Ferreira Torres, C., Jonker, H. L. & State, R., 26 Oct 2022, RAID '22: Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses. Association for Computing Machinery (ACM), p. 115-128 14 p.

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

    Open Access
  • Footprint Logic for Object-Oriented Components

    Boer, F. S. D., Gouw, S. D., Hiep, H.-D. A. & Bian, J., 2 Nov 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Tarifa, S. L. T. & Proença, J. (eds.). 1 ed. cham: Springer, Vol. 13712. p. 141-160 20 p. (Lecture Notes in Computer Science).

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

  • Formally verified lifting of C-compiled x86-64 binaries

    Verbeek, F., Bockenek, J., Fu, Z. & Ravindran, B., 9 Jun 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery, p. 934-949 16 p.

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

    Open Access
  • Formal Specification and Verification of JDK's Identity Hash Map Implementation

    Boer, M. D., Gouw, S. D., Klamroth, J., Jung, C., Ulbrich, M. & Weigl, A., 1 Jun 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Beek, M. H. T. & Monahan, R. (eds.). Cham: Springer, Vol. 13274. p. 45-62 18 p. (Lecture Notes in Computer Science).

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

  • How EA Information Drives Digital Transformation: A Multiple Case Study and Framework

    Grave, F., van de Wetering, R. & Kusters, R. J., 15 Nov 2022, Proceedings of the 2022 IEEE 24th Conference on Business Informatics (CBI). Amsterdam: IEEE, Vol. 2. p. 176-185 10 p.

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

  • How gullible are web measurement tools? a case study analysing and strengthening OpenWPM's reliability

    Krumnow, B., Jonker, H. L. & Karsch, S., 30 Nov 2022, CoNEXT '22: Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Giuseppe Bianchi & Alessandro Mei (eds.). New York: Association for Computing Machinery (ACM), p. 171-186 16 p.

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

  • IT Project Portfolio Assessment criteria: development and validation of a reference model

    Wissenburg, R., Kusters, R. J., Martin, H. H. & Evers-Wagemakers, J., 15 Nov 2022, 2022 IEEE 24th Conference on Business Informatics (CBI). IEEE, Vol. 1.

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

  • MPDesign: A Tool for Managing Task Requirements and Process Agent Characteristics in Manufacturing Process Design

    Domagała-Schmidt, Z., van der Vleuten, J., Traganos, K., Vanderfeesten, I. & Grefen, P., Sept 2022, Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2022 co-located with 20th International Conference on Business Process Management (BPM 2022). Janiesch, C., Di Francescomarino, C., Grisold, T., Kumar, A., Mendling, J., Pentland, B., Reijers, H., Weske, M. & Winter, R. (eds.). CEUR-WS, Vol. 3216. p. 142-146 5 p. (CEUR Workshop Proceedings).

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

    Open Access
  • Realisability of Branching Pomsets

    Edixhoven, L. & Jongmans, S.-S., 2 Nov 2022, Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings., S. L. T. T. & , J. P. (eds.). Cham: Springer, Cham, Vol. 13712. p. 185-204 20 p. (Lecture Notes in Computer Science, Vol. 13712).

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

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

  • 2021

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

    Open Access
  • A Mass Customization Approach to Business Process Modularization

    Soetekouw, T., Grefen, P. W. P. J., Turetken, O. & Vanderfeesten, I. T. P., 2021, Proceedings of the IEEE CBI 2021 conference., J. P. A. A., , D. B., , G. G., , M. M., , H. A. P. & , T. P. S. (eds.). IEEE, p. 29-38 10 p.

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

  • Analysis of specifications of multiparty sessions with dcj-lint

    Horlings, E. & Jongmans, S.-S., Aug 2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D., Gousios, G., Chechik, M. & Di Penta, M. (eds.). ACM Digital Library, p. 1590-1594 5 p.

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

    Open Access