RICCOBENE, ELVINIA MARIA

RICCOBENE, ELVINIA MARIA  

Dipartimento di Informatica Giovanni Degli Antoni  

Mostra records
Risultati 1 - 20 di 141 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts 2024 Braghin C.Riccobene E. + Book Part (author) -
A Modeling and Verification Framework for Ethereum Smart Contracts 2024 Valentini, SimoneBraghin, ChiaraRiccobene, Elvinia Book Part (author) -
Kant: A Domain-Specific Language for Modeling Security Protocols 2024 Braghin, C.Lilli, M.Riccobene, E. + Book Part (author) -
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems 2024 Riccobene, Elvinia + Article (author) -
Modeling and verification of smart contracts with Abstract State Machines 2024 Braghin, ChiaraRiccobene, ElviniaValentini, Simone Book Part (author) -
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines 2023 Riccobene, Elvinia + Book Part (author) -
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device 2023 Braghin, ChiaraRiccobene, Elvinia + Book Part (author) -
A component framework for the runtime enforcement of safety properties 2023 Riccobene, Elvinia + Article (author) -
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study 2023 Braghin C.Lilli M.Riccobene E. Article (author) -
Compositional Simulation of Abstract State Machines for Safety Critical Systems 2022 Riccobene E. + Book Part (author) -
Towards an Evaluation Framework for Autonomous Systems 2022 Riccobene E. + Book Part (author) -
Towards Trust-preserving Continuous Co-evolution of Digital Twins 2022 Braghin, ChiaraRiccobene, ElviniaScandurra, Patrizia + Book Part (author) -
Guidelines for the development of a critical software under emergency 2022 Riccobene E. + Article (author) -
The ASMETA Approach to Safety Assurance of Software Systems 2021 Riccobene E. + Book Part (author) -
Formal proof of a vulnerability in Z-wave IoT protocol 2021 Lilli M.Braghin C.Riccobene E. Book Part (author) -
Towards ASM-Based Automated Formal Verification of Security Protocols 2021 Braghin C.Lilli M.Riccobene E. Book Part (author) -
Extending ASMETA with Time Features 2021 Riccobene E. + Book Part (author) -
Developing a prototype of a mechanical ventilator controller from requirements to code with ASMETA 2021 Riccobene E. + Article (author) -
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 2021 Riccobene E. + Book Part (author) -
A Runtime Safety Enforcement Approach by Monitoring and Adaptation 2021 Elvinia Riccobene + Book Part (author) -