Foto del docente

Roberto Casadei

Senior assistant professor (fixed-term)

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Publications

Aguzzi, G.; Bacchini, L.; Baiardi, M.; Casadei, R.; Cortecchia, A.; Domini, D.; Farabegoli, N.; Pianini, D.; Viroli, M., A Demonstrator for Self-organizing Robot Teams, in: Coordination Models and Languages. COORDINATION 2025, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2025, 15731, pp. 230 - 244 (atti di: 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Francia, Lille, June 17–19, 2025) [Contribution to conference proceedings]

Aguzzi, G.; Casadei, R.; Viroli, M., MacroSwarm: A Field-based Compositional Framework for Swarm Programming, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, 21, Article number: 13 , pp. 1 - 48 [Scientific article]Open Access

Casadei, Roberto; Vielmo Cogo, Vinicius; Van Dijk, Tom; Scalas, Alceste, Preface for the special issue on selected software artifacts from DisCoTec 2023 – the 18th International Federated Conference on Distributed Computing Techniques, «SCIENCE OF COMPUTER PROGRAMMING», 2025, 243, Article number: 103255 , pp. 1 - 3 [Scientific article]

Casadei, Roberto; Fornari, Fabrizio; Mariani, Stefano; Savaglio, Claudio, Programming IoT systems: A focused conceptual framework and survey of approaches, «INTERNET OF THINGS», 2025, 31, Article number: 101548 , pp. 1 - 27 [Scientific article]Open Access

Casadei, Roberto; Aguzzi, Gianluca; Audrito, Giorgio; Damiani, Ferruccio; Pianini, Danilo; Scarso, Giordano; Torta, Gianluca; Viroli, Mirko, Software Engineering for Collective Cyber-Physical Ecosystems, «ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY», 2025, 34, Article number: 153 , pp. 1 - 40 [Scientific article]Open Access

Casadei, R., System-wide IoT design and programming: Patterns for decentralised collective processes, «INTERNET OF THINGS», 2025, 29, Article number: 101436 , pp. 1 - 31 [Scientific article]Open Access

Audrito G.; Casadei R.; Torta G., A general framework and decentralised algorithms for collective computational processes, «FUTURE GENERATION COMPUTER SYSTEMS», 2024, 158, pp. 11 - 27 [Scientific article]Open Access

Casadei, Roberto; Damiani, Ferruccio; Torta, Gianluca; Viroli, Mirko, Actor-Based Designs for Distributed Self-organisation Programming, in: Active Object Languages: Current Research Trends, Berlin, Springer Nature, 2024, pp. 37 - 58 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]Open Access

Cortecchia, A.; Pianini, D.; Ciatto, G.; Casadei, R., An Aggregate Vascular Morphogenesis Controller for Engineered Self-Organising Spatial Structures, in: Proceedings - 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024, Institute of Electrical and Electronics Engineers Inc., 2024, pp. 133 - 138 (atti di: 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024, dnk, 2024) [Contribution to conference proceedings]

Casadei, R.; Viroli, M., Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report, in: ACM International Conference Proceeding Series, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, 2024, pp. 1 - 5 (atti di: 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, 26th International Symposium on Formal Methods and held in conjunction with LOPSTR 2024, Politecnico di Milano, ita, 2024) [Contribution to conference proceedings]

Farabegoli, N.; Pianini, D.; Casadei, R.; Viroli, M., Dynamic IoT deployment reconfiguration: A global-level self-organisation approach, «INTERNET OF THINGS», 2024, 28, Article number: 101412 , pp. 1 - 20 [Scientific article]Open Access

Casadei R.; Esterle L.; Gamble R.; Harvey P.; Wanner E.F., Editorial: Understanding and engineering cyber-physical collectives, «FRONTIERS IN ROBOTICS AND AI», 2024, 11, pp. 1 - 5 [Scientific article]

Farabegoli, Nicolas; Viroli, Mirko; Casadei, Roberto, Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach, in: Proceedings - 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024, Institute of Electrical and Electronics Engineers Inc., 2024, pp. 21 - 30 (atti di: 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2024, dnk, 2024) [Contribution to conference proceedings]

Casadei, R.; Fornari, F.; Mariani, S.; Savaglio, C., Fluidware Meets Digital Twins, in: Fluidware: Novel Approaches for Large-Scale IoT Systems, Cham, Springer Nature, 2024, pp. 137 - 154 (INTERNET OF THINGS) [Chapter or essay]Open Access

Aguzzi, G.; Casadei, R.; Mariani, S.; Viroli, M.; Zambonelli, F., Learning Opportunities in Collective Adaptive Systems, in: Fluidware: Novel Approaches for Large-Scale IoT Systems, Cham, Springer Nature, 2024, pp. 179 - 199 (INTERNET OF THINGS) [Chapter or essay]Open Access

Latest news

At the moment no news are available.