CRIS Current Research Information System

CASADEI, ROBERTO

CASADEI, ROBERTO  

DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Ricercatori a tempo determinato  

Mostra records
Risultati 1 - 20 di 96 (tempo di esecuzione: 0.047 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Crowd digital twins: Motivation, architecture, and roadmap Casadei, R.; Delnevo, G.; Girau, R.; Mirri, S. 2026-01-01 FUTURE GENERATION COMPUTER SYSTEMS - 1.01 Articolo in rivista -
FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures Cortecchia, A.; Ciatto, G.; Casadei, R.; Pianini, D. 2026-01-01 COMPLEX & INTELLIGENT SYSTEMS - 1.01 Articolo in rivista s40747-025-02141-y.pdf
Macro-Programming Multi-Agent Systems: A Framework for Artificial Collective Intelligence (Blue Sky Ideas Track) Casadei, R. 2026-01-01 - - 4.01 Contributo in Atti di convegno -
A Demonstrator for Self-organizing Robot Teams Aguzzi, G.; Bacchini, L.; Baiardi, M.; Casadei, R.; Cortecchia, A.; Domini, D.; Farabegoli, N.; P...ianini, D.; Viroli, M. 2025-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno paper_26.pdf
Crowd Digital Twins: High-Level Requirements and Architecture Casadei, Roberto; Delnevo, Giovanni; Girau, Roberto; Mirri, Silvia 2025-01-01 - - 4.01 Contributo in Atti di convegno 1571078521 final.pdf
Declarative Deployment Planning for Green Pulverised Collective Computational Systems Brogi, A.; Casadei, R.; Farabegoli, N.; Forti, S.; Viroli, M. 2025-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno _pulverisedPlacer_TO_COORDINATION25.pdf
Experiments of Crowd Detection for Crowd Digital Twins Chong, K. P.; Lai, C. H.; Ling, W.; Lu, Z.; Wang, R.; Wang, R.; Yu, Y.; Testa, A.; Lam, C. T.; Ta...ng, S. K.; Delnevo, G.; Casadei, R.; Girau, R.; Mirri, S. 2025-01-01 - - 4.01 Contributo in Atti di convegno -
Human-Under-Test and Continual Bidirectional Assessment for Co-development of Human-AI Systems Casadei, R.; Delnevo, G.; Mirri, S. 2025-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno Human-Under-Test and Continual Bidirectional Assessment for Co-development of Human-AI Systems.pdf; paper2.pdf
Integrating Collective Computing and the Social Internet of Things for Smart Cities: A Vision Casadei, R.; Ghini, V.; Girau, R.; Pau, G. 2025-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno discoli_8_ac_and_siot_ieee_validated.pdf
MacroSwarm: A Field-based Compositional Framework for Swarm Programming Aguzzi, G.; Casadei, R.; Viroli, M. 2025-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 2401.10969v5.pdf
Preface for the special issue on selected software artifacts from DisCoTec 2023 – the 18th International Federated Conference on Distributed Computing Techniques Casadei, Roberto; Vielmo Cogo, Vinicius; Van Dijk, Tom; Scalas, Alceste 2025-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
Programming Distributed Collective Processes in the eXchange Calculus Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M 2025-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 2025-lmcs-collective-processes.pdf
Programming IoT systems: A focused conceptual framework and survey of approaches Casadei, Roberto; Fornari, Fabrizio; Mariani, Stefano; Savaglio, Claudio 2025-01-01 INTERNET OF THINGS - 1.01 Articolo in rivista 2025-iot-programming-survey-fluidware.pdf
Software Engineering for Collective Cyber-Physical Ecosystems Casadei, Roberto; Aguzzi, Gianluca; Audrito, Giorgio; Damiani, Ferruccio; Pianini, Danilo; Scarso..., Giordano; Torta, Gianluca; Viroli, Mirko 2025-01-01 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY - 1.01 Articolo in rivista paper-2024-se2030-fse-roadmap.pdf
System-wide IoT design and programming: Patterns for decentralised collective processes Casadei, R. 2025-01-01 INTERNET OF THINGS - 1.01 Articolo in rivista 2024-iot-pattern-processes.pdf
A general framework and decentralised algorithms for collective computational processes Audrito G.; Casadei R.; Torta G. 2024-01-01 FUTURE GENERATION COMPUTER SYSTEMS - 1.01 Articolo in rivista 2024-fgcs-collective-computational-processes-OA.pdf
Actor-Based Designs for Distributed Self-organisation Programming Casadei, Roberto; Damiani, Ferruccio; Torta, Gianluca; Viroli, Mirko 2024-01-01 - Springer Nature 2.01 Capitolo / saggio in libro paper-2023-lncs-active-objects-ac.pdf; paper-2023-lncs-active-objects-ac.pdf
An Aggregate Vascular Morphogenesis Controller for Engineered Self-Organising Spatial Structures Cortecchia, A.; Pianini, D.; Ciatto, G.; Casadei, R. 2024-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report Casadei, R.; Viroli, M. 2024-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno -
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach Farabegoli, N.; Pianini, D.; Casadei, R.; Viroli, M. 2024-01-01 INTERNET OF THINGS - 1.01 Articolo in rivista 1-s2.0-S2542660524003536-main.pdf; paper-2024-iot-dynamic-reconfiguration.pdf