Publications

Tommaso Pacciani, L. Thomas van Binsbergen, Chrysa Papagianni (2026). P4Check: Verification and Debugging for Stateful P4 Programs. Proceedings of the 8th European P4 Workshop (EuroP4 ‘26), to appear.

Christopher Esterhuyse, L. Thomas van Binsbergen, Tim Müller (2026). JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies..

Project Project Project DOI

Christopher Esterhuyse, L. Thomas van Binsbergen, Tim Müller (2025). A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios..

Tommaso Pacciani, Damian Frolich, L. Thomas van Binsbergen, Chrysa Papagianni (2025). P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE ‘25).

Christopher Esterhuyse (2025). Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming..

Project Project DOI

Damian Frolich, Tommaso Pacciani, L. Thomas van Binsbergen (2025). Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages. Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering (SLE ‘25).

Christopher Esterhuyse, L. Thomas van Binsbergen (2024). Cooperative Specification via Composition Control..

Project Project DOI

Milen Girma Kebede, Tim Müller, L. Thomas van Binsbergen, Cees de Laat, Sander Klous (2024). Building a Digital Health Twin for Personalized Intervention: The EPI Project..

Christopher Esterhuyse, Tim Müller, L. Thomas van Binsbergen (2024). JustAct: Actions Universally Justified by Partial Dynamic Policies. Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024).

Project Project Project DOI URL

Milen Girma Kebede, L. Thomas van Binsbergen, Tom van Engers, Dannis G. van Vuurden (2023). Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle. Frontiers in Artifical Intelligence and Applications.

Project Project DOI URL

Reginald Cushing, Xin Zhou, Adam Belloum, Paola Grosso, Tom van Engers, Cees de Laat (2023). Enabling Collaborative Multi-Domain Applications: A Blockchain-Based Solution with Petri Net Workflow Modeling and Incentivization. 2023 IEEE 17th International Conference on eScience (eScience).

Project DOI URL

Xin Zhou, Adam Belloum, Michael H. Lees, Tom van Engers, Cees de Laat (2022). Costly incentives design from an institutional perspective: cooperation, sustainability and affluence. In ProceedingA.

Mostafa Mohajeri Parizi, Giovanni Sileno, Tom van Engers (2022). Preference-Based Goal Refinement in BDI Agents. In AAMAS2022.

Jamila Alsayed Kassem, Adam Belloum, Tim Müller, Paola Grosso (2022). Utilisation Profiles of Bridging Function Chain for Healthcare Use Cases. 2022 IEEE 18th International Conference on eScience (eScience).

Project DOI URL

Zoltan Mann (2022). Security- and Privacy-Aware IoT Application Placement and User Assignment. Computer Security. ESORICS 2021 International Workshops.

Koen van der Zwet, Ana I Barros, Tom van Engers, Peter M A Sloot (2022). Promises and pitfalls of computational modelling for insurgency conflicts. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology.

Christopher Esterhuyse, Tim Müller, L. Thomas van Binsbergen, Adam Belloum (2022). Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution. 2022 IEEE 18th International Conference on e-Science (e-Science).

Project Project DOI URL

L. Thomas van Binsbergen, Milen Girma Kebede, Joshua Baugh, Tom van Engers, Dannis G. van Vuurden (2022). Dynamic generation of access control policies from social policies. Procedia Computer Science.

Zoltan Mann (2022). Decentralized application placement in fog computing. IEEE Transactions on Parallel and Distributed Systems.

Zoltan Mann, Andreas Metzger, Johannes Prade, Robert Seidl, Klaus Pohl (2022). Cost-optimized, data-protection-aware offloading between an edge data center and the cloud. IEEE Transactions on Services Computing.

Mostafa Mohajeri Parizi, L. Thomas van Binsbergen, Giovanni Sileno, Tom van Engers (2022). A Modular Architecture for Integrating Normative Advisors in MAS. Multi-Agent Systems (EUMAS 2022).

Project Project DOI URL

Matteo Pascucci, Giovanni Sileno (2021). Computability of Diagrammatic Theories for Normative Positions. Frontiers in Artificial Intelligence and Applications.

Matteo Pascucci, Giovanni Sileno (2021). Computability of Diagrammatic Theories for Normative Positions. Frontiers in Artificial Intelligence and Applications.

Jonathan Kwik, Tom van Engers (2021). Algorithmic fog of war: When lack of transparency violates the law of armed conflict. Journal of Future Robot Life.

Mostafa Mohajeri Parizi, Giovanni Sileno, Tom van Engers (2021). Seamless Integration and Testing for MAS Engineering. In EMAS2021.

Davide Bellizia, Nadia El Mrabet, Apostolos P. Fournaris, Simon Pontie, Francesco Regazzoni, Francois-Xavier Standaert, Elise Tasso, Emanuele Valea (2021). Post-Quantum Cryptography: Challenges and Opportunities for Robust and Secure HW Design. 2021 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).

Si Gao, Johann Großschädl, Ben Marshall, Dan Page, Thinh Pham, Francesco Regazzoni (2021). An Instruction Set Extension to Support Software-Based Masking. IACR Transactions on Cryptographic Hardware and Embedded Systems.

Giovanni Sileno, Paola Grosso (2021). Accounting Value Effects for Responsible Networking. Proceedings of the ACM SIGCOMM 2021 Workshop on Technologies, Applications, and Uses of a Responsible Internet.

