activity
20192025
most citedRevisiting Semantics of Interactions for Trace Validity Analysis

8 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.FL2023

A Term-based Approach for Generating Finite Automata from Interaction Diagrams

Erwan Mahe, Boutheina Bannour, Christophe Gaston +2

Non-deterministic Finite Automata (NFA) represent regular languages concisely, increasing their appeal for applications such as word recognition. This paper proposes a new approach…