research
∙
06/05/2023
A Term-based Approach for Generating Finite Automata from Interaction Diagrams
Non-deterministic Finite Automata (NFA) may represent regular languages ...
share
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
∙
05/01/2021
A structural operational semantics for interactions with a look at loops
Message Sequence Charts Sequence Diagrams are graphical models that ...
research
∙
09/03/2020
A small-step approach to multi-trace checking against interactions
Interaction models describe the exchange of messages between the differe...
research
∙
11/08/2019