Research Program Innovating for Resilience (IFR)

2024

A Method to Align Business Capability Maps and Enterprise Data Models

Severin, S., Roubtsova, E. E., Roelens, B. F. C. & Joosten, S. M. M., 6 Dec 2024, Business Modeling and Software Design: 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1–3, 2024, Proceedings. Shishkov, B. (ed.). Springer Nature Switzerland AG, p. 48-64 17 p. (Lecture Notes in Business Information Processing, Vol. 523).

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

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

Open Access

Electricity Consumption of Ethereum and Filecoin: Advances in Models and Estimates

Pankovska, E., Sai, A. R., Vranken, H. & Ransil, A., 8 Apr 2024, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. ACM Digital Library, p. 269-277 9 p. (Proceedings of the ACM Symposium on Applied Computing).

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

Exploring Immersive Learning Environments in Human-Robot Interaction Use Cases

Majonica, D., Fanchamps, N., Iren, D. & Klemke, R., 2024, Games and Learning Alliance - 12th International Conference, GALA 2023, Proceedings: 12th International Conference, GALA 2023, Dublin, Ireland, November 29 – December 1, 2023, Proceedings. Dondio, P., Rocha, M., Brennan, A., Schönbohm, A., de Rosa, F., Koskinen, A. & Bellotti, F. (eds.). Springer, Cham, p. 267-276 10 p. (Lecture Notes in Computer Science, Vol. 14475).

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

FROM RATIONALISM TO EMPIRICISM IN EDUCATION OF SOFTWARE TESTING USING GAMIFICATION

Doorn, N., Vos, T. E. J. & Marín, B., Mar 2024, INTED2024 Proceedings: 18th International Technology, Education and Development Conference. Gómez Chova, L., González Martínez, C. & Lees, J. (eds.). IATED Academy, p. 3586-3595 10 p.

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

From Value Streams and Capability Maps to Protocol Models and Back

Roubtsova, E. E., 30 Jun 2024, Business Modeling and Software Design: 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1–3, 2024, Proceedings. Shishkov, B. (ed.). Luxembourg: Springer Nature Switzerland AG, p. 32-47 17 p. (Lecture Notes in Business Information Processing, Vol. 523).

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

Informative Speech Features based on Emotion Classes and Gender in Explainable Speech Emotion Recognition

Yildirim, E. & Iren, Y. D., 16 Jan 2024, 11th International Conference on Affective Computing and Intelligent Interaction Workshops and Demos (ACIIW). IEEE

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

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

Security Requirements for Proctoring in Higher Education

Luijben, R., van den Broek, F. & Alpár, G., 2024, EDUCON 2024 - IEEE Global Engineering Education Conference, Proceedings. IEEE Computer Society Press, p. 1-5 (IEEE Global Engineering Education Conference Proceedings, EDUCON).

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

Shaping and evaluating a system for affective computing in online higher education using a participatory design and the system usability scale

Shingjergji, K., Urlings, C., Iren, D. & Klemke, R., Mar 2024, LAK 2024 Conference Proceedings - 14th International Conference on Learning Analytics and Knowledge. Association for Computing Machinery, p. 382-391 10 p. (ACM International Conference Proceeding Series).

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

Open Access

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

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

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

Using Information Technology to Create Sustainable Organizational Constellations

van den Heuvel, R., van de Wetering, R., Bos, R. & Trienekens, J., 2024, Disruptive Innovation in a Digitally Connected Healthy World - 23rd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2024, Proceedings. van de Wetering, R., Helms, R., Roelens, B., Bagheri, S., Dwivedi, Y. K., Pappas, I. O. & Mäntymäki, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 316-327 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14907 LNCS).

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

2023

ACABELLA: Automated (Crypt)analysis of Attribute-Based Encryption Leveraging Linear Algebra

de la Piedra, A., Venema, M. & Alpár, G., 15 Nov 2023, CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. ACM Digital Library, p. 3269-3283 15 p.

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

Open Access

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

Open Access

Analyzing the Role of Ukrainian and Russian Diaspora in Disinformation Campaigns

Maathuis, C., de Ridder, C. & Stuurman, S., 5 May 2023, Proceedings of the 10th European Conference on Social Media. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences International Limited, Vol. 10. p. 153-162 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

Architecting Agility: Unraveling the Impact of AI Capability on Organizational Change and Competitive Advantage

van de Wetering, R., de Weerd-Nederhof, P., Bagheri, S. & Bons, R., 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. 203-213 11 p. (Lecture Notes in Business Information Processing, Vol. 483).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

Open Access

A Systematic Mapping Study of Code Quality in Education

Keuning, H., Jeuring, J. & Heeren, B., 30 Jun 2023, ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 5-11 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, Vol. 1).

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

