CASADEI, ROBERTO
CASADEI, ROBERTO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Ricercatori a tempo determinato
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 IoT systems: A focused conceptual framework and survey of approaches
2025 Casadei, Roberto; Fornari, Fabrizio; Mariani, Stefano; Savaglio, Claudio
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
Fluidware Meets Digital Twins
2024 Casadei, R.; Fornari, F.; Mariani, S.; Savaglio, C.
Learning Opportunities in Collective Adaptive Systems
2024 Aguzzi, G.; Casadei, R.; Mariani, S.; Viroli, M.; Zambonelli, F.
Middleware Architectures for Fluid Computing
2024 Casadei, R.; Farabegoli, N.; Fortino, G.; Savaglio, C.; Viroli, M.
Modelling Groups of Humans: Towards Crowd Digital Twins
2024 Casadei, R.; Delnevo, G.; Girau, R.; Mirri, S.
Programming Approaches for Large-Scale IoT System Development: State of the Art
2024 Casadei, R.; Fornari, F.; Mariani, S.; Savaglio, C.
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design
2024 Aguzzi, G.; Casadei, R.; Cerioni, M.; Viroli, M.
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime
2024 Farabegoli N.; Pianini D.; Casadei R.; Viroli M.
Space-Fluid and Time-Fluid Programming
2024 Pianini, D.; Casadei, R.; Mariani, S.; Aguzzi, G.; Viroli, M.; Zambonelli, F.
The eXchange Calculus (XC): A functional programming language design for distributed collective systems
2024 Audrito G.; Casadei R.; Damiani F.; Salvaneschi G.; Viroli M.
A field-based computing approach to sensing-driven clustering in robot swarms
2023 Aguzzi G.; Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 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 | - |
| System-wide IoT design and programming: Patterns for decentralised collective processes | Casadei, R. | 2025-01-01 | INTERNET OF THINGS | - | 1.01 Articolo in rivista | - |
| 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 | - |
| Fluidware Meets Digital Twins | Casadei, R.; Fornari, F.; Mariani, S.; Savaglio, C. | 2024-01-01 | - | Springer Nature | 2.01 Capitolo / saggio in libro | The_Fluidware_Book-postprint-digitaltwins.pdf |
| Learning Opportunities in Collective Adaptive Systems | Aguzzi, G.; Casadei, R.; Mariani, S.; Viroli, M.; Zambonelli, F. | 2024-01-01 | - | Springer Nature | 2.01 Capitolo / saggio in libro | The_Fluidware_Book-postprint-learning.pdf |
| Middleware Architectures for Fluid Computing | Casadei, R.; Farabegoli, N.; Fortino, G.; Savaglio, C.; Viroli, M. | 2024-01-01 | - | Springer Nature | 2.01 Capitolo / saggio in libro | The_Fluidware_Book-postprint-middlewares.pdf |
| Modelling Groups of Humans: Towards Crowd Digital Twins | Casadei, R.; Delnevo, G.; Girau, R.; Mirri, S. | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Programming Approaches for Large-Scale IoT System Development: State of the Art | Casadei, R.; Fornari, F.; Mariani, S.; Savaglio, C. | 2024-01-01 | - | Springer Nature | 2.01 Capitolo / saggio in libro | The_Fluidware_Book-postprint-survey.pdf |
| ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design | Aguzzi, G.; Casadei, R.; Cerioni, M.; Viroli, M. | 2024-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper-2024-coordination-lowcode-scafi.pdf |
| Scalability through Pulverisation: Declarative deployment reconfiguration at runtime | Farabegoli N.; Pianini D.; Casadei R.; Viroli M. | 2024-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | 2024-fgcs-pulverisation-dynamic-reconfig-OA.pdf |
| Space-Fluid and Time-Fluid Programming | Pianini, D.; Casadei, R.; Mariani, S.; Aguzzi, G.; Viroli, M.; Zambonelli, F. | 2024-01-01 | - | Springer Nature | 2.01 Capitolo / saggio in libro | The_Fluidware_Book-postprint-spacetimefluid.pdf |
| The eXchange Calculus (XC): A functional programming language design for distributed collective systems | Audrito G.; Casadei R.; Damiani F.; Salvaneschi G.; Viroli M. | 2024-01-01 | THE JOURNAL OF SYSTEMS AND SOFTWARE | - | 1.01 Articolo in rivista | 2024-jss-xc-calculus.pdf |
| A field-based computing approach to sensing-driven clustering in robot swarms | Aguzzi G.; Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M. | 2023-01-01 | SWARM INTELLIGENCE | - | 1.01 Articolo in rivista | s11721-022-00215-y.pdf |