Faculty of Science

Filter
Conference Article in proceeding

Search results

  • 2025

    Abstract Dialectical Frameworks are Boolean Networks

    Heyninck, J., Knorr, M. & Leite, J., 2025, Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Proceedings. Dodaro, C., Gupta, G. & Martinez, M. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 98-111 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15245 LNAI).

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

  • An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships

    Killen, S., You, J. H. & Heyninck, J., 11 Apr 2025, Special Track on AI Alignment. Walsh, T., Shah, J. & Kolter, Z. (eds.). 14 ed. Association for the Advancement of Artificial Intelligence, p. 15033-15040 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 14, Vol. 39).

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

  • Data Governance Capabilities Model: Empirical Validation for Perceived Usefulness and Perceived Ease of Use in Three Case Studies of Large Organisations

    Merkus, J., Helms, R. W. & Kusters, R. J., May 2025, Proceedings of the 27th International Conference on Enterprise Information Systems. Filipe, J., Śmiałek, M., Brodsky, A. & Hammoudi, S. (eds.). Porto, Portugal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 1. p. 99-108 10 p.

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

    Open Access

  • Discourje: Run-Time Verification of Communication Protocols in Clojure — Live at Last

    Jongmans, S. S., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 158-166 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14934 LNCS).

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

    Open Access

  • Knowledge Compilation for KLM-Style Defeasible Reasoning

    Slater, L., Meyer, T. & Heyninck, J., 2025, Artificial Intelligence Research - 5th Southern African Conference, SACAIR 2024, Proceedings. Gerber, A., Maritz, J. & Pillay, A. W. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 2326. p. 493-508 16 p. (Communications in Computer and Information Science, Vol. 2326 CCIS).

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

  • Probabilistic Strategy Logic with Degrees of Observability

    Mu, C., Motamed, N., Alechina, N. & Logan, B., 11 Apr 2025, Special Track on AI Alignment. Walsh, T., Shah, J. & Kolter, Z. (eds.). 14 ed. Association for the Advancement of Artificial Intelligence, p. 15092-15099 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 14, Vol. 39).

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

  • Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D. & Logan, B., 11 Apr 2025, Special Track on AI Alignment. Walsh, T., Shah, J. & Kolter, Z. (eds.). 14 ed. Association for the Advancement of Artificial Intelligence, p. 14949-14957 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 14, Vol. 39).

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

  • Transparency of AI-XR Systems: Insights from Experts

    Maathuis, C. & Datcu, D., 26 Feb 2025, Proceedings - 2025 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2025. Institute of Electrical and Electronics Engineers Inc., p. 301-306 6 p. (Proceedings - IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR).

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

  • 2024

    A Meta-Design Method for Modeling Customer Value

    Sniekers, W. & Roelens, B., 2024, Advanced Information Systems Engineering Workshops - CAiSE 2024 International Workshops, 2024, Proceedings. Almeida, J. P. A., Di Ciccio, C. & Kalloniatis, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 307-318 12 p. (Lecture Notes in Business Information Processing, Vol. 521).

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

  • 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

  • An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game

    Pastor Ricós, F., Marín, B., Prasetya, I. S. W. B., Vos, T. E. J., Davidson, J. & Hovorka, K., 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 393-409 17 p. (Lecture Notes in Business Information Processing, Vol. 513).

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

  • Autoencoder for Detecting Malicious Updates in Differentially Private Federated Learning

    Alonso, L. & Alishahi, M., 2024, Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT 2024. Di Vimercati, S. D. C. & Samarati, P. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 467-474 8 p. (Proceedings of the International Conference on Security and Cryptography).

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

    Open Access

  • Automated Scriptless GUI Testing Aligned with Requirements and User Stories

    Karimi, M., 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 131-140 10 p. (Lecture Notes in Business Information Processing, Vol. 514 LNBIP).

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

  • Bayesian Networks in Medicine: Presenting Query Response Uncertainty for Decision Support

    Bolt, J. H., Berghuis, A., Hommersom, A., Lombaers, M., Pijnenborg, J. M. A. & Renooij, S., 2024, Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024). Calimeri, F., Dragoni, M. & Stella, F. (eds.). CEUR-WS.org, Vol. 3880. (CEUR Workshop Proceedings).

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

    Open Access

  • Collective Attacks in Assumption-Based Argumentation

    Arieli, O. & Heyninck, J., 8 Apr 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, p. 746-753 8 p. (Proceedings of the ACM Symposium on Applied Computing).

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

    Open Access

  • Critical Success Factors for Business Intelligence Across BI Maturity Levels in Startups

    Henn, S. & Bagheri, S., 2024, ECIS 2024 proceedings. AIS Electronic Library, 16 p. 15

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

    Open Access

  • Data Migration Under a Changing Schema in Ampersand

    Joosten, S. & Joosten, S., 2024, Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Proceedings. Fahrenberg, U., Fussner, W. & Glück, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 175-192 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14787 LNCS).

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

  • Design of a Disinformation Awareness Digital Game

    Maathuis, C., Janssens, F. & Rahimi, E., 2024, 11th European Conference on Social Media , ECSM 2024. 1 ed. Academic Conferences International Limited, Vol. 11. p. 127-136 10 p.

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

    Open Access

  • 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

  • Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries

    Bockenek, J., Verbeek, F. & Ravindran, B., 2024, Detection of Intrusions and Malware, and Vulnerability Assessment - 21st International Conference, DIMVA 2024, Proceedings. Maggi, F., Egele, M., Payer, M. & Carminati, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14828 LNCS).

    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

  • Governing an Unexpected Potential Ending of a Strategic IT Sourcing Partnership: Picking up the Right Signals

    Kamminga, P. E. & Martin, H., 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. 197-209 13 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

  • Grammar-Based Action Selection Rules for Scriptless Testing

    Hufkens, L. V., Pastor Ricos, F., Marin, B. & Vos, T. E. J., 10 Jun 2024, AST '24: Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024). Association for Computing Machinery, Inc, p. 56-65 10 p.

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

    Open Access

  • 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

  • Intention Progression with Temporally Extended Goals

    Yao, Y., Alechina, N. & Logan, B., 9 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. Larson, K. (ed.). p. 292-301 10 p.

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

  • Introduction to the Minitrack “IT Governance and its Mechanisms” HICSS 57 (2024)

    De Haes, S., Huygh, T. & Joshi, A., 2024, Proceedings of the 57th Hawaii International Conference on System Sciences. AIS Electronic Library, p. 6510-6512 3 p. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

    Open Access

  • Local Differential Privacy for Data Clustering

    Bruder, L. & Alishahi, M., 2024, Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT 2024. Di Vimercati, S. D. C. & Samarati, P. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 820-825 6 p. (Proceedings of the International Conference on Security and Cryptography).

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

    Open Access

  • Maximally Permissive Reward Machines

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 16 Oct 2024, ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings: 27th European Conference on Artificial Intelligence 19–24 October 2024, Santiago de Compostela, Spain . Endriss, U., Melo, F. S., Bach, K., Bugarín-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (eds.). IOS Press BV, Vol. 392. p. 1181-1188 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 392).

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

    Open Access

  • Membership Inference Attacks Against Indoor Location Models

    Moghtadaiee, V., Fathalizadeh, A. & Alishahi, M., 2024, Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT 2024. Di Vimercati, S. D. C. & Samarati, P. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 584-591 8 p. (Proceedings of the International Conference on Security and Cryptography).

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

    Open Access

  • Novelty-Driven Evolutionary Scriptless Testing

    Hufkens, L. V., Vos, T. E. J. & Marín, B., 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 100-108 9 p. (Lecture Notes in Business Information Processing, Vol. 514 LNBIP).

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

  • Parsons Problems for Equivalence Proofs in Logic

    van den Berg, M., Heeren, B. J. & Rahimi, E., 13 Nov 2024, Koli Calling '24: The 24th Koli Calling International Conference on Computing Education Research. ACM Digital Library, p. 1-12 10

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

    Open Access

  • Ph.D. Forum: Intelligent Home Energy Management: Developing AI-Driven Systems for Sustainable Living

    Sheng, Y., 4 Nov 2024, SenSys 2024: Proceedings of the 2024 ACM Conference on Embedded Networked Sensor Systems. Association for Computing Machinery, Inc, p. 914-915 2 p.

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

    Open Access

  • Pixels Who Violate Our Privacy! Deep Learning for Identifying Images’ Key Pixels

    Veenker, C., Opdam, D. & Alishahi, M., 2024, Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, 2023, Revised Selected Papers. Katsikas, S., Abie, H., Ranise, S., Verderame, L., Cambiaso, E., Ugarelli, R., Praça, I., Li, W., Meng, W., Furnell, S., Katt, B., Pirbhulal, S., Shukla, A., Ianni, M., Dalla Preda, M., Choo, K.-K. R., Pupo Correia, M., Abhishta, A., Sileno, G., Alishahi, M., Kalutarage, H. & Yanai, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 552-568 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14399 LNCS).

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

  • Poster: Formally Verified Binary Lifting to P-Code

    Naus, N., Verbeek, F., Atla, S. & Ravindran, B., 9 Dec 2024, CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security. Luo, B., Liao, X. & Xu, J. (eds.). ACM Digital Library, p. 4973-4975 3 p.

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

  • Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced

    Seraj, M., Verano Merino, M., Rahimi, E. & Ochoa Venegas, L., 17 Oct 2024, SPLASH-E 2024: 2024 ACM SIGPLAN International Symposium on SPLASH-E. Hermans, F. & Bohrer, R. (eds.). p. 45-55

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

    Open Access

  • Public Value-Driven Assessment of Trustworthy AI in the Public Sector: A Review

    Bagheri, S. & Dirksen, V. M., 10 Sept 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. van de Wetering, R., Helms, R., Roelens, B., Bagheri, S., Dwivedi, Y. K., Pappas, I. O. & Mäntymäki, M. (eds.). Springer, Cham, p. 3-13 (Lecture Notes in Computer Science, Vol. 14907).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Professional

  • Pure-Past Action Masking

    Varricchione, G., Alechina, N. A., Dastani, M., De Giacomo, G., Logan, B. & Perelli, G., 25 Mar 2024, Proceedings of the 38th AAAI International Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). 19 ed. Association for the Advancement of Artificial Intelligence, Vol. 38. p. 21646-21655 10 p.

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

    Open Access

  • Reinforcement Learning and Fuzzy Logic Modelling for Personalized Dynamic Treatment

    Locatelli, M., Cerioli, R. C., Besozzi, D., Hommersom, A. & Stella, F., 2024, Proceedings of the 3rd AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2024). Calimeri, F., Dragoni, M. & Stella, F. (eds.). CEUR-WS.org, Vol. 3880. (CEUR Workshop Proceedings).

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

    Open Access

  • Revising Beliefs and Intentions in Stochastic Environments

    Motamed, N., Alechina, N., Dastani, M. & Doder, D., 9 Aug 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. Larson, K. (ed.). p. 3513-3522 10 p.

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

  • RPA Ready? Unlocking Organizational RPA Readiness

    Bagheri, S. & van de Wetering, R., 10 Sept 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. van de Wetering, R., Helms, R., Roelens, B., Bagheri, S., Dwivedi, Y. K., Pappas, I. O. & Mäntymäki, M. (eds.). Springer, Cham, p. 14-28 15 p. (Lecture Notes in Computer Science, Vol. 14907).

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

  • Run-time Monitoring for Robot-Assisted Surgery

    Gogoladze, K., Alechina, N., Hu, Z. J., Xu, H., van Jaarsveld, R. & Ruurda, J. P., 2024, OVERLAY 2024. CEUR, p. 127-133 7 p.

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

  • Scriptless and Seamless: Leveraging Probabilistic Models for Enhanced GUI Testing in Native Android Applications

    Rodríguez-Valdés, O., van der Vlist, K., van Dalen, R., Marín, B. & Vos, T. E. J., 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 83-91 9 p. (Lecture Notes in Business Information Processing, Vol. 514 LNBIP).

    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

  • Semantics for Non-Flat Assumption-Based Argumentation, Revisited

    Heyninck, J. & Arieli, O., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (ed.). International Joint Conferences on Artificial Intelligence, p. 3413-3420 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    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