Riccobene Elvinia Maria

Full professor
SSD
INF/01 - INFORMATICS
Competition sector
01/B1 - INFORMATICS

Contacts

Workplace

Via Celoria, 18

Office phone number
02503 16232
Additional phone numbers
0250316232
University email address
Web site
Office hours
on appointment
Office
Dept. of Computer Science
Research

Publications

Publications
  • MSL: A pattern language for engineering self-adaptive systems / P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra. - In: THE JOURNAL OF SYSTEMS AND SOFTWARE. - ISSN 0164-1212. - 164(2020 Jun).
  • Model-Based Testing for MAPE-K adaptation control loops / P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra - In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)[s.l] : IEEE, 2020. - ISBN 9781728110752. - pp. 43-51 (( Intervento presentato al 13. convegno ICSTW tenutosi a Porto nel 2020.
  • Addressing usability in a formal development environment / P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Formal Methods : FM 2019 International Workshops[s.l] : Springer, 2020. - ISBN 9783030549930. - pp. 61-76 (( Intervento presentato al 3. convegno World Congress on Formal Methods tenutosi a Porto nel 2019.
  • Smart home platform supporting decentralized adaptive automation control / P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra, A. Arrigoni, D. Bosc, F. Modica, R. Pedercini - In: SAC '20: Proceedings / [a cura di] C.-C. Hung, T. Cerny. - [s.l] : ACM, 2020. - ISBN 9781450368667. - pp. 1893-1900 (( Intervento presentato al 35. convegno Annual ACM Symposium on Applied Computing tenutosi a Czech nel 2020.
  • Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA / P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Rigorous State-Based Methods / [a cura di] A. Raschke, D. Méry, F. Houdek. - [s.l] : Springer, 2020. - ISBN 9783030480769. - pp. 302-317 (( Intervento presentato al 7. convegno International Conference on Rigorous State-Based Methods, ABZ 2020 tenutosi a Ulm nel 2020.