Elvinia Riccobene
Università degli Studi di Milano
H-index: 31
Europe-Italy
Top articles of Elvinia Riccobene
Kant: A Domain-Specific Language for Modeling Security Protocols
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, MODELSWARD
2024
Elvinia Riccobene
H-Index: 15
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
Formal Aspects of Computing
2024
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
2023/5/15
A component framework for the runtime enforcement of safety properties
Journal of Systems and Software
2023/4/1
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
Computers & Security
2023/4/1
Elvinia Riccobene
H-Index: 15
Towards the Automated Verification of Smart Contracts
2023/3/31
Elvinia Riccobene
H-Index: 15
Guidelines for the development of a critical software under emergency
Information and Software Technology
2022/12/1
Andrea Bombarda
H-Index: 1
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Compositional simulation of abstract state machines for safety critical systems
2022/11/2
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
2022/9/19
Angelo Gargantini
H-Index: 18
Raffaela Mirandola
H-Index: 21
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13
Towards an evaluation framework for autonomous systems
2022/9/19
Andrea Bombarda
H-Index: 1
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13
Towards trust-preserving continuous co-evolution of digital twins
2022/3/12
The novel Mechanical Ventilator Milano for the COVID-19 pandemic
Physics of Fluids
2021/3/1
Logic, Computation and Rigorous Methods
2021
Elvinia Riccobene
H-Index: 15
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare
IL GIORNALE DELL'INGEGNERE
2021
Formal Proof of a Vulnerability in Z-Wave IoT Protocol.
2021
Elvinia Riccobene
H-Index: 15
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA
arXiv preprint arXiv:2111.08204
2021/11/16
Andrea Bombarda
H-Index: 1
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19
2021/10/25
Andrea Bombarda
H-Index: 1
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
A runtime safety enforcement approach by monitoring and adaptation
2021/8/26
Integration and Orchestration of Analysis Tools
2021/7/18
Robert Heinrich
H-Index: 17
Arend Rensink
H-Index: 14
Elvinia Riccobene
H-Index: 15
Daniel Ratiu
H-Index: 0
Marjan Sirjani
H-Index: 16
The ASMETA approach to safety assurance of software systems
2021/6/4
Andrea Bombarda
H-Index: 1
Silvia Bonfanti
H-Index: 6
Angelo Gargantini
H-Index: 18
Elvinia Riccobene
H-Index: 15
Patrizia Scandurra
H-Index: 13