Roberto Casadei
Title
Cited by
Cited by
Year
Modelling and simulation of opportunistic IoT services with aggregate computing
R Casadei, G Fortino, D Pianini, W Russo, C Savaglio, M Viroli
Future Generation Computer Systems 91, 252-262, 2019
962019
A development approach for collective opportunistic Edge-of-Things services
R Casadei, G Fortino, D Pianini, W Russo, C Savaglio, M Viroli
Information Sciences 498, 154-169, 2019
472019
Simulating Large-Scale Aggregate MASs with Alchemist and Scala
R Casadei, D Pianini, M Viroli
Computer Science and Information Systems (FedCSIS), 2016 Federated …, 2016
342016
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
332017
On execution platforms for large-scale aggregate computing
M Viroli, R Casadei, D Pianini
Proceedings of the 2016 ACM International Joint Conference on Pervasive and …, 2016
302016
From field-based coordination to aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
International Conference on Coordination Languages and Models, 252-279, 2018
282018
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
222019
Towards Aggregate Programming in Scala
R Casadei, M Viroli
First Workshop on Programming Models and Languages for Distributed Computing, 5, 2016
222016
Programming actor-based collective adaptive systems
R Casadei, M Viroli
Programming with Actors, 94-122, 2018
202018
Run-time management of computation domains in field calculus
G Audrito, F Damiani, M Viroli, R Casadei
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
182016
Self-organising coordination regions: a pattern for edge computing
R Casadei, D Pianini, M Viroli, A Natali
International Conference on Coordination Languages and Models, 182-199, 2019
172019
Towards attack-resistant aggregate computing using trust mechanisms
R Casadei, A Aldini, M Viroli
Science of Computer Programming 167, 114-137, 2018
152018
Coordinating computation at the edge: a decentralized, self-organizing, spatial approach
R Casadei, M Viroli
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC …, 2019
112019
Collective abstractions and platforms for large-scale self-adaptive IoT
R Casadei, M Viroli
2018 IEEE 3rd International Workshops on Foundations and Applications of …, 2018
112018
Aggregate processes in field calculus
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
International Conference on Coordination Languages and Models, 200-217, 2019
92019
Engineering resilient collaborative edge-enabled IoT
R Casadei, C Tsigkanos, M Viroli, S Dustdar
2019 IEEE International Conference on Services Computing (SCC), 36-45, 2019
82019
Partitioned integration and coordination via the self-organising coordination regions pattern
D Pianini, R Casadei, M Viroli, A Natali
Future Generation Computer Systems 114, 44-68, 2021
62021
Combining Trust and Aggregate Computing
R Casadei, A Aldini, M Viroli
15th International Workshop on Foundations of Coordination Languages and …, 2017
62017
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
52021
Transparent protection of aggregate computations from byzantine behaviours via blockchain
D Pianini, G Ciatto, R Casadei, S Mariani, M Viroli, A Omicini
Proceedings of the 4th EAI International Conference on Smart Objects and …, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20