Follow
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
1502019
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
702019
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
692019
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
532017
Simulating Large-Scale Aggregate MASs with Alchemist and Scala
R Casadei, D Pianini, M Viroli
Computer Science and Information Systems (FedCSIS), 2016 Federated …, 2016
482016
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
442021
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
442021
Self-organising coordination regions: A pattern for edge computing
R Casadei, D Pianini, M Viroli, A Natali
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
342019
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
332018
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
322016
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
312020
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
302020
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
292019
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
252021
Programming actor-based collective adaptive systems
R Casadei, M Viroli
Programming with Actors: State-of-the-Art and Research Perspectives, 94-122, 2018
252018
Aggregate processes in field calculus
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
242019
Towards Aggregate Programming in Scala
R Casadei, M Viroli
First Workshop on Programming Models and Languages for Distributed Computing, 5, 2016
242016
Towards attack-resistant aggregate computing using trust mechanisms
R Casadei, A Aldini, M Viroli
Science of Computer Programming 167, 114-137, 2018
232018
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
212021
Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling
R Casadei
ACM Computing Surveys, 2023
192023
The system can't perform the operation now. Try again later.
Articles 1–20