Roberto Casadei

According to our database, Roberto Casadei authored at least 74 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The eXchange Calculus (XC): A functional programming language design for distributed collective systems.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli

J. Syst. Softw., April, 2024

Dynamic IoT deployment reconfiguration: A global-level self-organisation approach.

Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli

Internet Things, 2024

Editorial: Understanding and engineering cyber-physical collectives.

Roberto Casadei, Lukas Esterle, Rose F. Gamble, Paul Harvey, Elizabeth F. Wanner

Frontiers Robotics AI, 2024

Scalability through Pulverisation: Declarative deployment reconfiguration at runtime.

Nicolas Farabegoli, Danilo Pianini, Roberto Casadei, Mirko Viroli

Future Gener. Comput. Syst., 2024

A general framework and decentralised algorithms for collective computational processes.

Giorgio Audrito, Roberto Casadei, Gianluca Torta

Future Gener. Comput. Syst., 2024

Software Engineering for Collective Cyber-Physical Ecosystems.

Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli

CoRR, 2024

Programming Distributed Collective Processes in the eXchange Calculus.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli

CoRR, 2024

Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report.

Roberto Casadei, Mirko Viroli

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

Modelling Groups of Humans: Towards Crowd Digital Twins.

Roberto Casadei, Giovanni Delnevo, Roberto Girau, Silvia Mirri

Proceedings of the IEEE Symposium on Computers and Communications, 2024

ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design.

Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni, Mirko Viroli

Proceedings of the Coordination Models and Languages, 2024

Actor-Based Designs for Distributed Self-organisation Programming.

Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

A field-based computing approach to sensing-driven clustering in robot swarms.

Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli

Swarm Intell., June, 2023

Space-Fluid Adaptive Sampling by Self-Organisation.

Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli

Log. Methods Comput. Sci., 2023

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli

Log. Methods Comput. Sci., 2023

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling.

Roberto Casadei

ACM Comput. Surv., 2023

Artificial Collective Intelligence Engineering: A Survey of Concepts and Perspectives.

Roberto Casadei

Artif. Life, 2023

Towards Collective Sentiment Analysis in IoT-Enabled Scenarios.

Claudio Savaglio, Roberto Casadei, Pietro Manzoni, Mirko Viroli, Giancarlo Fortino

Proceedings of the 19th International Conference on Distributed Computing in Smart Systems and the Internet of Things, 2023

Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli

Proceedings of the Coordination Models and Languages, 2023

MacroSwarm: A Field-Based Compositional Framework for Swarm Programming.

Gianluca Aguzzi, Roberto Casadei, Mirko Viroli

Proceedings of the Coordination Models and Languages, 2023

Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More.

Roberto Casadei, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

Self-Organisation Programming: A Functional Reactive Macro Approach.

Roberto Casadei, Francesco Dente, Gianluca Aguzzi, Danilo Pianini, Mirko Viroli

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022

ScaFi: A Scala DSL and Toolkit for Aggregate Programming.

Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini

SoftwareX, December, 2022

Dynamic decentralization domains for the Internet of Things - Simulation Repository.

Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli

Dataset, April, 2022

A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems.

Danilo Pianini, Federico Pettinari, Roberto Casadei, Lukas Esterle

ACM Trans. Auton. Adapt. Syst., 2022

A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge.

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli

IEEE Internet Things J., 2022

Dynamic Decentralization Domains for the Internet of Things.

Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Mirko Viroli

IEEE Internet Comput., 2022

Functional Programming for Distributed Systems with XC (Artifact).

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli

Dagstuhl Artifacts Ser., 2022

Machine Learning for Aggregate Computing: a Research Roadmap.

Gianluca Aguzzi, Roberto Casadei, Mirko Viroli

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Functional Programming for Distributed Systems with XC.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.

Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli

Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach.

Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli

Proceedings of the Coordination Models and Languages, 2022

Towards Reinforcement Learning-based Aggregate Computing.

Gianluca Aguzzi, Roberto Casadei, Mirko Viroli

Proceedings of the Coordination Models and Languages, 2022

Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning.

Danilo Pianini, Roberto Casadei, Mirko Viroli

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022

On the Dynamic Evolution of Distributed Computational Aggregates.

Giorgio Audrito, Roberto Casadei, Gianluca Torta

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach.

Gianluca Aguzzi, Roberto Casadei, Mirko Viroli

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022

2021

Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers.

Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli

Log. Methods Comput. Sci., 2021

Adaptive distributed monitors of spatial properties for cyber-physical systems.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli

J. Syst. Softw., 2021

