Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Patrizia Scandurra
Latest
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Modelling an automotive software-intensive system with adaptive features using ASMETA
Exploring the Concept of Abstract State Machines for System Runtime Enforcement
Unified Syntax for Abstract State Machines
Towards ASM-Based Formal Specification of Self-Adaptive Systems
A Reliability Prediction Method for Abstract State Machines
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs
An Executable Semantics of the SystemC UML Profile
A Scenario-Based Validation Language for ASMs
Exploiting the ASM Method for Validation & Verification of Embedded Systems
Cite
×