Foto del docente

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INFO-01/A Informatica

Pubblicazioni

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]

Casadei, Roberto; Pianini, Danilo; Viroli, Mirko; Natali, Antonio, 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]

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.