A Programming Approach to Collective Autonomy.

Roberto Casadei, Gianluca Aguzzi, Mirko Viroli

J. Sens. Actuator Networks, 2021

Partitioned integration and coordination via the self-organising coordination regions pattern.

Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali

Future Gener. Comput. Syst., 2021

Engineering collective intelligence at the edge with aggregate processes.

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani

Eng. Appl. Artif. Intell., 2021

Optimal resilient distributed data collection in mobile edge environments.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli

Comput. Electr. Eng., 2021

Tuple-Based Coordination in Large-Scale Situated Systems.

Roberto Casadei, Mirko Viroli, Alessandro Ricci, Giorgio Audrito

Proceedings of the Coordination Models and Languages, 2021

ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming.

Gianluca Aguzzi, Roberto Casadei, Niccolò Maltoni, Danilo Pianini, Mirko Viroli

Proceedings of the Coordination Models and Languages, 2021

Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems.

Roberto Casadei, Andrea Placuzzi, Mirko Viroli, Danny Weyns

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes.

Giorgio Audrito, Roberto Casadei, Gianluca Torta

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Fostering resilient execution of multi-agent plans through self-organisation.

Giorgio Audrito, Roberto Casadei, Gianluca Torta

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Towards Pulverised Architectures for Collective Adaptive Systems through Multi-Tier Programming.

Gianluca Aguzzi, Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

aPlacuzzi/Experiment-2020-FutureInternet-LoRa 0.1.0-2020-11-24T153641.

Andrea Placuzzi, Danilo Pianini, Roberto Casadei, Mirko Viroli, Danny Weyns

Dataset, November, 2020

On the Social Implications of Collective Adaptive Systems.

Antonio Bucchiarone, Mirko D'Angelo, Danilo Pianini, Giacomo Cabri, Martina De Sanctis, Mirko Viroli, Roberto Casadei, Simon Dobson

IEEE Technol. Soc. Mag., 2020

Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment.

Roberto Casadei, Danilo Pianini, Andrea Placuzzi, Mirko Viroli, Danny Weyns

Future Internet, 2020

Computation Against a Neighbour.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli

CoRR, 2020

FScaFi : A Core Calculus for Collective Adaptive Systems Programming.

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time.

Roberto Casadei, Mirko Viroli, Alessandro Ricci

Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

From distributed coordination to field calculus and aggregate computing.

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini

J. Log. Algebraic Methods Program., 2019

A development approach for collective opportunistic Edge-of-Things services.

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli

Inf. Sci., 2019

Modelling and simulation of Opportunistic IoT Services with Aggregate Computing.

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli

Future Gener. Comput. Syst., 2019

Security in Collective Adaptive Systems: A Roadmap.

Danilo Pianini, Roberto Casadei, Mirko Viroli

Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

On Context-Orientation in Aggregate Programming.

Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli

Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach.

Roberto Casadei, Mirko Viroli

Proceedings of the Fourth International Conference on Fog and Mobile Edge Computing, 2019

Aggregate Processes in Field Calculus.

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani

Proceedings of the Coordination Models and Languages, 2019

Self-organising Coordination Regions: A Pattern for Edge Computing.

Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali

Proceedings of the Coordination Models and Languages, 2019

Case Studies for a New IoT Programming Paradigm: Fluidware.

Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli

Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

Engineering Resilient Collaborative Edge-Enabled IoT.

Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar

Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018

Programming Actor-Based Collective Adaptive Systems.

Roberto Casadei, Mirko Viroli

Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018

Towards attack-resistant Aggregate Computing using trust mechanisms.

Roberto Casadei, Alessandro Aldini, Mirko Viroli

Sci. Comput. Program., 2018

Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT.

Roberto Casadei, Mirko Viroli

Proceedings of the 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.

Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini

Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

From Field-Based Coordination to Aggregate Computing.

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini

Proceedings of the Coordination Models and Languages, 2018

2017

Combining Trust and Aggregate Computing.

Roberto Casadei, Alessandro Aldini, Mirko Viroli

Proceedings of the Software Engineering and Formal Methods, 2017

Compositional Blocks for Optimal Self-Healing Gradients.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli

Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

2016

Run-Time Management of Computation Domains in Field Calculus.

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

On execution platforms for large-scale aggregate computing.

Mirko Viroli, Roberto Casadei, Danilo Pianini

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016

Simulating Large-scale Aggregate MASs with Alchemist and Scala.

Mirko Viroli, Roberto Casadei, Danilo Pianini

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Towards Aggregate Programming in Scala.

Roberto Casadei, Mirko Viroli

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016