Papers, reports and much more
On this page, you can find all the scientific publications (papers, reports…) produced by the consortium to promote and explain the project research.
- Knowledge Distillation-Driven Federated Learning as a Service for Resource-Constrained Edge Intelligence by F. Vannella, T. Chu, D. Solans Noguero, S. Spantideas. IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS 2026)
- Denotational reasoning for asynchronous multiparty session types by D. McDermott, N. Yoshida. 35th European Symposium on Programming (ESOP 2026) conference
- Compositional Design, Implementation, and Verification of Swarms by F. Furbach, L. Clorius, R. Kuhn, H. Melgratti, A. Scalas, E. Tuosto. 40th European Conference on Object-Oriented Programming (ECOOP 2026)
- NEST: Network Enforced Session Types by J. K. Larsen, A. Scalas, G. Amir, J. Jacobs, J. Wagemaker, N. Foster. 40th European Conference on Object-Oriented Programming (ECOOP 2026)
- Dolev-Yao Information Flow by S. T. Lund, S. Mödersheim. 2026
- The Parameterized Complexity of Computing the VC-Dimension by F. Foucaud, H. Gahlawat, F. Mc Inerney, P. Tale. Advances in Neural Information Processing Systems (NeurIPS 2025) conference, 02-07 December 2025
- Generic Algorithm for Universal TDM Communication Over Inter Satellite Links by M. Popović, M. Popović, P. Vasiljević, I. Bašičević. 33rd Telecommunications Forum (TELFOR) conference, 25-26 November 2025
- Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links by M. Popović, M. Popović, P. Vasiljević, M. Đukić. 33rd Telecommunications Forum (TELFOR) conference, 25-26 November 2025
- On Asynchronous Multiparty Session Types for Federated Learning by P. Ivan, P. Simona, G. Silvia, S. Alceste, Y. Nobuko. ICTAC 2025 conference, 24-28 November 2025
- Decentralized reconfiguration management in distributed clouds by M. Simić, B. Lauš, T. Ranković. ICIST 2025 conference, 16-17 October 2025
- Monitoring the distributed cloud: Metric collection and aggregation by T. Ranković, N. Pokornić, A. Pavlović, M. Simić. ICIST 2025 conference, 16-17 October 2025
- Protocol-aware cloud gateway with adaptive rate control by I. Kovačević, V. Milić, I. Knežević, T. Ranković, M. Simić. International Conference on Software Engineering Advances (ICSEA 2025), 28 September – 02 October 2025
- A monitoring system for collecting and aggregating metrics from distributed clouds by T. Ranković, M. Rilak, J. Rakonjac, M. Simić. 2025 IEEE 23rd Jubilee International Symposium on Intelligent Systems and Informatics (SISY) conference, 25-27 September 2025
- A Structural Complexity Analysis of Hierarchical Task Network Planning by C. Brand, R. Ganian, F. Mc Inerney, S. Wietheger. Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025), 16-22 August 2025
- Grading call-by-push-value, explicitly and implicitly by D. McDermott. 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) conference, 15-18 July 2025
- Ensuring Convergence and Invariants Without Coordination by D. Borrego, N. Preguiça, E. Gonzalez Boix, C. Ferreira. 39th European Conference on Object-Oriented Programming (ECOOP 2025) conference, 30 June – 04 July 2025
- Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT by M. Popović, M. Popović, M. Đukić, I. Bašičević. 48th ICT and Electronics Convention MIPRO 2025 conference, 05 June 2025
- Federated Isolation Forest for Efficient Anomaly Detection on Edge IoT Systems by P. Vasiljević, M. Matić, M. Popović. 2025 Zooming Innovation in Consumer Technologies International Conference (ZINC), 28 May 2025
- Iso-Recursive Multiparty Sessions and their Automated Verification by M. Giunti, N. Yoshida. 34th European Symposium on Programming (ESOP 2025) conference, 3-8 May 2025
- Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT by M. Đukić, I. Prokić, M. Popović, S. Ghilezan, M. Popović, S. Prokić. International Journal on Software Tools for Technology Transfer journal, 25 April 2025
- Parameterized Complexity of Caching in Networks by R. Ganian, F. Mc Inerney, D. Tsigkari. AAAI 2025 conference, 11 April 2025
- Towards Local-First Distributed Property Graphs by A. Pandey, S. Dumbrava, M. Shapiro, C. Ferreira, M. Pereira, N. Preguiça. 12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC ’25), 31 March 2025
- ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs by D. Borrego, A. Vilalonga, H. Domingos, N. Preguiça, E. Gonzalez Boix, C. Ferreira. 12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC ’25), 31 March 2025
- Minimization of the Training Makespan in Hybrid Federated Split Learning by J. Tirana, D. Tsigkari, G. Iosifidis, D. Chatzopoulos. IEEE Transactions on Mobile Computing journal, 23 January 2025
- Data Overlay Mesh in Distributed Clouds Allowing Collaborative Applications by M. Simić, J. Dedeić, M. Stojkov, I. Prokić. IEEE Access journal, 7 January 2025
- PSPSP: A Tool for Automated Verification of Stateful Protocols in Isabelle/HOL by A. Hess, S. Mödersheim, A. Brucker, A. Schlichtkrull. Journal of Computer Security (JCS) 2025
- Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites by M. Popović, M. Popović, M. Đukić, I. Bašičević. Proceedings of the 32nd Telecommunications Forum (TELFOR 2024), 27 November 2024
- MicroPython Testbed for Federated Learning Algorithms by M. Popović, M. Popović, I. Kaštelan, M. Đukić, I. Bašičević, P. Vasiljević. Proceedings of the 32nd Telecommunications Forum (TELFOR 2024), 27 November 2024
- Tackling heavy-tailed noise in distributed estimation: Asymptotic performance and tradeoffs by D. Bajović, D. Jakovetić, S. Kar, M. Vuković. Proceedings of the 32nd Telecommunications Forum (TELFOR 2024), 27 November 2024
- Misconfiguration Prevention and Error Cause Detection for Distributed-Cloud Applications by T. Ranković, F. Šiljić, J. Tomić, G. Sladić, M. Simić. SISY 2024, Pula, Croatia, 05 November 2024
- Distributed Gradient Clustering: Convergence and the Effect of Initialization by A. Armacki, H. Sharma, D. Bajović, D. Jakovetić, M. Chakraborty, S. Kar. ACSSC 2024, Pacific Grove, CA, USA, 30 October 2024
- Configuration Management in the Distributed Cloud by T. Ranković, I. Kovačević, V. Maksimović, G. Sladić, M. Simić. Proceedings of the ICIST 2024, Kopaonik, Serbia, 30 September 2024
- Fair Join Pattern Matching for Actors by P. Haller, A. Hussein, H. Melgratti, A. Scalas, E. Tuosto. Proceedings of the 38th European Conference on Object-Oriented Programming (ECOOP 2024), September 2024
- PTB-FLA Development Paradigm Adaptation for Generative Large Language Models by M. Popovic, M. Popovic, I. Kastelan, M. Djukic, I. Basicevic. Research article for the “Computer Science and Information Systems: ComSIS” journal, September 2024
- Machine learning in orbit estimation: A survey by F. Caldas, C. Soares. Research article for the “Acta Astronautica, Volume 220“, July 2024
- Lightweight Inference by Neural Network Pruning: Accuracy, Time and Comparison by I. Paralikas, S. Spantideas, A. Giannopoulos, P. Trakadas. Proceedings of the IFIP International Conference on Artificial Intelligence Applications and Innovations, 22 June 2024
- Accountable Banking Transactions by S. Mödersheim, S. Chen. Proceedings of the Open Identity Summit 2024 (OID2024), 20-21 June 2024
- COTS: Connected OpenAPI Test Synthesis for RESTful Applications by C. Bartolo Burlò, A. Francalanza, E. Tuosto, A. Scalas. Proceedings of the 26th International Conference on Coordination Models and Languages (COORDINATION 2024), 18-20 June 2024
- Deep Reinforcement Learning for Smart Home Temperature Comfort in IoT-Edge Computing Systems by M. Christopoulos, S. Spantideas, A. Giannopoulos, P. Trakadas. Proceedings for the 1st International Workshop on MetaOS for the Cloud-Edge-IoT Continuum (MECC 2024), 22 April 2024
- Token-based identity management in the distributed cloud by I. Kovačević, T. Ranković, M. Stojkov, M. Simić. ICIST 2024, Kopaonik, Serbia, 13 March 2024
- Polymorphic network structures allowing distributed clouds by M. Simić, M. Stojkov, T. Ranković, G. Sladić, M. Zarić. ICIST 2024, Kopaonik, Serbia, 13 March 2024
- A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds by M. Simić, J. Dedeić, M. Stojkov, I. Prokić. Research article for the “IEEE Access, Volume 12” journal, February 2024
- Empowering 6G maritime communications with distributed intelligence and over-the-air model sharing by M. Zetas, S. Spantideas, A. Giannopoulos, N. Nomikos, P. Trakadas. Research article for “Frontiers in Communications and Networks – Sec. Wireless Communications” journal, January 2024
- Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT by M. Popović, M. Popović, I. Kaštelan, M. Đukić, I. Bašičević. Proceedings of the 31st Telecommunications Forum (TELFOR 2023), 21-22 November 2023
- Over-the-Air Computation with Quantized CSI and Discrete Power Control Levels by C. Tsinos, S. Spantideas, A. Giannopoulos, P. Trakadas. Research article for the “Wireless Communications and Mobile Computing” journal, 13 November 2023
- P4R-Type: A Verified API for P4 Control Plane Programs by J. Kanstrup Larsen, R. Guanciale, P. Haller, A. Scalas. Proceedings of the Object-Oriented Programming, Systems, Languages & Applications 2023 (OOPSLA 2023), 25-27 October 2023
- P4R-Type by J. Kanstrup Larsen, R. Guanciale, P. Haller, A. Scalas. Proceedings of the Object-Oriented Programming, Systems, Languages & Applications 2023 (OOPSLA 2023), 25-27 October 2023
- Data-Dependent Confidentiality in DCR Graphs by E. Geraldo, J. Costa Seco, T. Hildebrandt. Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023), 22-23 October 2023
- Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP by I. Prokić, S. Ghilezan, S. Prokić, M. Popović, M. Popović, I. Kaštelan. Proceedings of the 8th International Conference of Engineering of Computer-Based Systems (ECBS 2023), 16-18 October 2023
- A Federated Learning Algorithms Development Paradigm by M. Popović, M. Popović, I. Kaštelan, M. Đukić, I. Bašičević. Proceedings of the 8th International Conference of Engineering of Computer-Based Systems (ECBS 2023), 16-18 October 2023
- Programming language implementations with multiparty session types by N. Yoshida. Paper for the ABS Workshop in Lyon, France, 04 October 2023
- AtomiS: Data-Centric Synchronization Made Practical by H. Paulino, A. Almeida Matos, J. Cederquist, M. Giunti, J. Matos, A. Ravara. Research article of the “ACM on Programming Languages, Volume 7”, October 2023
- Flocking to Mastodon: Tracking the Great Twitter Migration by J. He, H. Bin Zia, I. Castro, A. Raman, N. Sastry, G. Tyson. Proceedings of the 2023 ACM on Internet Measurement Conference (IMC ’23), October 2023
- Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms by R. Kuhn, A. Darmasauptra. Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), 17-21 July 2023
- Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols by D. Castro-Perez, N. Yoshida. Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), 17-21 July 2023
- Designing Asynchronous Multiparty Protocols with Crash-Stop Failures by A.D. Barwell, P. Hou, N. Yoshida, F. Zhou. Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), 17-21 July 2023
- Behavioural Types for Local-First Software by R. Kuhn, H. Melgratti, E. Tuosto. Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), 17-21 July 2023
- VeriFx: Correct Replicated Data Types for the Masses by K. De Porre, C. Ferreira, E. Gonzalez Boix. Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), 17-21 July 2023
- A Simple Python Testbed for Federated Learning Algorithms by M. Popović, M. Popović, I. Kaštelan, M. Đukić, S. Ghilezan. Proceedings of the 2023 Zooming Innovation in Consumer Technologies Conference (ZINC 2023), 29-31 May 2023
- Set in Stone: Analysis of an Immutable Web3 Social Media Platform by W. Zuo, A. Raman, R. Mondragon, G. Tyson. Proceedings of the 2023 ACM Web Conference (WWW’23), 30 April – 4 May 2023
- Will Admins Cope? Decentralized Moderation in the Fediverse by I. Anaobi, A. Raman, I. Castro, H. Bin Zia, D. Ibosiola, G. Tyson. Proceedings of the 2023 ACM Web Conference (WWW’23), 30 April – 4 May 2023
- Task queue implementation for edge computing platform by V. Maksimović, M. Simić, M. Stojkov, M. Zarić. Proceedings of the ICIST 2023, Kopaonik, Serbia, 15 March 2023
- Access control in a distributed micro-cloud environment by T. Ranković, M. Simić, M. Stojkov, G. Sladić. Proceedings of the ICIST 2023, Kopaonik, Serbia, 15 March 2023
- Authentication and identity management based on zero trust security model in micro-cloud environment by I. Kovačević, M. Stojkov, M. Simić. Proceedings of the ICIST 2023, Kopaonik, Serbia, 15 March 2023