Roberto Casadei

Orcid: 0000-0001-9149-949X

According to our database1, Roberto Casadei authored at least 73 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The eXchange Calculus (XC): A functional programming language design for distributed collective systems.
J. Syst. Softw., April, 2024

Editorial: Understanding and engineering cyber-physical collectives.
Frontiers Robotics AI, 2024

Scalability through Pulverisation: Declarative deployment reconfiguration at runtime.
Future Gener. Comput. Syst., 2024

A general framework and decentralised algorithms for collective computational processes.
Future Gener. Comput. Syst., 2024

Software Engineering for Collective Cyber-Physical Ecosystems.
CoRR, 2024

Programming Distributed Collective Processes in the eXchange Calculus.
CoRR, 2024

Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

Modelling Groups of Humans: Towards Crowd Digital Twins.
Proceedings of the IEEE Symposium on Computers and Communications, 2024

ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design.
Proceedings of the Coordination Models and Languages, 2024

Actor-Based Designs for Distributed Self-organisation Programming.
Proceedings of the Active Object Languages: Current Research Trends, 2024

2023
A field-based computing approach to sensing-driven clustering in robot swarms.
Swarm Intell., June, 2023

Space-Fluid Adaptive Sampling by Self-Organisation.
Log. Methods Comput. Sci., 2023

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala.
Log. Methods Comput. Sci., 2023

Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling.
ACM Comput. Surv., 2023

Artificial Collective Intelligence Engineering: A Survey of Concepts and Perspectives.
Artif. Life, 2023

Towards Collective Sentiment Analysis in IoT-Enabled Scenarios.
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.
Proceedings of the Coordination Models and Languages, 2023

MacroSwarm: A Field-Based Compositional Framework for Swarm Programming.
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.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

Self-Organisation Programming: A Functional Reactive Macro Approach.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022
ScaFi: A Scala DSL and Toolkit for Aggregate Programming.
SoftwareX, December, 2022

Dynamic decentralization domains for the Internet of Things - Simulation Repository.
Dataset, April, 2022

A Collective Adaptive Approach to Decentralised k-Coverage in Multi-robot Systems.
ACM Trans. Auton. Adapt. Syst., 2022

A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge.
IEEE Internet Things J., 2022

Dynamic Decentralization Domains for the Internet of Things.
IEEE Internet Comput., 2022

Functional Programming for Distributed Systems with XC (Artifact).
Dagstuhl Artifacts Ser., 2022

Machine Learning for Aggregate Computing: a Research Roadmap.
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

Functional Programming for Distributed Systems with XC.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022

Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach.
Proceedings of the Coordination Models and Languages, 2022

Towards Reinforcement Learning-based Aggregate Computing.
Proceedings of the Coordination Models and Languages, 2022

Self-stabilising Priority-Based Multi-Leader Election and Network Partitioning.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022

On the Dynamic Evolution of Distributed Computational Aggregates.
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.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022

2021
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers.
Log. Methods Comput. Sci., 2021

Adaptive distributed monitors of spatial properties for cyber-physical systems.
J. Syst. Softw., 2021

A Programming Approach to Collective Autonomy.
J. Sens. Actuator Networks, 2021

Partitioned integration and coordination via the self-organising coordination regions pattern.
Future Gener. Comput. Syst., 2021

Engineering collective intelligence at the edge with aggregate processes.
Eng. Appl. Artif. Intell., 2021

Optimal resilient distributed data collection in mobile edge environments.
Comput. Electr. Eng., 2021

Tuple-Based Coordination in Large-Scale Situated Systems.
Proceedings of the Coordination Models and Languages, 2021

ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming.
Proceedings of the Coordination Models and Languages, 2021

Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems.
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.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Fostering resilient execution of multi-agent plans through self-organisation.
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.
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.
Dataset, November, 2020

On the Social Implications of Collective Adaptive Systems.
IEEE Technol. Soc. Mag., 2020

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

Computation Against a Neighbour.
CoRR, 2020

FScaFi : A Core Calculus for Collective Adaptive Systems Programming.
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.
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.
J. Log. Algebraic Methods Program., 2019

A development approach for collective opportunistic Edge-of-Things services.
Inf. Sci., 2019

Modelling and simulation of Opportunistic IoT Services with Aggregate Computing.
Future Gener. Comput. Syst., 2019

Security in Collective Adaptive Systems: A Roadmap.
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

On Context-Orientation in Aggregate Programming.
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.
Proceedings of the Fourth International Conference on Fog and Mobile Edge Computing, 2019

Aggregate Processes in Field Calculus.
Proceedings of the Coordination Models and Languages, 2019

Self-organising Coordination Regions: A Pattern for Edge Computing.
Proceedings of the Coordination Models and Languages, 2019

Case Studies for a New IoT Programming Paradigm: Fluidware.
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.
Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018
Programming Actor-Based Collective Adaptive Systems.
Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018

Towards attack-resistant Aggregate Computing using trust mechanisms.
Sci. Comput. Program., 2018

Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT.
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.
Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

From Field-Based Coordination to Aggregate Computing.
Proceedings of the Coordination Models and Languages, 2018

2017
Combining Trust and Aggregate Computing.
Proceedings of the Software Engineering and Formal Methods, 2017

Compositional Blocks for Optimal Self-Healing Gradients.
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.
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.
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.
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

Towards Aggregate Programming in Scala.
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016


  Loading...