Search

Elvinia Riccobene

A Modeling and Verification Framework for Ethereum Smart Contracts
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Extending ASMETA with Time Features
Towards ASM-Based Automated Formal Verification of Security Protocols
Modelling an automotive software-intensive system with adaptive features using ASMETA
Exploring the Concept of Abstract State Machines for System Runtime Enforcement
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
Unified Syntax for Abstract State Machines
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Offline Model-based Testing and Runtime Monitoring of the Sensor Voting Module
Towards ASM-Based Formal Specification of Self-Adaptive Systems
An Executable Semantics of the SystemC UML Profile
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
A Scenario-Based Validation Language for ASMs
Exploiting the ASM Method for Validation & Verification of Embedded Systems