Foto del docente

Roberto Casadei

Senior assistant professor (fixed-term)

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Publications

Cortecchia, A.; Ciatto, G.; Casadei, R.; Pianini, D., FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures, «COMPLEX & INTELLIGENT SYSTEMS», 2026, 12, pp. 1 - 30 [Scientific article]

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, 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) [Contribution to conference proceedings]

Casadei, Roberto; Delnevo, Giovanni; Girau, Roberto; Mirri, Silvia, Crowd Digital Twins: High-Level Requirements and Architecture, in: 2025 IEEE 22nd Consumer Communications & Networking Conference (CCNC), 2025, pp. 1 - 4 (atti di: 22nd IEEE Consumer Communications & Networking Conference, Las Vegas, NV, USA, January 10-13, 2025) [Contribution to conference proceedings]

Brogi, A.; Casadei, R.; Farabegoli, N.; Forti, S.; Viroli, M., Declarative Deployment Planning for Green Pulverised Collective Computational Systems, in: Coordination Models and Languages. COORDINATION 2025., GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 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) [Contribution to conference proceedings]

Chong, K. P.; Lai, C. H.; Ling, W.; Lu, Z.; Wang, R.; Wang, R.; Yu, Y.; Testa, A.; Lam, C. T.; Tang, S. K.; Delnevo, G.; Casadei, R.; Girau, R.; Mirri, S., Experiments of Crowd Detection for Crowd Digital Twins, in: 2025 IEEE 22nd Consumer Communications & Networking Conference (CCNC), 2025, pp. 1 - 4 (atti di: 2025 IEEE 22nd Consumer Communications & Networking Conference (CCNC), Las Vegas (USA), 10-13 January 2025) [Contribution to conference proceedings]

Casadei, R.; Delnevo, G.; Mirri, S., Human-Under-Test and Continual Bidirectional Assessment for Co-development of Human-AI Systems, in: Proceedings of the 1st Workshop on Human-AI Collaborative Systems co-located with 28th European Conference on Artificial Intelligence (ECAI 2025), CEUR-WS, 2025, 4072, pp. 13 - 22 (atti di: 1st Workshop on Human-AI Collaborative Systems, HAIC 2025, ita, 2025) [Contribution to conference proceedings]Open Access

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, Lucca, Italy, 09-11 June 2025) [Contribution to conference proceedings]

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 [Scientific article]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 [Scientific article]

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 [Scientific article]Open Access

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 [Scientific article]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 [Scientific article]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 [Scientific article]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 [Scientific article]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) [Chapter or essay]Open Access

Latest news

At the moment no news are available.