| 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 | 156 | 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 | 97 | 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 | 81 | 2019 |
| 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 | 59 | 2021 |
| 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 | 57 | 2021 |
| 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 | 55 | 2017 |
| Simulating Large-Scale Aggregate MASs with Alchemist and Scala R Casadei, D Pianini, M Viroli Computer Science and Information Systems (FedCSIS), 2016 Federated …, 2016 | 52 | 2016 |
| Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling R Casadei ACM Computing Surveys 55 (13s), 1-37, 2023 | 46 | 2023 |
| 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 | 45 | 2020 |
| 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 | 43 | 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 | 40 | 2018 |
| ScaFi: A Scala DSL and toolkit for aggregate programming R Casadei, M Viroli, G Aguzzi, D Pianini SoftwareX 20, 101248, 2022 | 38 | 2022 |
| 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 | 37 | 2016 |
| Towards Aggregate Programming in Scala R Casadei, M Viroli First Workshop on Programming Models and Languages for Distributed Computing, 5, 2016 | 36 | 2016 |
| 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 | 33 | 2019 |
| 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 | 31 | 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 | 31 | 2020 |
| 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 | 29 | 2022 |
| 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 | 29 | 2021 |
| Towards attack-resistant aggregate computing using trust mechanisms R Casadei, A Aldini, M Viroli Science of Computer Programming 167, 114-137, 2018 | 28 | 2018 |
Mirko ViroliFull Professor of Computer Science, Università di Bolognaunibo.it의 이메일 확인됨
