Foto del docente

Roberto Casadei

Professore a contratto

Dipartimento di Informatica - Scienza e Ingegneria

Assegnista di ricerca

Dipartimento di Informatica - Scienza e Ingegneria

Tutor didattico

Dipartimento di Informatica - Scienza e Ingegneria

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

Pubblicazioni

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 [articolo]

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Aggregate processes in field calculus, in: Coordination Models and Languages, Heideberg, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 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) [Contributo in Atti di convegno]

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, «CEUR WORKSHOP PROCEEDINGS», 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) [Contributo in Atti di convegno]Open Access

Roberto Casadei; Mirko Viroli, Coordinating computation at the edge: A decentralized, self-organizing, spatial approach, in: Fog and Mobile Edge Computing (FMEC), International Conference on, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 60 - 67 (atti di: 4th International Conference on Fog and Mobile Edge Computing, FMEC 2019, Rome, Italy, 2019) [Contributo in Atti di convegno]

Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar, Engineering resilient collaborative edge-enabled IoT, in: Services Computing (SCC), IEEE International Conference on, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 36 - 45 (atti di: 2019 IEEE International Conference on Services Computing, SCC 2019, Milano, Italy, 8-13 July 2019) [Contributo in Atti di convegno]

Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo, From distributed coordination to field calculus and aggregate computing, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2019, 109, pp. 1 - 29 [articolo]

Casadei, Roberto; Fortino, Giancarlo; Pianini, Danilo; Russo, Wilma; Savaglio, Claudio*; Viroli, Mirko, Modelling and simulation of Opportunistic IoT Services with Aggregate Computing, «FUTURE GENERATION COMPUTER SYSTEMS», 2019, 91, pp. 252 - 262 [articolo]

Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli:, On context-orientation in aggregate programming, in: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 92 - 97 (atti di: 4th IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Umea, Sweden, 16-20 June 2019) [Contributo in Atti di convegno]

Danilo Pianini, Roberto Casadei, Mirko Viroli:, Security in collective adaptive systems: A roadmap, in: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, Los Alamitos, Institute of Electrical and Electronics Engineers Inc., 2019, pp. 86 - 91 (atti di: 4th IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019, swe, 2019) [Contributo in Atti di convegno]

Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali, Self-organising coordination regions: A pattern for edge computing, in: Coordination Models and Languages, Heideberg, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11533, pp. 182 - 199 (atti di: 21st IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, 17-21 June, 2019) [Contributo in Atti di convegno]

Casadei, Roberto; Viroli, Mirko, Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT, in: 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), Los Alamitos, CA, IEEE, 2018, pp. 106 - 111 (atti di: Engineering Collective Adaptive Systems 2018, Trento, Italy, 7/9/2018) [Contributo in Atti di convegno]

Casadei, Roberto; Aldini, Alessandro; Viroli, Mirko, Combining trust and aggregate computing, in: Software Engineering and Formal Methods, Heidelberg, Springer Verlag, 2018, 10729, pp. 507 - 522 (atti di: 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Trento, Italy, 2017) [Contributo in Atti di convegno]

Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo, From Field-Based Coordination to Aggregate Computing, in: Coordination Models and Languages, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2018, 10852, pp. 252 - 279 (atti di: Coordination 2018, Madrid, Spain, 17 June, 2018) [Contributo in Atti di convegno]

Casadei, Roberto; Viroli, Mirko, Programming Actor-Based Collective Adaptive Systems, in: Programming with Actors, heidelberg, Springer, 2018, pp. 94 - 122 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Casadei, Roberto*; Aldini, Alessandro; Viroli, Mirko, Towards attack-resistant Aggregate Computing using trust mechanisms, «SCIENCE OF COMPUTER PROGRAMMING», 2018, 167, pp. 114 - 137 [articolo]

Ultimi avvisi

Al momento non sono presenti avvisi.