Riccobene Elvinia Maria
Professore Ordinario
Settore scientifico-disciplinare
INFO-01/A - Informatica
Gruppo scientifico-disciplinare / settore concorsuale
01/INFO-01 - INFORMATICA
Competenze e ambito di ricerca
Contacts
Sede di lavoro
Numero di telefono dell'ufficio
Altri numeri di telefono
E-mail di ateneo
E-mail
Teaching - Programme courses
Bachelors and masters
A.A. 2025/2026
A.A. 2024/2025
A.A. 2023/2024
A.A. 2022/2023
A.A. 2021/2022
A.A. 2020/2021
A.A. 2019/2020
Postgraduate programmes
A.A. 2022/2023
Research
Publications
-
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features / P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 26:3(2024 Jun), pp. 379-401. [10.1007/s10009-024-00751-4]
-
Modeling and verification of smart contracts with Abstract State Machines / C. Braghin, E. Riccobene, S. Valentini - In: SAC '24: Proceedings / [a cura di] J. Hong, J. Won Park, A. Przybyłek. - [s.l] : ACM, 2024 May 21. - ISBN 9798400702433. - pp. 1425-1432 (( Intervento presentato al 39. convegno Symposium on Applied Computing tenutosi a Avila nel 2024 [10.1145/3605098.3636040].
-
Kant: A Domain-Specific Language for Modeling Security Protocols / C. Braghin, M. Lilli, E. Riccobene, E. Notari, M. Baba - In: Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering MODELSWARD. 1 / [a cura di] F.J. Domínguez Mayo, L. Ferreira Pires, E. Seidewitz. - [s.l] : SciTePress, 2024. - ISBN 978-989-758-682-8. - pp. 62-73 (( convegno Conference on Model-Based Software and Systems Engineering (MODELSWARD) tenutosi a Roma nel 2024 [10.5220/0012386400003645].
-
A Modeling and Verification Framework for Ethereum Smart Contracts / S. Valentini, C. Braghin, E. Riccobene (LECTURE NOTES IN COMPUTER SCIENCE). - In: Rigorous State-Based Methods / [a cura di] S. Bonfanti, A. Gargantini, M. Leuschel, E. Riccobene, P. Scandurra. - [s.l] : Springer Nature, 2024. - ISBN 9783031637896. - pp. 201-207 (( Intervento presentato al 10. convegno International Conference on Rigorous State-Based Methods tenutosi a Bergamo nel 2024 [10.1007/978-3-031-63790-2_13].
-
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems / A. Bombarda, S. Bonfanti, M. De Sanctis, A. Gargantini, P. Pelliccione, E. Riccobene, P. Scandurra. - In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - 50:4(2024), pp. 995-1014. [10.1109/tse.2024.3374382]