Foto del docente

Roberto Casadei

Senior assistant professor (fixed-term)

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Publications

Audrito G.; Casadei R.; Torta G., Fostering resilient execution of multi-agent plans through self-organisation, in: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 81 - 86 (atti di: 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, DC, USA, 27 September 2021 - 01 October 2021) [Contribution to conference proceedings]Open Access

Audrito G.; Casadei R.; Damiani F.; Pianini D.; Viroli M., Optimal resilient distributed data collection in mobile edge environments, «COMPUTERS & ELECTRICAL ENGINEERING», 2021, 96, Article number: 107580 , pp. 1 - 16 [Scientific article]Open Access

Pianini D.; Casadei R.; Viroli M.; Natali A., Partitioned integration and coordination via the self-organising coordination regions pattern, «FUTURE GENERATION COMPUTER SYSTEMS», 2021, 114, pp. 44 - 68 [Scientific article]Open Access

Aguzzi G.; Casadei R.; Maltoni N.; Pianini D.; Viroli M., ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heidebeld, Springer Science and Business Media Deutschland GmbH, 2021, 12717, pp. 285 - 299 (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

Pianini, Danilo; Casadei, Roberto; Viroli, Mirko; Mariani, Stefano; Zambonelli, Franco, Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers, «LOGICAL METHODS IN COMPUTER SCIENCE», 2021, 17, Article number: 8755 , pp. 1 - 48 [Scientific article]Open Access

Audrito G.; Casadei R.; Torta G., Towards Integration of Multi-Agent Planning with Self-Organising Collective Processes, in: Proceedings - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, IEEE-CS, 2021, pp. 297 - 298 (atti di: 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, usa, 2021) [Poster]

Aguzzi G.; Casadei R.; Pianini D.; Salvaneschi G.; Viroli M., Towards Pulverised Architectures for Collective Adaptive Systems through Multitier Programming, in: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, Los Alamos, CA, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 99 - 104 (atti di: 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, DC, USA, 27 September 2021 - 01 October 2021) [Contribution to conference proceedings]Open Access

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

Latest news

At the moment no news are available.