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
722019
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
412019
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
312017
Simulating Large-Scale Aggregate MASs with Alchemist and Scala
R Casadei, D Pianini, M Viroli
Computer Science and Information Systems (FedCSIS), 2016 Federated …, 2016
312016
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
272018
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
272016
Towards Aggregate Programming in Scala
R Casadei, M Viroli
First Workshop on Programming Models and Languages for Distributed Computing, 5, 2016
232016
Programming actor-based collective adaptive systems
R Casadei, M Viroli
Programming with Actors, 94-122, 2018
192018
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
172016
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
162019
Towards attack-resistant aggregate computing using trust mechanisms
R Casadei, A Aldini, M Viroli
Science of Computer Programming 167, 114-137, 2018
142018
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
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
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
72019
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
62019
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
62019
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
62018
Combining Trust and Aggregate Computing
R Casadei, A Aldini, M Viroli
15th International Workshop on Foundations of Coordination Languages and …, 2017
62017
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
3*2021
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
22020
The system can't perform the operation now. Try again later.
Articles 1–20