Foto del docente

Roberto Casadei

Ricercatore a tempo determinato tipo a) (junior)

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Pubblicazioni

Casadei R.; Pianini D.; Viroli M.; Weyns D., Digital twins, virtual devices, and augmentations for self-organising cyber-physical collectives, «APPLIED SCIENCES», 2022, 12, Article number: 349, pp. 1 - 25 [articolo]

Casadei R.; Aguzzi G.; Viroli M., A programming approach to collective autonomy, «JOURNAL OF SENSOR AND ACTUATOR NETWORKS», 2021, 10, Article number: 27, pp. 1 - 23 [articolo]

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]

Casadei R.; Placuzzi A.; Viroli M.; Weyns D., Augmented Collective Digital Twins for Self-Organising Cyber-Physical Systems, in: Proceedings - 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. 160 - 165 (atti di: 2nd IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2021, DC, USA, 2021) [Contributo in Atti di convegno]

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]

Audrito G.; Casadei R.; Torta G., Fostering resilient execution of multi-agent plans through self-organisation, in: Proceedings - 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, usa, 2021) [Contributo in Atti di convegno]

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]

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]

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

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, Volume 17, Issue 4, 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: Proceedings - 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, 2021) [Contributo in Atti di convegno]

Casadei R.; Viroli M.; Ricci A.; Audrito G., Tuple-Based Coordination in Large-Scale Situated Systems, 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. 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, Online, 2021) [Contributo in Atti di convegno]

Casadei R.; Viroli M.; Ricci A., Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time, in: Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020, Los Alamitos, IEEE, 2020, pp. 139 - 144 (atti di: 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020, USA, Aug 17, 2020 - Aug 21, 2020) [Contributo in Atti di convegno]

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

Ultimi avvisi

Al momento non sono presenti avvisi.