Overview
Contributors
RICCOBENE ELVINIA MARIA
Scientific Manager
Departments involved
Type
PRIN2022 - PRIN bando 2022
Funder
MINISTERO DELL'UNIVERSITA' E DELLA RICERCA
External Organization Funding Organization
Date/time interval
September 28, 2023 - February 28, 2026
Project duration
29 months
Research Areas
Publications
Outputs (3)
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
SCIENCE OF COMPUTER PROGRAMMINGELSEVIER
2025
Academic Article
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
SIMSPIRE: A Simulator of the Respiratory System
IEEE ACCESSINSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS INC.
2025
Academic Article
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts
SCIENCE AND TECHNOLOGY PUBLICATIONS, LDA2024
Conference Paper
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"