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
1042019
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
502019
Simulating Large-Scale Aggregate MASs with Alchemist and Scala
R Casadei, D Pianini, M Viroli
Computer Science and Information Systems (FedCSIS), 2016 Federated …, 2016
372016
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
362017
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
302018
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
292016
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
232019
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
212018
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
192016
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
182019
Towards attack-resistant aggregate computing using trust mechanisms
R Casadei, A Aldini, M Viroli
Science of Computer Programming 167, 114-137, 2018
182018
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
132021
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
132019
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
132019
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
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
102021
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
102019
FScaFi : A Core Calculus for Collective Adaptive Systems Programming
R Casadei, M Viroli, G Audrito, F Damiani
International Symposium on Leveraging Applications of Formal Methods, 344-360, 2020
82020
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
72021
The system can't perform the operation now. Try again later.
Articles 1–20