Riccobene Elvinia Maria

Full professor
Competition sector



Via Celoria, 18

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



  • 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