Sign in
Erwan Mahe
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 10
Top Topics
Mental States
Operational Semantics
Distributed Systems
Finite Automata
Top Venues
CoRR
SAC
TASE
Sci. Comput. Program.
</>
Publications
</>
Erwan Mahe
,
Christophe Gaston
,
Pascale Le Gall
Denotational and operational semantics for interaction languages: Application to trace analysis.
Sci. Comput. Program.
232 (2024)
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
A Term-based Approach for Generating Finite Automata from Interaction Diagrams.
CoRR
(2023)
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
Interaction-Based Offline Runtime Verification of Distributed Systems.
FSEN
(2023)
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.
CoRR
(2022)
Erwan Mahe
,
Christophe Gaston
,
Pascale Le Gall
Equivalence of Denotational and Operational Semantics for Interaction Languages.
TASE
(2022)
Erwan Mahe
,
Christophe Gaston
,
Pascale Le Gall
A structural operational semantics for interactions with a look at loops.
CoRR
(2021)
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
A small-step approach to multi-trace checking against interactions.
SAC
(2021)
Erwan Mahe
,
Christophe Gaston
,
Pascale Le Gall
Revisiting Semantics of Interactions for Trace Validity Analysis.
FASE
(2020)
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
A small-step approach to multi-trace checking against interactions.
CoRR
(2020)
Erwan Mahe
,
Christophe Gaston
,
Pascale Le Gall
Revisiting Semantics of Interactions for Trace Validity Analysis.
CoRR
(2019)