Artigos com autorizações de acesso público - Roberto CasadeiSaiba mais
Não disponível em nenhum local: 1
Self-organisation programming: a functional reactive macro approach
R Casadei, F Dente, G Aguzzi, D Pianini, M Viroli
2023 IEEE International Conference on Autonomic Computing and Self …, 2023
Autorizações: Government of Italy
Disponíveis em algum local: 26
From distributed coordination to field calculus and aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Journal of Logical and Algebraic Methods in Programming 109, 100486, 2019
Autorizações: European Commission
Compositional blocks for optimal self-healing gradients
G Audrito, R Casadei, F Damiani, M Viroli
2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing …, 2017
Autorizações: European Commission
Engineering collective intelligence at the edge with aggregate processes
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
Engineering Applications of Artificial Intelligence 97, 104081, 2021
Autorizações: Government of Italy
Pulverization in cyber-physical systems: Engineering the self-organizing logic separated from deployment
R Casadei, D Pianini, A Placuzzi, M Viroli, D Weyns
Future Internet 12 (11), 203, 2020
Autorizações: Government of Italy
From field-based coordination to aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
Autorizações: European Commission
Scafi: A scala DSL and toolkit for aggregate programming
R Casadei, M Viroli, G Aguzzi, D Pianini
SoftwareX 20, 101248, 2022
Autorizações: Government of Italy
Adaptive distributed monitors of spatial properties for cyber–physical systems
G Audrito, R Casadei, F Damiani, V Stolz, M Viroli
Journal of Systems and Software 175, 110908, 2021
Autorizações: Government of Italy
A methodology and simulation-based toolchain for estimating deployment performance of smart collective services at the edge
R Casadei, G Fortino, D Pianini, A Placuzzi, C Savaglio, M Viroli
IEEE Internet of Things Journal 9 (20), 20136-20148, 2022
Autorizações: Government of Italy
Time-fluid field-based coordination through programmable distributed schedulers
D Pianini, R Casadei, M Viroli, S Mariani, F Zambonelli
Logical Methods in Computer Science 17, 2021
Autorizações: Government of Italy
Optimal resilient distributed data collection in mobile edge environments
G Audrito, R Casadei, F Damiani, D Pianini, M Viroli
Computers & Electrical Engineering 96, 107580, 2021
Autorizações: Government of Italy
Towards reinforcement learning-based aggregate computing
G Aguzzi, R Casadei, M Viroli
International Conference on Coordination Languages and Models, 72-91, 2022
Autorizações: Government of Italy
Functional programming for distributed systems with XC
G Audrito, R Casadei, F Damiani, G Salvaneschi, M Viroli
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 222, 1-28, 2022
Autorizações: Swiss National Science Foundation
Digital twins, virtual devices, and augmentations for self-organising cyber-physical collectives
R Casadei, D Pianini, M Viroli, D Weyns
Applied Sciences 12 (1), 349, 2021
Autorizações: Government of Italy
The exchange calculus (XC): A functional programming language design for distributed collective systems
G Audrito, R Casadei, F Damiani, G Salvaneschi, M Viroli
Journal of Systems and Software 210, 111976, 2024
Autorizações: Swiss National Science Foundation
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming
G Aguzzi, R Casadei, M Viroli
International Conference on Coordination Languages and Models, 31-51, 2023
Autorizações: Government of Italy
Machine learning for aggregate computing: a research roadmap
G Aguzzi, R Casadei, M Viroli
2022 IEEE 42nd International Conference on Distributed Computing Systems …, 2022
Autorizações: Government of Italy
Dynamic decentralization domains for the internet of things
G Aguzzi, R Casadei, D Pianini, M Viroli
IEEE Internet Computing 26 (6), 16-23, 2022
Autorizações: Government of Italy
Self-stabilising priority-based multi-leader election and network partitioning
D Pianini, R Casadei, M Viroli
2022 IEEE international conference on autonomic computing and self …, 2022
Autorizações: Government of Italy
A collective adaptive approach to decentralised k-coverage in multi-robot systems
D Pianini, F Pettinari, R Casadei, L Esterle
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 17 (1-2), 1-39, 2022
Autorizações: Government of Italy
As informações de publicação e financiamento são determinadas automaticamente por um programa informático.