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).
  • A Model Driven Approach for Cyber Security Scenarios Deployment / C. Braghin, S. Cimato, E. Damiani, F. Frati, L. Mauri, E. Riccobene (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Computer Security / [a cura di] A.P. Fournaris, M. Athanatos, K. Lampropoulos, S. Ioannidis, G. Hatzivasilis, E. Damiani, H. Abie, S. Ranise, L. Verderame, A. Siena, J.Garcia-Alfaro. - [s.l] : Springer, 2020. - ISBN 9783030420505. - pp. 107-122 (( convegno ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC tenutosi a Luxembourg City nel 2019.
  • 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.
  • 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.
  • 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.