Riccobene Elvinia Maria

PROFESSORE ORDINARIO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA

Contatti

Sede di lavoro

Via Celoria, 18

Numero di telefono dell'ufficio
02503 16232
Altri numeri di telefono
0250316232
E-mail di ateneo
Sito web
Ricevimento
su appuntamento
Luogo di ricevimento
Dipartimento di Informatica
Ricerca

Pubblicazioni

Pubblicazioni
  • 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.