8 citations · 8 across the 7 of their papers we have counts for
8 papers
Specializing anti-unification for interaction models composition via gate connections
Joel Nguetoum, Boutheina Bannour, Pascale Le Gall +1
Interaction models describe distributed systems as algebraic terms, with gates marking interaction points between local views. Composing local models into a coherent global one req…
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize e…
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
Erwan Mahe, Boutheina Bannour, Christophe Gaston +1
Runtime Verification (RV) refers to a family of techniques in which system executions are observed and confronted to formal specifications, with the aim of identifying faults. In O…
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…
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Interactions are formal models describing asynchronous communications within a Distributed System (DS). They can be drawn in the fashion of sequence diagrams and executed thanks to…
A structural operational semantics for interactions with a look at loops
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Message Sequence Charts & Sequence Diagrams are graphical models that represent the behavior of distributed and concurrent systems via the scheduling of discrete and local emission…
A small-step approach to multi-trace checking against interactions
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Interaction models describe the exchange of messages between the different components of distributed systems. We have previously defined a small-step operational semantics for inte…
Revisiting Semantics of Interactions for Trace Validity Analysis
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Interaction languages such as MSC are often associated with formal semantics by means of translations into distinct behavioral formalisms such as automatas or Petri nets. In contra…