RICCOBENE, ELVINIA MARIA
RICCOBENE, ELVINIA MARIA
Dipartimento di Informatica Giovanni Degli Antoni
Kant: A Domain-Specific Language for Modeling Security Protocols
2024 C. Braghin, M. Lilli, E. Riccobene, E. Notari, M. Baba
A Modeling and Verification Framework for Ethereum Smart Contracts
2024 S. Valentini, C. Braghin, E. Riccobene
Modeling and verification of smart contracts with Abstract State Machines
2024 C. Braghin, E. Riccobene, S. Valentini
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
2023 C. Braghin, M. Lilli, E. Riccobene
Towards Trust-preserving Continuous Co-evolution of Digital Twins
2022 M. Bersani, C. Braghin, V. Cortellessa, A. Gargantini, V. Grassi, F. Lo Presti, R. Mirandola, A. Pierantonio, E. Riccobene, P. Scandurra
Towards ASM-Based Automated Formal Verification of Security Protocols
2021 C. Braghin, M. Lilli, E. Riccobene
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19
2021 A. Bombarda, S. Bonfanti, C. Galbiati, A. Gargantini, P. Pelliccione, E. Riccobene, M. Wada
A Runtime Safety Enforcement Approach by Monitoring and Adaptation
2021 S. Bonfanti, E.M. Riccobene, P. Scandurra
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA
2021 A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene
Extending ASMETA with Time Features
2021 A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene
The novel Mechanical Ventilator Milano for the COVID-19 pandemic
2021 A. Abba, C. Accorsi, P. Agnes, E. Alessi, P. Amaudruz, A. Annovi, F.A. Desages, S. Back, C. Badia, J. Bagger, V. Basile, G. Batignani, A. Bayo, B. Bell, M. Beschi, D. Biagini, G. Bianchi, S. Bicelli, D. Bishop, T. Boccali, A. Bombarda, S. Bonfanti, W.M. Bonivento, M. Bouchard, M. Breviario, S. Brice, R. Brown, J.M. Calvo-Mozota, L. Camozzi, M. Camozzi, A. Capra, M. Caravati, M. Carlini, A. Ceccanti, B. Celano, J.M. Cela Ruiz, C. Charette, G. Cogliati, M. Constable, C. Crippa, G. Croci, S. Cudmore, C.E. Dahl, A. Dal Molin, M. Daley, C. Di Guardo, G. D'Avenio, O. Davignon, M. Del Tutto, J. De Ruiter, A. Devoto, P. Diaz Gomez Maqueo, F. Di Francesco, M. Dossi, E. Druszkiewicz, C. Duma, E. Elliott, D. Farina, C. Fernandes, F. Ferroni, G. Finocchiaro, G. Fiorillo, R. Ford, G. Foti, R.D. Fournier, D. Franco, C. Fricbergs, F. Gabriele, C. Galbiati, P. Garcia Abia, A. Gargantini, L. Giacomelli, F. Giacomini, F. Giacomini, L.S. Giarratana, S. Gillespie, D. Giorgi, T. Girma, R. Gobui, D. Goeldi, F. Golf, P. Gorel, G. Gorini, E. Gramellini, G. Grosso, F. Guescini, E. Guetre, G. Hackman, T. Hadden, W. Hawkins, K. Hayashi, A. Heavey, G. Hersak, N. Hessey, G. Hockin, K. Hudson, A. Ianni, C. Ienzi, V. Ippolito, C.C. James, C. Jillings, C. Kendziora, S. Khan, E. Kim, M. King, S. King, A. Kittmer, I. Kochanek, J. Kowalkowski, R. Krucken, M. Kushoro, S. Kuula, M. Laclaustra, G. Leblond, L. Lee, A. Lennarz, M. Leyton, X. Li, P. Liimatainen, C. Lim, T. Lindner, T. Lomonaco, P. Lu, R. Lubna, G.A. Lukhanin, G. Luzon, M. Macdonald, G. Magni, R. Maharaj, S. Manni, C. Mapelli, P. Margetak, L. Martin, S. Martin, M. Martinez, N. Massacret, P. Mcclurg, A.B. Mcdonald, E. Meazzi, R. Migalla, T. Mohayai, L.M. Tosatti, G. Monzani, C. Moretti, B. Morrison, M. Mountaniol, A. Muraro, P. Napoli, F. Nati, C.R. Natzke, A.J. Noble, A. Norrick, K. Olchanski, A. Ortiz De Solorzano, F. Padula, M. Pallavicini, I. Palumbo, E. Panontin, N. Papini, L. Parmeggiano, S. Parmeggiano, K. Patel, A. Patel, M. Paterno, C. Pellegrino, P. Pelliccione, V. Pesudo, A. Pocar, A. Pope, S. Pordes, F. Prelz, O. Putignano, J.L. Raaf, C. Ratti, M. Razeti, A. Razeto, D. Reed, J. Refsgaard, T. Reilly, A. Renshaw, F. Retriere, E. Riccobene, D. Rigamonti, A. Rizzi, J. Rode, J. Romualdez, L. Russel, D. Sablone, S. Sala, D. Salomoni, P. Salvo, A. Sandoval, E. Sansoucy, R. Santorelli, C. Savarese, E. Scapparone, T. Schaubel, S. Scorza, M. Settimo, B. Shaw, S. Shawyer, A. Sher, A. Shi, P. Skensved, A. Slutsky, B. Smith, N.J.T. Smith, A. Stenzler, C. Straubel, P. Stringari, M. Suchenek, B. Sur, S. Tacchino, L. Takeuchi, M. Tardocchi, R. Tartaglia, E. Thomas, D. Trask, J. Tseng, L. Tseng, L. Vanpagee, V. Vedia, B. Velghe, S. Viel, A. Visioli, L. Viviani, D. Vonica, M. Wada, D. Walter, H. Wang, M.H.L.S. Wang, S. Westerdale, D. Wood, D. Yates, S. Yue, V. Zambrano
The ASMETA Approach to Safety Assurance of Software Systems
2021 P. Arcaini, A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Formal proof of a vulnerability in Z-wave IoT protocol
2021 M. Lilli, C. Braghin, E. Riccobene
Towards the Monitoring and Evaluation of Trainees’ Activities in Cyber Ranges
2020 C. Braghin, S. Cimato, E. Damiani, F. Frati, E. Riccobene, S. Astaneh
Model-Based Testing for MAPE-K adaptation control loops
2020 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
Addressing usability in a formal development environment
2020 P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Exploring the Concept of Abstract State Machines for System Runtime Enforcement
2020 E.M. Riccobene, P. Scandurra
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
2020 P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Smart home platform supporting decentralized adaptive automation control
2020 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra, A. Arrigoni, D. Bosc, F. Modica, R. Pedercini
A Model Driven Approach for Cyber Security Scenarios Deployment
2020 C. Braghin, S. Cimato, E. Damiani, F. Frati, L. Mauri, E. Riccobene