Search

Angelo Gargantini

From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
The Mechanical Lung Ventilator Case Study
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
Extending ASMETA with Time Features
Modelling an automotive software-intensive system with adaptive features using ASMETA
AsmetaA: Animator for Abstract State Machines
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
Test Generation for Sequential Nets of Abstract State Machines
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