Casadei R.; Viroli M.; Ricci A.; Audrito G., Tuple-Based Coordination in Large-Scale Situated Systems, in: Coordination Models and Languages. COORDINATION 2021, Heidebeld, Springer Science and Business Media Deutschland GmbH, 2021, 12717, pp. 149 - 167 (atti di: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta (Online), June 14 – 18, 2021) [Contribution to conference proceedings]Open Access
Casadei R.; Viroli M.; Ricci A., Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time, in: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Los Alamitos, IEEE, 2020, pp. 139 - 144 (atti di: 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020, Washington, DC, USA, Aug 17, 2020 - Aug 21, 2020) [Contribution to conference proceedings]Open Access
Casadei R.; Viroli M.; Audrito G.; Damiani F., FScaFi : A Core Calculus for Collective Adaptive Systems Programming, in: ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Heidebeld, Springer, 2020, 12477, pp. 344 - 360 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Rhodes, Greece, 20-30 October 2020) [Contribution to conference proceedings]Open Access
Bucchiarone A.; Dangelo M.; Pianini D.; Cabri G.; De Sanctis M.; Viroli M.; Casadei R.; Dobson S., On the Social Implications of Collective Adaptive Systems, «IEEE TECHNOLOGY & SOCIETY MAGAZINE», 2020, 39, Article number: 9204473 , pp. 36 - 46 [Scientific article]Open Access
Roberto Casadei; Danilo Pianini; Andrea Placuzzi; Mirko Viroli; Danny Weyns, Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment, «FUTURE INTERNET», 2020, 12, pp. 203 - 231 [Scientific article]Open Access
Casadei Roberto; Fortino Giancarlo; Pianini Danilo; Russo Wilma; Savaglio Claudio; Viroli Mirko, A development approach for collective opportunistic Edge-of-Things services, «INFORMATION SCIENCES», 2019, 498, pp. 154 - 169 [Scientific article]Open Access
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Aggregate processes in field calculus, in: Coordination Models and Languages, Heideberg, Springer Verlag, 2019, 11533, pp. 200 - 217 (atti di: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019, Kongens Lyngby, Denmark, 17-21 June, 2019) [Contribution to conference proceedings]
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli, Case studies for a new IoT programming paradigm: Fluidware, in: Artificial Intelligence and Internet of Things 2019. Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things (AI&IoT 2019), Aachen, CEUR-WS, 2019, 2502, pp. 82 - 96 (atti di: 1st Workshop on Artificial Intelligence and Internet of Things, AI and IoT 2019, Rende (CS), Italy, November 22, 2019) [Contribution to conference proceedings]Open Access
Casadei, Roberto; Viroli, Mirko, Coordinating computation at the edge: A decentralized, self-organizing, spatial approach, in: Fog and Mobile Edge Computing (FMEC), International Conference on, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 60 - 67 (atti di: 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019, Rome, Italy, 2019) [Contribution to conference proceedings]
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar, Engineering resilient collaborative edge-enabled IoT, in: Services Computing (SCC), IEEE International Conference on, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 36 - 45 (atti di: 2019 IEEE International Conference on Services Computing, SCC 2019, Milano, Italy, 8-13 July 2019) [Contribution to conference proceedings]
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo, From distributed coordination to field calculus and aggregate computing, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2019, 109, Article number: 100486 , pp. 1 - 29 [Scientific article]Open Access
Casadei, Roberto; Fortino, Giancarlo; Pianini, Danilo; Russo, Wilma; Savaglio, Claudio*; Viroli, Mirko, Modelling and simulation of Opportunistic IoT Services with Aggregate Computing, «FUTURE GENERATION COMPUTER SYSTEMS», 2019, 91, pp. 252 - 262 [Scientific article]Open Access
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:, On context-orientation in aggregate programming, in: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 92 - 97 (atti di: 4th IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Umea, Sweden, 16-20 June 2019) [Contribution to conference proceedings]
Danilo Pianini, Roberto Casadei, Mirko Viroli:, Security in collective adaptive systems: A roadmap, in: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 86 - 91 (atti di: 4th IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, swe, 2019) [Contribution to conference proceedings]
Casadei, Roberto; Pianini, Danilo; Viroli, Mirko; Natali, Antonio, Self-organising coordination regions: A pattern for edge computing, in: Coordination Models and Languages, Heideberg, Springer Verlag, 2019, 11533, pp. 182 - 199 (atti di: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, 17-21 June, 2019) [Contribution to conference proceedings]
