Roberto Casadei
Orcid: 0000-0001-9149-949X
According to our database1,
Roberto Casadei
authored at least 73 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
The eXchange Calculus (XC): A functional programming language design for distributed collective systems.
J. Syst. Softw., April, 2024
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
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
Proceedings of the IEEE Symposium on Computers and Communications, 2024
Proceedings of the Coordination Models and Languages, 2024
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
Swarm Intell., June, 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
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
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
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023
2022
Dataset, April, 2022
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
IEEE Internet Comput., 2022
Dagstuhl Artifacts Ser., 2022
Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022
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
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2022
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
Log. Methods Comput. Sci., 2021
J. Syst. Softw., 2021
Partitioned integration and coordination via the self-organising coordination regions pattern.
Future Gener. Comput. Syst., 2021
Eng. Appl. Artif. Intell., 2021
Comput. Electr. Eng., 2021
Proceedings of the Coordination Models and Languages, 2021
Proceedings of the Coordination Models and Languages, 2021
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
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
Dataset, November, 2020
IEEE Technol. Soc. Mag., 2020
Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment.
Future Internet, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
J. Log. Algebraic Methods Program., 2019
Inf. Sci., 2019
Future Gener. Comput. Syst., 2019
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019
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
Proceedings of the Coordination Models and Languages, 2019
Proceedings of the Coordination Models and Languages, 2019
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
Proceedings of the 2019 IEEE International Conference on Services Computing, 2019
2018
Proceedings of the Programming with Actors - State-of-the-Art and Research Perspectives, 2018
Sci. Comput. Program., 2018
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
Proceedings of the Coordination Models and Languages, 2018
2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
2016
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016
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
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016