CASADEI, ROBERTO
CASADEI, ROBERTO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Ricercatori a tempo determinato
FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures
2026 Cortecchia, A.; Ciatto, G.; Casadei, R.; Pianini, D.
A Demonstrator for Self-organizing Robot Teams
2025 Aguzzi, G.; Bacchini, L.; Baiardi, M.; Casadei, R.; Cortecchia, A.; Domini, D.; Farabegoli, N.; Pianini, D.; Viroli, M.
Crowd Digital Twins: High-Level Requirements and Architecture
2025 Casadei, Roberto; Delnevo, Giovanni; Girau, Roberto; Mirri, Silvia
Declarative Deployment Planning for Green Pulverised Collective Computational Systems
2025 Brogi, A.; Casadei, R.; Farabegoli, N.; Forti, S.; Viroli, M.
Experiments of Crowd Detection for Crowd Digital Twins
2025 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.
Human-Under-Test and Continual Bidirectional Assessment for Co-development of Human-AI Systems
2025 Casadei, R.; Delnevo, G.; Mirri, S.
Integrating Collective Computing and the Social Internet of Things for Smart Cities: A Vision
2025 Casadei, R.; Ghini, V.; Girau, R.; Pau, G.
MacroSwarm: A Field-based Compositional Framework for Swarm Programming
2025 Aguzzi, G.; Casadei, R.; Viroli, M.
Preface for the special issue on selected software artifacts from DisCoTec 2023 – the 18th International Federated Conference on Distributed Computing Techniques
2025 Casadei, Roberto; Vielmo Cogo, Vinicius; Van Dijk, Tom; Scalas, Alceste
Programming Distributed Collective Processes in the eXchange Calculus
2025 Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M
Programming IoT systems: A focused conceptual framework and survey of approaches
2025 Casadei, Roberto; Fornari, Fabrizio; Mariani, Stefano; Savaglio, Claudio
Software Engineering for Collective Cyber-Physical Ecosystems
2025 Casadei, Roberto; Aguzzi, Gianluca; Audrito, Giorgio; Damiani, Ferruccio; Pianini, Danilo; Scarso, Giordano; Torta, Gianluca; Viroli, Mirko
System-wide IoT design and programming: Patterns for decentralised collective processes
2025 Casadei, R.
A general framework and decentralised algorithms for collective computational processes
2024 Audrito G.; Casadei R.; Torta G.
Actor-Based Designs for Distributed Self-organisation Programming
2024 Casadei, Roberto; Damiani, Ferruccio; Torta, Gianluca; Viroli, Mirko
An Aggregate Vascular Morphogenesis Controller for Engineered Self-Organising Spatial Structures
2024 Cortecchia, A.; Pianini, D.; Ciatto, G.; Casadei, R.
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report
2024 Casadei, R.; Viroli, M.
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach
2024 Farabegoli, N.; Pianini, D.; Casadei, R.; Viroli, M.
Editorial: Understanding and engineering cyber-physical collectives
2024 Casadei R.; Esterle L.; Gamble R.; Harvey P.; Wanner E.F.
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach
2024 Farabegoli, Nicolas; Viroli, Mirko; Casadei, Roberto
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures | Cortecchia, A.; Ciatto, G.; Casadei, R.; Pianini, D. | 2026-01-01 | COMPLEX & INTELLIGENT SYSTEMS | - | 1.01 Articolo in rivista | s40747-025-02141-y.pdf |
| A Demonstrator for Self-organizing Robot Teams | Aguzzi, G.; Bacchini, L.; Baiardi, M.; Casadei, R.; Cortecchia, A.; Domini, D.; Farabegoli, N.; P...ianini, D.; Viroli, M. | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper_26.pdf |
| Crowd Digital Twins: High-Level Requirements and Architecture | Casadei, Roberto; Delnevo, Giovanni; Girau, Roberto; Mirri, Silvia | 2025-01-01 | - | - | 4.01 Contributo in Atti di convegno | 1571078521 final.pdf |
| Declarative Deployment Planning for Green Pulverised Collective Computational Systems | Brogi, A.; Casadei, R.; Farabegoli, N.; Forti, S.; Viroli, M. | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | _pulverisedPlacer_TO_COORDINATION25.pdf |
| Experiments of Crowd Detection for Crowd Digital Twins | Chong, K. P.; Lai, C. H.; Ling, W.; Lu, Z.; Wang, R.; Wang, R.; Yu, Y.; Testa, A.; Lam, C. T.; Ta...ng, S. K.; Delnevo, G.; Casadei, R.; Girau, R.; Mirri, S. | 2025-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Human-Under-Test and Continual Bidirectional Assessment for Co-development of Human-AI Systems | Casadei, R.; Delnevo, G.; Mirri, S. | 2025-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | Human-Under-Test and Continual Bidirectional Assessment for Co-development of Human-AI Systems.pdf; paper2.pdf |
| Integrating Collective Computing and the Social Internet of Things for Smart Cities: A Vision | Casadei, R.; Ghini, V.; Girau, R.; Pau, G. | 2025-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | discoli_8_ac_and_siot_ieee_validated.pdf |
| MacroSwarm: A Field-based Compositional Framework for Swarm Programming | Aguzzi, G.; Casadei, R.; Viroli, M. | 2025-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2401.10969v5.pdf |
| Preface for the special issue on selected software artifacts from DisCoTec 2023 – the 18th International Federated Conference on Distributed Computing Techniques | Casadei, Roberto; Vielmo Cogo, Vinicius; Van Dijk, Tom; Scalas, Alceste | 2025-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| Programming Distributed Collective Processes in the eXchange Calculus | Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M | 2025-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2025-lmcs-collective-processes.pdf |
| Programming IoT systems: A focused conceptual framework and survey of approaches | Casadei, Roberto; Fornari, Fabrizio; Mariani, Stefano; Savaglio, Claudio | 2025-01-01 | INTERNET OF THINGS | - | 1.01 Articolo in rivista | 2025-iot-programming-survey-fluidware.pdf |
| Software Engineering for Collective Cyber-Physical Ecosystems | Casadei, Roberto; Aguzzi, Gianluca; Audrito, Giorgio; Damiani, Ferruccio; Pianini, Danilo; Scarso..., Giordano; Torta, Gianluca; Viroli, Mirko | 2025-01-01 | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | - | 1.01 Articolo in rivista | paper-2024-se2030-fse-roadmap.pdf |
| System-wide IoT design and programming: Patterns for decentralised collective processes | Casadei, R. | 2025-01-01 | INTERNET OF THINGS | - | 1.01 Articolo in rivista | 2024-iot-pattern-processes.pdf |
| A general framework and decentralised algorithms for collective computational processes | Audrito G.; Casadei R.; Torta G. | 2024-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | 2024-fgcs-collective-computational-processes-OA.pdf |
| Actor-Based Designs for Distributed Self-organisation Programming | Casadei, Roberto; Damiani, Ferruccio; Torta, Gianluca; Viroli, Mirko | 2024-01-01 | - | Springer Nature | 2.01 Capitolo / saggio in libro | paper-2023-lncs-active-objects-ac.pdf; paper-2023-lncs-active-objects-ac.pdf |
| An Aggregate Vascular Morphogenesis Controller for Engineered Self-Organising Spatial Structures | Cortecchia, A.; Pianini, D.; Ciatto, G.; Casadei, R. | 2024-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
| Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report | Casadei, R.; Viroli, M. | 2024-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| Dynamic IoT deployment reconfiguration: A global-level self-organisation approach | Farabegoli, N.; Pianini, D.; Casadei, R.; Viroli, M. | 2024-01-01 | INTERNET OF THINGS | - | 1.01 Articolo in rivista | 1-s2.0-S2542660524003536-main.pdf; paper-2024-iot-dynamic-reconfiguration.pdf |
| Editorial: Understanding and engineering cyber-physical collectives | Casadei R.; Esterle L.; Gamble R.; Harvey P.; Wanner E.F. | 2024-01-01 | FRONTIERS IN ROBOTICS AND AI | - | 1.01 Articolo in rivista | - |
| Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach | Farabegoli, Nicolas; Viroli, Mirko; Casadei, Roberto | 2024-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |