Roberto Casadei

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 72

Top Topics

Temporal Planner

Collective Intelligence

Adaptive Systems

Reinforcement Learning

Top Venues

Future Gener. Comput. Syst.

Publications

Roberto Casadei, Lukas Esterle, Rose F. Gamble, Paul Harvey, Elizabeth F. Wanner
Editorial: Understanding and engineering cyber-physical collectives. Frontiers Robotics AI 11 (2024)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. 210 (2024)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
MacroSwarm: A Field-based Compositional Framework for Swarm Programming. CoRR (2024)
Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime. Future Gener. Comput. Syst. 161 (2024)
Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli
ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design. COORDINATION (2024)
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
Software Engineering for Collective Cyber-Physical Ecosystems. CoRR (2024)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes in the eXchange Calculus. CoRR (2024)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
A general framework and decentralised algorithms for collective computational processes. Future Gener. Comput. Syst. 158 (2024)
Roberto Casadei
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling. ACM Comput. Surv. 55 (13s) (2023)
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
Space-Fluid Adaptive Sampling by Self-Organisation. Log. Methods Comput. Sci. 19 (4) (2023)
Roberto Casadei, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More. ACSOS-C (2023)
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. 17 (1) (2023)
Roberto Casadei, Francesco L. De Angelis, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli
Self-Organisation Programming: A Functional Reactive Macro Approach. ACSOS (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION (2023)
Roberto Casadei
Artificial Collective Intelligence Engineering: A Survey of Concepts and Perspectives. Artif. Life 29 (4) (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. Log. Methods Comput. Sci. 19 (1) (2023)
Roberto Casadei
Artificial Collective Intelligence Engineering: a Survey of Concepts and Perspectives. CoRR (2023)
Claudio Savaglio, Roberto Casadei, Pietro Manzoni, Mirko Viroli, Giancarlo Fortino
Towards Collective Sentiment Analysis in IoT-Enabled Scenarios. DCOSS-IoT (2023)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming. COORDINATION (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Functional Programming for Distributed Systems with XC. ECOOP (2022)
Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. DASC/PiCom/CBDCom/CyberSciTech (2022)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach. ACSOS (2022)
Danilo Pianini, Federico Pettinari, Roberto Casadei, Lukas Esterle
A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems. ACM Trans. Auton. Adapt. Syst. 17 (2022)
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge. IEEE Internet Things J. 9 (20) (2022)
Roberto Casadei
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling. CoRR (2022)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
On the Dynamic Evolution of Distributed Computational Aggregates. ACSOS-C (2022)
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli
Dynamic Decentralization Domains for the Internet of Things. IEEE Internet Comput. 26 (6) (2022)
Danilo Pianini, Roberto Casadei, Mirko Viroli
Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning. ACSOS (2022)
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
Space-fluid Adaptive Sampling by Self-Organisation. CoRR (2022)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
Machine Learning for Aggregate Computing: a Research Roadmap. ICDCS Workshops (2022)
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach. COORDINATION (2022)
Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini
ScaFi: A Scala DSL and Toolkit for Aggregate Programming. SoftwareX 20 (2022)
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli
Towards Reinforcement Learning-based Aggregate Computing. COORDINATION (2022)
Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
Partitioned integration and coordination via the self-organising coordination regions pattern. Future Gener. Comput. Syst. 114 (2021)
Roberto Casadei, Gianluca Aguzzi, Mirko Viroli
A Programming Approach to Collective Autonomy. J. Sens. Actuator Networks 10 (2) (2021)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97 (2021)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
Fostering resilient execution of multi-agent plans through self-organisation. ACSOS-C (2021)
Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming. COORDINATION (2021)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175 (2021)
Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito
Tuple-Based Coordination in Large-Scale Situated Systems. COORDINATION (2021)
Roberto Casadei, Andrea Placuzzi, Mirko Viroli, Danny Weyns
Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems. ACSOS-C (2021)
Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming. ACSOS-C (2021)
Giorgio Audrito, Roberto Casadei, Gianluca Torta
Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes. ACSOS-C (2021)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. 96 (Part) (2021)
Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers. Log. Methods Comput. Sci. 17 (4) (2021)
Roberto Casadei, Mirko Viroli, Alessandro Ricci
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time. ACSOS Companion (2020)
Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers. CoRR (2020)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) (2020)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Computation Against a Neighbour. CoRR (2020)
Antonio Bucchiarone, Mirko D'Angelo, Danilo Pianini, Giacomo Cabri, Martina De Sanctis, Mirko Viroli, Roberto Casadei, Simon Dobson
On the Social Implications of Collective Adaptive Systems. IEEE Technol. Soc. Mag. 39 (3) (2020)
Roberto Casadei, Danilo Pianini, Andrea Placuzzi, Mirko Viroli, Danny Weyns
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment. Future Internet 12 (11) (2020)
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and simulation of Opportunistic IoT Services with Aggregate Computing. Future Gener. Comput. Syst. 91 (2019)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Aggregate Processes in Field Calculus. COORDINATION (2019)
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Engineering Resilient Collaborative Edge-Enabled IoT. SCC (2019)
Danilo Pianini, Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap. FAS*W@SASO/ICAC (2019)
Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Self-organising Coordination Regions: A Pattern for Edge Computing. COORDINATION (2019)
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming. FAS*W@SASO/ICAC (2019)
Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services. Inf. Sci. 498 (2019)
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Case Studies for a New IoT Programming Paradigm: Fluidware. AI&IoT@AI*IA (2019)
Roberto Casadei, Mirko Viroli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach. FMEC (2019)
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109 (2019)
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms. Sci. Comput. Program. 167 (2018)
Roberto Casadei, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT. FAS*W@SASO/ICAC (2018)
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain. GOODTECHS (2018)
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing. COORDINATION (2018)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients. SASO (2017)
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing. SEFM Workshops (2017)
Roberto Casadei, Mirko Viroli
Towards Aggregate Programming in Scala. PMLDC@ECOOP (2016)
Mirko Viroli, Roberto Casadei, Danilo Pianini
On execution platforms for large-scale aggregate computing. UbiComp Adjunct (2016)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC (2016)
Mirko Viroli, Roberto Casadei, Danilo Pianini
Simulating Large-scale Aggregate MASs with Alchemist and Scala. FedCSIS (2016)