Følg
Roberto Casadei
Tittel
Sitert av
Sitert av
År
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
1562019
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
1002019
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
822019
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
602017
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
592021
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
572021
Simulating Large-Scale Aggregate MASs with Alchemist and Scala
R Casadei, D Pianini, M Viroli
Computer Science and Information Systems (FedCSIS), 2016 Federated …, 2016
492016
Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling
R Casadei
ACM Computing Surveys 55 (13s), 1-37, 2023
462023
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
462020
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
422019
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
392018
Scafi: A scala DSL and toolkit for aggregate programming
R Casadei, M Viroli, G Aguzzi, D Pianini
SoftwareX 20, 101248, 2022
362022
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
342016
Towards Aggregate Programming in Scala
R Casadei, M Viroli
First Workshop on Programming Models and Languages for Distributed Computing, 5, 2016
332016
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
322021
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
322020
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
322019
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
302022
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
292021
Towards attack-resistant aggregate computing using trust mechanisms
R Casadei, A Aldini, M Viroli
Science of Computer Programming 167, 114-137, 2018
282018
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20