Roberto Casadei

94 papers A 1C 15Journal 43Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
Crowd digital twins: Motivation, architecture, and roadmap.
Future Gener. Comput. Syst.
Roberto Casadei, Giovanni Delnevo, Roberto Girau, Silvia Mirri
2026 J jnl
FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures.
Complex Intell. Syst.
Angela Cortecchia, Giovanni Ciatto, Roberto Casadei, Danilo Pianini
2025 C conf
A Demonstrator for Self-organizing Robot Teams.
COORDINATION
Gianluca Aguzzi, Lorenzo Bacchini, Martina Baiardi, Roberto Casadei, Angela Cortecchia, Davide Domini, Nicolas Farabegoli, Danilo Pianini, Mirko Viroli
2025 — conf
Crowd Digital Twins: High-Level Requirements and Architecture.
CCNC
Roberto Casadei, Giovanni Delnevo, Roberto Girau, Silvia Mirri
2025 C conf
Declarative Deployment Planning for Green Pulverised Collective Computational Systems.
COORDINATION
Antonio Brogi, Roberto Casadei, Nicolas Farabegoli, Stefano Forti, Mirko Viroli
2025 — conf
Experiments of Crowd Detection for Crowd Digital Twins.
CCNC
Kuan Pok Chong, Chon Hou Lai, Weibo Ling, Zhuoqian Lu, Rui Wang, Ruoqi Wang, Yanjun Yu, Alex Testa, Chan-Tong Lam, Su-Kit Tang, Giovanni Delnevo, Roberto Casadei, Roberto Girau, Silvia Mirri
2025 J jnl
MacroSwarm: A Field-based Compositional Framework for Swarm Programming.
Log. Methods Comput. Sci.
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2025 J jnl
Preface for the special issue on selected software artifacts from DisCoTec 2023 - the 18th International Federated Conference on Distributed Computing Techniques.
Sci. Comput. Program.
Roberto Casadei, Vinicius Vielmo Cogo, Tom van Dijk, Alceste Scalas
2025 J jnl
Programming Distributed Collective Processes in the eXchange Calculus.
Log. Methods Comput. Sci.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2025 J jnl
Programming IoT systems: A focused conceptual framework and survey of approaches.
Internet Things
Roberto Casadei, Fabrizio Fornari, Stefano Mariani, Claudio Savaglio
2025 J jnl
Software Engineering for Collective Cyber-Physical Ecosystems.
ACM Trans. Softw. Eng. Methodol.
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
2025 J jnl
System-wide IoT design and programming: Patterns for decentralised collective processes.
Internet Things
Roberto Casadei
2024 J jnl
A general framework and decentralised algorithms for collective computational processes.
Future Gener. Comput. Syst.
Giorgio Audrito, Roberto Casadei, Gianluca Torta
2024 — ch.
Actor-Based Designs for Distributed Self-organisation Programming.
Active Object Languages: Current Research Trends
Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024 — conf
An Aggregate Vascular Morphogenesis Controller for Engineered Self-Organising Spatial Structures.
ACSOS
Angela Cortecchia, Danilo Pianini, Giovanni Ciatto, Roberto Casadei
2024 C conf
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report.
PPDP
Roberto Casadei, Mirko Viroli
2024 J jnl
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach.
Internet Things
Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli
2024 J jnl
Editorial: Understanding and engineering cyber-physical collectives.
Frontiers Robotics AI
Roberto Casadei, Lukas Esterle, Rose F. Gamble, Paul Harvey, Elizabeth F. Wanner
2024 — conf
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach.
ACSOS
Nicolas Farabegoli, Mirko Viroli, Roberto Casadei
2024 J jnl
MacroSwarm: A Field-based Compositional Framework for Swarm Programming.
CoRR
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2024 C conf
Modelling Groups of Humans: Towards Crowd Digital Twins.
ISCC
Roberto Casadei, Giovanni Delnevo, Roberto Girau, Silvia Mirri
2024 J jnl
Programming Distributed Collective Processes in the eXchange Calculus.
CoRR
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024 C conf
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design.
COORDINATION
Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli
2024 J jnl
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime.
Future Gener. Comput. Syst.
Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli
2024 J jnl
Software Engineering for Collective Cyber-Physical Ecosystems.
CoRR
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
2024 J jnl
The eXchange Calculus (XC): A functional programming language design for distributed collective systems.
J. Syst. Softw.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2023 J jnl
A field-based computing approach to sensing-driven clustering in robot swarms.
Swarm Intell.
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2023 J jnl
Artificial Collective Intelligence Engineering: A Survey of Concepts and Perspectives.
Artif. Life
Roberto Casadei
2023 J jnl
Artificial Collective Intelligence Engineering: a Survey of Concepts and Perspectives.
CoRR
Roberto Casadei
2023 J jnl
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala.
Log. Methods Comput. Sci.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2023 C conf
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming.
COORDINATION
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2023 J jnl
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling.
ACM Comput. Surv.
Roberto Casadei
2023 — conf
Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More.
ACSOS-C
Roberto Casadei, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
2023 C conf
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.
COORDINATION
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2023 — conf
Self-Organisation Programming: A Functional Reactive Macro Approach.
ACSOS
Roberto Casadei, Francesco Dente, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
2023 J jnl
Space-Fluid Adaptive Sampling by Self-Organisation.
Log. Methods Comput. Sci.
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
2023 — conf
Towards Collective Sentiment Analysis in IoT-Enabled Scenarios.
DCOSS-IoT
Claudio Savaglio, Roberto Casadei, Pietro Manzoni, Mirko Viroli, Giancarlo Fortino
2022 J jnl
A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems.
ACM Trans. Auton. Adapt. Syst.
Danilo Pianini, Federico Pettinari, Roberto Casadei, Lukas Esterle
2022 J jnl
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge.
IEEE Internet Things J.
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
2022 — conf
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach.
ACSOS
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2022 J jnl
Dynamic Decentralization Domains for the Internet of Things.
IEEE Internet Comput.
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli
2022 J jnl
Functional Programming for Distributed Systems with XC (Artifact).
Dagstuhl Artifacts Ser.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022 A conf
Functional Programming for Distributed Systems with XC.
ECOOP
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022 — ed.
IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2022, Virtual, CA, USA, September 19-23, 2022
ACSOS-C
Roberto Casadei, Elisabetta Di Nitto, Ilias Gerostathopoulos, Danilo Pianini, Ivana Dusparic, Timothy Wood, Phyllis R. Nelson, Evangelos Pournaras, Nelly Bencomo, Sebastian Götz, Christian Krupitzer, Claudia Raibulet
2022 — ed.
IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2022, Virtual, CA, USA, September 19-23, 2022
ACSOS
Roberto Casadei, Elisabetta Di Nitto, Ilias Gerostathopoulos, Danilo Pianini, Ivana Dusparic, Timothy Wood, Phyllis R. Nelson, Evangelos Pournaras, Nelly Bencomo, Sebastian Götz, Christian Krupitzer, Claudia Raibulet
2022 — conf
Machine Learning for Aggregate Computing: a Research Roadmap.
ICDCS Workshops
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2022 J jnl
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling.
CoRR
Roberto Casadei
2022 — conf
On the Dynamic Evolution of Distributed Computational Aggregates.
ACSOS-C
Giorgio Audrito, Roberto Casadei, Gianluca Torta
2022 J jnl
ScaFi: A Scala DSL and Toolkit for Aggregate Programming.
SoftwareX
Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini
2022 — conf
Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning.
ACSOS
Danilo Pianini, Roberto Casadei, Mirko Viroli
2022 C conf
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach.
COORDINATION
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
2022 J jnl
Space-fluid Adaptive Sampling by Self-Organisation.
CoRR
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
2022 — conf
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.
DASC/PiCom/CBDCom/CyberSciTech
Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
2022 C conf
Towards Reinforcement Learning-based Aggregate Computing.
COORDINATION
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
2021 J jnl
A Programming Approach to Collective Autonomy.
J. Sens. Actuator Networks
Roberto Casadei, Gianluca Aguzzi, Mirko Viroli
2021 J jnl
Adaptive distributed monitors of spatial properties for cyber-physical systems.
J. Syst. Softw.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
2021 — conf
Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems.
ACSOS-C
Roberto Casadei, Andrea Placuzzi, Mirko Viroli, Danny Weyns
2021 J jnl
Engineering collective intelligence at the edge with aggregate processes.
Eng. Appl. Artif. Intell.
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2021 — conf
Fostering resilient execution of multi-agent plans through self-organisation.
ACSOS-C
Giorgio Audrito, Roberto Casadei, Gianluca Torta
2021 J jnl
Optimal resilient distributed data collection in mobile edge environments.
Comput. Electr. Eng.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2021 J jnl
Partitioned integration and coordination via the self-organising coordination regions pattern.
Future Gener. Comput. Syst.
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
2021 C conf
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming.
COORDINATION
Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli
2021 J jnl
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers.
Log. Methods Comput. Sci.
Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
2021 — conf
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes.
ACSOS-C
Giorgio Audrito, Roberto Casadei, Gianluca Torta
2021 — conf
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming.
ACSOS-C
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
2021 C conf
Tuple-Based Coordination in Large-Scale Situated Systems.
COORDINATION
Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito
2020 — conf
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time.
ACSOS Companion
Roberto Casadei, Mirko Viroli, Alessandro Ricci
2020 J jnl
Computation Against a Neighbour.
CoRR
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2020 — —
Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems.
Roberto Casadei
2020 — conf
FScaFi : A Core Calculus for Collective Adaptive Systems Programming.
ISoLA (2)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
2020 J jnl
On the Social Implications of Collective Adaptive Systems.
IEEE Technol. Soc. Mag.
Antonio Bucchiarone, Mirko D'Angelo, Danilo Pianini, Giacomo Cabri, Martina De Sanctis, Mirko Viroli, Roberto Casadei, Simon Dobson
2020 J jnl
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment.
Future Internet
Roberto Casadei, Danilo Pianini, Andrea Placuzzi, Mirko Viroli, Danny Weyns
2020 J jnl
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers.
CoRR
Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
2019 J jnl
A development approach for collective opportunistic Edge-of-Things services.
Inf. Sci.
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
2019 C conf
Aggregate Processes in Field Calculus.
COORDINATION
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2019 — conf
Case Studies for a New IoT Programming Paradigm: Fluidware.
AI&IoT@AI*IA
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
2019 — conf
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach.
FMEC
Roberto Casadei, Mirko Viroli
2019 — conf
Engineering Resilient Collaborative Edge-Enabled IoT.
SCC
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
2019 J jnl
From distributed coordination to field calculus and aggregate computing.
J. Log. Algebraic Methods Program.
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
2019 J jnl
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing.
Future Gener. Comput. Syst.
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
2019 — conf
On Context-Orientation in Aggregate Programming.
FAS*W@SASO/ICAC
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
2019 — conf
Security in Collective Adaptive Systems: A Roadmap.
FAS*W@SASO/ICAC
Danilo Pianini, Roberto Casadei, Mirko Viroli
2019 C conf
Self-organising Coordination Regions: A Pattern for Edge Computing.
COORDINATION
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
2018 — conf
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT.
FAS*W@SASO/ICAC
Roberto Casadei, Mirko Viroli
2018 C conf
From Field-Based Coordination to Aggregate Computing.
COORDINATION
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
2018 — ch.
Programming Actor-Based Collective Adaptive Systems.
Programming with Actors
Roberto Casadei, Mirko Viroli
2018 J jnl
Towards attack-resistant Aggregate Computing using trust mechanisms.
Sci. Comput. Program.
Roberto Casadei, Alessandro Aldini, Mirko Viroli
2018 — conf
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.
GOODTECHS
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
2017 — conf
Combining Trust and Aggregate Computing.
SEFM Workshops
Roberto Casadei, Alessandro Aldini, Mirko Viroli
2017 — conf
Compositional Blocks for Optimal Self-Healing Gradients.
SASO
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2016 — conf
On execution platforms for large-scale aggregate computing.
UbiComp Adjunct
Mirko Viroli, Roberto Casadei, Danilo Pianini
2016 — conf
Run-Time Management of Computation Domains in Field Calculus.
FAS*W@SASO/ICCAC
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
2016 C conf
Simulating Large-scale Aggregate MASs with Alchemist and Scala.
FedCSIS
Mirko Viroli, Roberto Casadei, Danilo Pianini
2016 — conf
Towards Aggregate Programming in Scala.
PMLDC@ECOOP
Roberto Casadei, Mirko Viroli