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
Modeling and verification of smart contracts with Abstract State Machines
2024 C. Braghin, E. Riccobene, S. Valentini
A Modeling and Verification Framework for Ethereum Smart Contracts
2024 S. Valentini, C. Braghin, E. Riccobene
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
2024 A. Bombarda, S. Bonfanti, M. De Sanctis, A. Gargantini, P. Pelliccione, E. Riccobene, P. Scandurra
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts
2024 C. Braghin, E. Riccobene, S. Valentini
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
2024 P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
2023 M.M. Bersani, C. Braghin, A. Gargantini, R. Mirandola, E. Riccobene, P. Scandurra
A component framework for the runtime enforcement of safety properties
2023 S. Bonfanti, E. Riccobene, P. Scandurra
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
2023 C. Braghin, M. Lilli, E. Riccobene
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
2023 S. Bonfanti, E. Riccobene, D. Santandrea, P. Scandurra
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
Compositional Simulation of Abstract State Machines for Safety Critical Systems
2022 S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
Guidelines for the development of a critical software under emergency
2022 A. Bombarda, S. Bonfanti, C. Galbiati, A. Gargantini, P. Pelliccione, E. Riccobene, M. Wada
Towards an Evaluation Framework for Autonomous Systems
2022 A. Bombarda, S. Bonfanti, M. De Sanctis, A. Gargantini, P. Pelliccionet, E. Riccobene, P. Scandurra
Towards ASM-Based Automated Formal Verification of Security Protocols
2021 C. Braghin, M. Lilli, E. Riccobene
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA
2021 A. Bombarda, S. Bonfanti, A. Gargantini, E. Riccobene
Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Boerger on the Occasion of His 75th Birthday
2021 A. Raschke, E.M. Riccobene, K. Schewe
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
Formal proof of a vulnerability in Z-wave IoT protocol
2021 M. Lilli, C. Braghin, E. Riccobene
A Runtime Safety Enforcement Approach by Monitoring and Adaptation
2021 S. Bonfanti, E.M. Riccobene, P. Scandurra