Foto del docente

Roberto Casadei

Dottorando

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, Modelling and simulation of Opportunistic IoT Services with Aggregate Computing, «FUTURE GENERATION COMPUTER SYSTEMS», 2019, 91, pp. 252 - 262 [articolo]

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]

Danilo Pianini; Giovanni Ciatto; Roberto Casadei; Stefano Mariani; Mirko Viroli; Andrea Omicini, Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain, in: Marco Furini, Silvia Mirri, Kevin Bouchard, Barbara Guidi, GOODTECHS'18 – Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, New York, NY, ACM, 2018, pp. 271 - 276 (atti di: GOODTECHS'18 – 4th EAI International Conference on Smart Objects and Technologies for Social Good, pages 271-276, November 2018, ACM, New Work, NY, USA, Bologna, Italy, 28-30 November 2018) [Contributo in Atti di convegno]

Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko, Compositional Blocks for Optimal Self-Healing Gradients, in: Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 91 - 100 (atti di: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, AZ, 2017) [Contributo in Atti di convegno]

Viroli, Mirko; Casadei, Roberto; Pianini, Danilo, On execution platforms for large-scale aggregate computing, in: UbiComp 2016 Adjunct - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, New York, NY, USA, Association for Computing Machinery, Inc, 2016, pp. 1321 - 1326 (atti di: 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp 2016, Heidelberg, Germany, 2016) [Contributo in Atti di convegno]

Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto, Run-Time management of computation domains in field calculus, in: Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, Los Alamitos, CA, USA, IEEE, 2016, pp. 192 - 197 (atti di: 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, Augsburg, Germany, 2016) [Contributo in Atti di convegno]

Casadei, Roberto; Pianini, Danilo; Viroli, Mirko, Simulating large-scale aggregate MASs with alchemist and scala, in: Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, Institute of Electrical and Electronics Engineers Inc., 2016, 8, pp. 1495 - 1504 (atti di: 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, pol, 2016) [Contributo in Atti di convegno]

Casadei, Roberto; Viroli, Mirko, Towards aggregate programming in Scala, in: PMLDC '16 First Workshop on Programming Models and Languages for Distributed Computing, New York, NY, USA, Association for Computing Machinery, 2016, 17, pp. 1 - 7 (atti di: 1st Workshop on Programming Models and Languages for Distributed Computing, PMLDC 2016, ita, 2016) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.