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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contributo in Atti di convegno]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) [Contributo in Atti di convegno]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, «LECTURE NOTES IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]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 [articolo]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 [articolo]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 [articolo]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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contributo in Atti di convegno]
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, «CEUR WORKSHOP PROCEEDINGS», 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) [Contributo in Atti di convegno]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) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
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 [articolo]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 [articolo]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) [Contributo in Atti di convegno]
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) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contributo in Atti di convegno]
