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.
- Machine learning in orbit estimation: A survey by F. Caldas, C. Soares. Research article for of the “Acta Astronautica, Volume 220“, July 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
- A Hierarchical Namespace Approach for Multi-Tenancy in Distributed Clouds by M. Simić, J. Dedeić, M. Stojkov, I. Prokić. Research article for “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
- 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
- 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