Foto del docente

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Audrito G.; Casadei R.; Damiani F.; Stolz V.; Viroli M., Adaptive distributed monitors of spatial properties for cyber–physical systems, «THE JOURNAL OF SYSTEMS AND SOFTWARE», 2021, 175, Article number: 110908, pp. 1 - 22 [articolo]Open Access

Casadei R.; Placuzzi A.; Viroli M.; Weyns D., Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems, in: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Los Alamos, CA, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 160 - 165 (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) [Contributo in Atti di convegno]Open Access

Casadei R.; Viroli M.; Audrito G.; Pianini D.; Damiani F., Engineering collective intelligence at the edge with aggregate processes, «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE», 2021, 97, Article number: 104081, pp. 1 - 30 [articolo]Open Access

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

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) [atti di convegno-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) [Contributo in Atti di convegno]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, «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

Ultimi avvisi

Al momento non sono presenti avvisi.