research
∙
06/05/2023
A Term-based Approach for Generating Finite Automata from Interaction Diagrams
Non-deterministic Finite Automata (NFA) may represent regular languages ...
research
∙
12/19/2022
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems
Interactions are formal models describing asynchronous communications wi...
research
∙
09/03/2020