Aguzzi, G.; Bacchini, L.; Baiardi, M.; Casadei, R.; Cortecchia, A.; Domini, D.; Farabegoli, N.; Pianini, D.; Viroli, M., A Demonstrator for Self-organizing Robot Teams, in: Coordination Models and Languages. COORDINATION 2025, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15731, pp. 230 - 244 (atti di: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Francia, Lille, June 17–19, 2025) [Contributo in Atti di convegno]
Casadei, Roberto; Delnevo, Giovanni; Girau, Roberto; Mirri, Silvia, Crowd Digital Twins: High-Level Requirements and Architecture, in: 22nd IEEE Consumer Communications {\&} Networking Conference, CCNC 2025, Las Vegas, NV, USA, January 10-13, 2025, 2025, pp. 1 - 4 (atti di: 22nd IEEE Consumer Communications & Networking Conference, Las Vegas, NV, USA, January 10-13, 2025) [Contributo in Atti di convegno]
Brogi, A.; Casadei, R.; Farabegoli, N.; Forti, S.; Viroli, M., Declarative Deployment Planning for Green Pulverised Collective Computational Systems, in: Lecture Notes in Computer Science, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15731, pp. 114 - 132 (atti di: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, fra, 2025) [Contributo in Atti di convegno]
Casadei, R.; Delnevo, G.; Mirri, S., Human-Under-Test and Continual Bidirectional Assessment for Co-development of Human-AI Systems, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2025, 4072, pp. 13 - 22 (atti di: 1st Workshop on Human-AI Collaborative Systems, HAIC 2025, ita, 2025) [Contributo in Atti di convegno]
Casadei, R.; Ghini, V.; Girau, R.; Pau, G., Integrating Collective Computing and the Social Internet of Things for Smart Cities: A Vision, in: Proceedings - 2025 21st International Conference on Distributed Computing in Smart Systems and the Internet of Things, DCOSS-IoT 2025, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 846 - 851 (atti di: 21st Annual International Conference on Distributed Computing in Smart Systems and the Internet of Things, DCOSS-IoT 2025, ita, 2025) [Contributo in Atti di convegno]
Aguzzi, G.; Casadei, R.; Viroli, M., MacroSwarm: A Field-based Compositional Framework for Swarm Programming, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, 21, Article number: 13, pp. 1 - 48 [articolo]Open Access
Casadei, Roberto; Vielmo Cogo, Vinicius; Van Dijk, Tom; Scalas, Alceste, Preface for the special issue on selected software artifacts from DisCoTec 2023 – the 18th International Federated Conference on Distributed Computing Techniques, «SCIENCE OF COMPUTER PROGRAMMING», 2025, 243, Article number: 103255, pp. 1 - 3 [articolo]
Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M, Programming Distributed Collective Processes in the eXchange Calculus, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, 21, pp. 1 - 41 [articolo]
Casadei, Roberto; Fornari, Fabrizio; Mariani, Stefano; Savaglio, Claudio, Programming IoT systems: A focused conceptual framework and survey of approaches, «INTERNET OF THINGS», 2025, 31, Article number: 101548, pp. 1 - 27 [articolo]Open Access
Casadei, Roberto; Aguzzi, Gianluca; Audrito, Giorgio; Damiani, Ferruccio; Pianini, Danilo; Scarso, Giordano; Torta, Gianluca; Viroli, Mirko, Software Engineering for Collective Cyber-Physical Ecosystems, «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY», 2025, 34, Article number: 153, pp. 1 - 40 [articolo]Open Access
Casadei, R., System-wide IoT design and programming: Patterns for decentralised collective processes, «INTERNET OF THINGS», 2025, 29, Article number: 101436, pp. 1 - 31 [articolo]Open Access
Audrito G.; Casadei R.; Torta G., A general framework and decentralised algorithms for collective computational processes, «FUTURE GENERATION COMPUTER SYSTEMS», 2024, 158, pp. 11 - 27 [articolo]Open Access
Casadei, Roberto; Damiani, Ferruccio; Torta, Gianluca; Viroli, Mirko, Actor-Based Designs for Distributed Self-organisation Programming, in: Active Object Languages: Current Research Trends, Berlin, Springer Nature, 2024, pp. 37 - 58 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]Open Access
Cortecchia, A.; Pianini, D.; Ciatto, G.; Casadei, R., An Aggregate Vascular Morphogenesis Controller for Engineered Self-Organising Spatial Structures, in: Proceedings - 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024, Institute of Electrical and Electronics Engineers Inc., 2024, pp. 133 - 138 (atti di: 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024, dnk, 2024) [Contributo in Atti di convegno]
Casadei, R.; Viroli, M., Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report, in: ACM International Conference Proceeding Series, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, 2024, pp. 1 - 5 (atti di: 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, 26th International Symposium on Formal Methods and held in conjunction with LOPSTR 2024, Politecnico di Milano, ita, 2024) [Contributo in Atti di convegno]
