Elvinia Riccobene
Università degli Studi di Milano
H-index: 31
Europe-Italy
Top articles of Elvinia Riccobene
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Kant: A Domain-Specific Language for Modeling Security Protocols | Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, MODELSWARD | Chiara Braghin Mario Lilli Elvinia Riccobene K Notari Marian Baba | 2024 |
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems | Formal Aspects of Computing | Silvia Bonfanti Angelo Gargantini Elvinia Riccobene Patrizia Scandurra | 2024 |
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study | Computers & Security | Chiara Braghin Mario Lilli Elvinia Riccobene | 2023/4/1 |
Towards the Automated Verification of Smart Contracts | Chiara Braghin Elvinia Riccobene Simone Valentini | 2023/3/31 | |
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines | Silvia Bonfanti Elvinia Riccobene Davide Santandrea Patrizia Scandurra | 2023/5/15 | |
A component framework for the runtime enforcement of safety properties | Journal of Systems and Software | Silvia Bonfanti Elvinia Riccobene Patrizia Scandurra | 2023/4/1 |
Towards an evaluation framework for autonomous systems | Andrea Bombarda Silvia Bonfanti Martina De Sanctis Angelo Gargantini Patrizio PelliccioneT | 2022/9/19 | |
Towards trust-preserving continuous co-evolution of digital twins | Marcello M Bersani Chiara Braghin Vittorio Cortellessa Angelo Gargantini Vincenzo Grassi | 2022/3/12 | |
Guidelines for the development of a critical software under emergency | Information and Software Technology | Andrea Bombarda Silvia Bonfanti Cristiano Galbiati Angelo Gargantini Patrizio Pelliccione | 2022/12/1 |
Compositional simulation of abstract state machines for safety critical systems | Silvia Bonfanti Angelo Gargantini Elvinia Riccobene Patrizia Scandurra | 2022/11/2 | |
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device | Marcello M Bersani Chiara Braghin Angelo Gargantini Raffaela Mirandola Elvinia Riccobene | 2022/9/19 | |
Integration and Orchestration of Analysis Tools | Robert Heinrich Erwan Bousse Sandro Koch Arend Rensink Elvinia Riccobene | 2021/7/18 | |
Logic, Computation and Rigorous Methods | Alexander Raschke Elvinia Riccobene Klaus-Dieter Schewe | 2021 | |
The ASMETA approach to safety assurance of software systems | Paolo Arcaini Andrea Bombarda Silvia Bonfanti Angelo Gargantini Elvinia Riccobene | 2021/6/4 | |
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare | IL GIORNALE DELL'INGEGNERE | Silvia Bonfanti Andrea Bombarda Angelo Michele Gargantini Elvinia Riccobene Patrizio Pelliccione | 2021 |
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA | arXiv preprint arXiv:2111.08204 | Andrea Bombarda Silvia Bonfanti Angelo Gargantini Elvinia Riccobene | 2021/11/16 |
Towards ASM-based automated formal verification of security protocols | Chiara Braghin Mario Lilli Elvinia Riccobene | 2021/5/23 | |
Formal Proof of a Vulnerability in Z-Wave IoT Protocol. | Mario Lilli Chiara Braghin Elvinia Riccobene | 2021 | |
Extending ASMETA with time features | Andrea Bombarda Silvia Bonfanti Angelo Gargantini Elvinia Riccobene | 2021/5/23 | |
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 | Andrea Bombarda Silvia Bonfanti Cristiano Galbiati Angelo Gargantini Patrizio Pelliccione | 2021/10/25 |