Department of Computer 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

  • 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

  • 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

  • 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

  • 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

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

  • 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

  • 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

  • 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

  • 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

  • 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

    Open Access

  • 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

  • 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

  • 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

  • Teachers’ Beliefs and Practices on the Naming of Variables in Introductory Python Programming Courses

    van der Werf, V., Swidan, A., Hermans, F., Specht, M. & Aivaloglou, E., 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. 368-379 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

  • Towards Understanding Students' Sensemaking of Test Case Design: A One-Page Summary

    Doorn, N., Vos, T. E. J. & Marin, B., 2024, Proceedings - 2024 36th International Conference on Software Engineering Education and Training, CSEE and T 2024. Bollin, A., Bosnic, I., Brings, J., Daun, M. & Manjunath, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1 (Software Engineering Education Conference, Proceedings).

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

  • Unilateral Facial Action Unit Detection: Revealing Nuanced Facial Expressions

    Iren, D. & Tan, D. S., 18 Sept 2024, IEEE Affective Computing and Intelligent Interfaces. 9 p.

    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

  • A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests

    Schmid, T., Kappé, T. & Silva, A., 17 Apr 2023, Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Wies, T. (ed.). Springer, p. 309-336 28 p. (Lecture Notes in Computer Science (LNCS), Vol. 13990).

    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

  • A Framework for the Localization of Programming Languages

    Swidan, A. & Hermans, F., 18 Oct 2023, SPLASH-E 2023 - Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E: SPLASH 2023. Feldman, M. Q. & Hilton, M. (eds.). Association for Computing Machinery (ACM), p. 13-25 13 p. (Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E).

    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

  • 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

  • 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

  • Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

    Kappé, T., 2023, Relational and Algebraic Methods in Computer Science. Glück, R., Santocanale, L. & Winter, M. (eds.). Springer, p. 158-175 18 p. (Lecture Notes in Computer Science book series, Vol. 13896).

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

    Open Access

  • Conditional Syntax Splitting for Non-monotonic Inference Operators

    Heyninck, J., Kern-Isberner, G., Meyer, T., Haldimann, J. P. & Beierle, C., 27 Jun 2023, Proceedings of the 37th AAAI Conference on Artificial Intelligence. Williams, B., Chen, Y. & Neville, J. (eds.). 5 ed. AAAI Press, Vol. 37. p. 6416-6424 9 p. (AAAI Conference on Artificial Intelligence. Conference Proceedings , Vol. 37).

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

    Open Access

  • Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract)

    Dell'Anna, D., Alechina, N., Dalpiaz, F., Dastani, M. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). Darmstadt: International Joint Conferences on Artificial Intelligence, p. 6868-6872

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

    Open Access

  • 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

  • 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

  • Dynamic Causality

    Gladyshev, M., Alechina, N., Dastani, M., Doder, D. & Logan, B., 28 Sept 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 867-874 (Frontiers in Artificial Intelligence and Applications, Vol. 372).

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

    Open Access

  • Dynamics of Causal Dependencies in Multi-agent Settings.

    Gladyshev, M., Alechina, N., Dastani, M. & Doder, D., 2023, Engineering Multi-Agent Systems - 11th International Workshop, EMAS 2023, Revised Selected Papers. Ciortea, A., Dastani, M. & Luo, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 95-112 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14378 LNAI).

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

  • Dynamic TopHat: Start and Stop Tasks at Runtime

    Steenvoorden, T. & Naus, N., 29 Aug 2023, IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional Languages. Ney York, NY: Association for Computing Machinery (ACM), p. 1-13 13 p. 13

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

    Open Access

  • ENACTEST project - European Innovation Alliance for Testing Education

    Marín, B., Vos, T. E. J., Snoeck, M., Paiva, A. C. R. & Fasolino, A. R., 2023, Proceedings of the Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023). Font, J., Arcega, L., Reyes-Román, J.-F. & Giachetti, G. (eds.). CEUR-WS, Vol. 3413. p. 91-96 6 p. (CEUR Workshop Proceedings).

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

    Open Access

  • 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