Augmented Reality and Affective Computing for Nonverbal Interaction Support of the Visually Impaired

Iren, Y. D., Shingjergji, K., Urlings, C. C. J., Klemke, R., Böttger, F., Meindert Osinga, J., van de Goor, S., Bustowski, D. & Passariello-Jansen, J., 25 Mar 2023, Proceedings - 2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2023. IEEE, p. 360- 363 4 p.

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

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

Composing an Initial Domain-Specific Modeling Language Notation by Reusing Icons

Roelens, B., Ebben, R. & de Wetering, R. V., Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Boris Shishkov (ed.). 1 ed. Cham: Springer, Vol. 483. p. 245-255 11 p. (Lecture Notes in Business Information Processing, Vol. 483).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

Open Access

File

84 Downloads (Pure)

Design lessons from building deep learning disinformation generation and detection solutions

Maathuis, C., Kerkhof, I., Godschalk, R. & Passier, H., 19 Jun 2023, Proceedings of the 22nd European Conference on Cyber Warfare and Security. Andreatos, A. & Douligeris, C. (eds.). 1 ed. Academic Conferences International Limited, Vol. 22. p. 285-293 9 p.

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

Open Access

Detecting Design Patterns As Described By An Explicit Specification

van Doorn, E. & Stuurman, S., 2023, SEKE 2023: Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering. KSI Research Inc., p. 218-221 4 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE).

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

Open Access

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

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

Kusters, R., Martin, H. & Wissenburg, R., 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 proceeding › Conference Article in proceeding › Academic › peer-review

Domain TILEs: Test Informed Learning with Examples from the Testing Domain

Doorn, N., Vos, T., Marín, B., Bockisch, C., Dick, S. & Barendsen, E., May 2023, Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference, RCIS 2023, Proceedings. Nurcan, S., Opdahl, A. L., Mouratidis, H. & Tsohou, A. (eds.). 1 ed. Springer, Cham, p. 501-508 8 p. (Lecture Notes in Business Information Processing, Vol. 476 LNBIP).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

Enterprise Modeling with Conventions

Joosten, S. M. M. & Roubtsova, E. E., 4 Jul 2023, Business Modeling and Software Design: 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3–5, 2023, Proceedings. Boris Shishkov (ed.). 1 ed. Cham: Springer, p. 56-73 18 p. (Lecture Notes in Business Information Processing).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

Open Access

First Six Months of War from Ukrainian Topic and Sentiment Analysis

Maathuis, C. & Kerkhof, I., 2023, Proceedings of the 10th European Conference on Social Media, ECSM 2023. Lupa-Wojcik, I. & Czyzewska, M. (eds.). Academic Conferences Ltd, Vol. 10. p. 163-173 11 p. (Proceedings of the 10th European Conference on Social Media, ECSM 2023).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-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 proceeding › Conference Article in proceeding › Academic › peer-review

GLUE: Generalizing Unbounded Attribute-Based Encryption for Flexible Efficiency Trade-Offs

Venema, M. & Alpár, G., 2 May 2023, Public-Key Cryptography – PKC 2023. Boldyreva, A. & Kolesnikov, V. (eds.). Cham: Springer Nature Switzerland AG, Vol. 13940. p. 652-682 31 p. (Lecture Notes in Computer Science (LNCS), Vol. 13940).

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

Influence diagrams in cyber security: Conceptualization and potential applications

Chockalingam, S. & Maathuis, C., 19 Jun 2023, Proceedings of the 22nd European Conference on Cyber Warfare and Security. Andreatos, A. & Douligeris, C. (eds.). 1 ed. Academic Conferences International Limited, Vol. 22. p. 124-131 8 p.

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

Open Access

Interpretable Explainability for Face Expression Recognition

Shingjergi, K., Iren, Y. D., Klemke, R., Urlings, C. C. J. & Böttger, F., 16 Mar 2023, Heterodox Methods for Interpretable and Efficient Artificial Intelligence, 2022. Zenodo, 10 p.

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

Open Access

File

239 Downloads (Pure)

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

Modelling Responsible Digital Security Behaviour for Countering Social Media Manipulation

Maathuis, C. & Chockalingam, S., 2023, Proceedings of the 10th European Conference on Social Media: ECSM 2023. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences Ltd, p. 144-152 9 p. (Proceedings of the European Conference on Social Media, ECSM).

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

Open Access

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

Open Access

Program Synthesis Using Example Propagation

Mulleners, N., Jeuring, J. & Heeren, B., Jan 2023, Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). 1 ed. Springer, Cham, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13880 LNCS).

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

Research Program Innovating for Resilience (IFR)

Research output

Search results