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

Didattica

Ricerca

Pubblicazioni
  • 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.
  • Fault-based test generation for regular expressions by mutation / P. Arcaini, A. Gargantini, E. Riccobene. - In: SOFTWARE TESTING VERIFICATION & RELIABILITY. - ISSN 0960-0833. - (2018 Mar 08). [Epub ahead of print]
  • Closing the gap between the specification and the implementation: the ASMETA way / P. Arcaini, A. Gargantini, E. Riccobene - In: Models: Concepts, Theory, Logic, Reasoning and Semantics : Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday / [a cura di] A. Mashkoor, Q. Wang, B. Thalheim. - Prima edizione. - [s.l] : College Publications, 2018. - ISBN 9781848902763. - pp. 242-263
  • Integrating formal methods into medical software development : the ASM approach / P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 158(2018), pp. 148-167.
  • SMT for state-based formal methods: the ASM case study / P. Arcaini, A. Gargantini, E. Riccobene: - In: Automated Formal Methods / [a cura di] N. Shankar, B. Dutertre. - Prima edizione. - [s.l] : Kalpa Publications in Computing, 2018. - pp. 1-18