Rosario Cammarota, Francesco Regazzoni (2021). Guest Editors’ Introduction: Special Issue on Top Picks in Hardware and Embedded Security. IEEE Design & Test.

Jaume Abella, Sergi Alcaide, Jens Anders, Francisco Bas, Steffen Becker, Elke De Mulder, Nourhan Elhamawy, Frank K. Gurkaynak, Helena Handschuh, Carles Hernandez, Mike Hutter, Leonidas Kosmidis, Ilia Polian, Matthias Sauer, Stefan Wagner, Francesco Regazzoni (2021). Security, Reliability and Test Aspects of the RISC-V Ecosystem. 2021 IEEE European Test Symposium (ETS).

Primavera De Filippi, Chris Wray, Giovanni Sileno (2021). Smart contracts. Internet Policy Review.

Shivam Bhasin, Siddharth Garg, Francesco Regazzoni (2021). Special Section on Attacking and Protecting Artificial Intelligence. CAAI Transactions on Intelligence Technology.

Andrea Caforio, Fatih Balli, Subhadeep Banik, Francesco Regazzoni (2021). A Deeper Look at the Energy Consumption of Lightweight Block Ciphers. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Matteo Pascucci, Giovanni Sileno (2021). The Search for Symmetry in Hohfeldian Modalities. Diagrammatic Representation and Inference.

Geerten Rijsdijk, Giovanni Sileno (2021). Solving Hofstadter’s Analogies Using Structural Information Theory. Artificial Intelligence and Machine Learning.

Lu Zhang, Reginald Cushing, Ralph Koning, Cees de Laat, Paola Grosso (2021). Profiling and Discriminating of Containerized ML Applications in Digital Data Marketplaces (DDM). Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP.

Project DOI URL

Giovanni Sileno, Alexander Boer, Geoff Gordon, Bernhard Rieder (2021). Like Circles in the Water: Responsibility as a System-Level Function. AI Approaches to the Complexity of Legal Systems XI-XII.

Jamila Alsayed Kassem, Onno Valkering, Adam Belloum, Paola Grosso (2021). EPI Framework: Approach for Traffic Redirection Through Containerised Network Functions. 2021 IEEE 17th International Conference on eScience (eScience).

Project DOI URL

Onno Valkering, Reginald Cushing, Adam Belloum (2021). Brane: A Framework for Programmable Orchestration of Multi-Site Applications. 2021 IEEE 17th International Conference on eScience (eScience).

Project DOI URL

Damian Frolich, L. Thomas van Binsbergen (2021). A Generic Back-End for Exploratory Programming. Trends in Functional Programming.

Milen Girma Kebede, Giovanni Sileno, Tom van Engers (2021). A Critical Reflection on ODRL. AI Approaches to the Complexity of Legal Systems XI-XII.

Xin Zhou, Reginald Cushing, Ralph Koning, Adam Belloum, Paola Grosso, Sander Klous, Tom van Engers, Cees de Laat (2020). Policy Enforcement for Secure and Trustworthy Data Sharing in Multi-domain Infrastructures. 2020 IEEE 14th International Conference on Big Data Science and Engineering (BigDataSE).

Lu-Chi Liu, Giovanni Sileno, Tom van Engers (2020). Digital Enforceable Contracts (DEC): Making Smart Contracts Smarter. Frontiers in Artificial Intelligence and Applications.

L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais (2020). A principled approach to REPL interpreters. Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.

Mostafa Mohajeri Parizi, Giovanni Sileno, Tom van Engers, Sander Klous (2020). Run, Agent, Run! Architecture and Benchmark of Actor-based Agents. In AGERE2020.

Mostafa Mohajeri Parizi, Giovanni Sileno, Tom van Engers (2020). Declarative Preferences in Reactive BDI Agents. In PRIMA2020.

Peter Fratric, Giovanni Sileno, Tom van Engers, Sander Klous (2020). Integrating Agent-Based Modelling with Copula Theory: Preliminary Insights and Open Problems. Computational Science – ICCS 2020.

L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom van Engers (2020). eFLINT: a domain-specific language for executable norm specifications.

Mostafa Mohajeri Parizi, Giovanni Sileno, Tom van Engers (2019). Integrating CP-Nets in Reactive BDI Agents. In PRIMA2019.

Ameneh Deljoo, Ralph Koning, Tom van Engers, Leon Gommans, Cees de Laat (2019). Managing Effective Collaboration in Cybersecurity Alliances Using Social Computational Trust. 2019 3rd Cyber Security in Networking Conference (CSNet).

Yuri Demchenko (2019). Big Data Platforms and Tools for Data Analytics in the Data Science Engineering Curriculum. Proceedings of the 2019 3rd International Conference on Cloud and Big Data Computing.

Yuri Demchenko, Reggie Cushing, Wouter Los, Paola Grosso, Cees de Laat, Leon Gommans (2019). Open Data Market Architecture and Functional Components. 2019 International Conference on High Performance Computing & Simulation (HPCS).

Yuri Demchenko, Luca Comminiello, Gianluca Reali (2019). Designing Customisable Data Science Curriculum Using Ontology for Data Science Competences and Body of Knowledge. Proceedings of the 2019 International Conference on Big Data and Education - ICBDE'19.