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.
- 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 | draft
- 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
- 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
- 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
- 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
- Studying the Workload of a Fully Decentralized Web3 System: IPFS by P. Ákos Costa, J. Leitão, Y. Psaras. Proceedings of the 23rd International Conference on Distributed Applications and Interoperable Systems (DAIS 2023), 19-23 June 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 13th International Conference on Information Society and Technology (ICIST 2023), 12-15 March 2023 | draft
- Access control in a distributed micro-cloud environment by T. Ranković, M. Simić, M. Stojkov, G. Sladić. Proceedings of the 13th International Conference on Information Society and Technology (ICIST 2023), 12-15 March 2023 | draft
- 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 13th International Conference on Information Society and Technology (ICIST 2023), 12-15 March 2023 | draft