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 | 150 | 2019 |
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 | 73 | 2019 |
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 | 70 | 2019 |
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 | 53 | 2017 |
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 | 49 | 2021 |
Simulating Large-Scale Aggregate MASs with Alchemist and Scala R Casadei, D Pianini, M Viroli Computer Science and Information Systems (FedCSIS), 2016 Federated …, 2016 | 47 | 2016 |
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 | 45 | 2021 |
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 | 36 | 2019 |
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 | 33 | 2016 |
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 | 32 | 2020 |
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 | 31 | 2019 |
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 | 31 | 2018 |
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 | 28 | 2020 |
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 | 26 | 2021 |
Programming actor-based collective adaptive systems R Casadei, M Viroli Programming with Actors: State-of-the-Art and Research Perspectives, 94-122, 2018 | 25 | 2018 |
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 | 24 | 2019 |
Towards Aggregate Programming in Scala R Casadei, M Viroli First Workshop on Programming Models and Languages for Distributed Computing, 5, 2016 | 24 | 2016 |
Towards attack-resistant aggregate computing using trust mechanisms R Casadei, A Aldini, M Viroli Science of Computer Programming 167, 114-137, 2018 | 23 | 2018 |
Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling R Casadei ACM Computing Surveys 55 (13s), 1-37, 2023 | 22 | 2023 |
Optimal resilient distributed data collection in mobile edge environments G Audrito, R Casadei, F Damiani, D Pianini, M Viroli Computers & Electrical Engineering 96, 107580, 2021 | 20 | 2021 |