Login / Signup
Erwan Mahe
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 16
Top Topics
Distributed Systems
Geographically Distributed
Operational Semantics
Interaction Model
Top Venues
CoRR
FormaliSE@ICSE
SAC
TASE
</>
Publications
</>
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Pascale Le Gall
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal.
CoRR
(2024)
William Boitier
,
Antonella Del Pozzo
,
Álvaro García-Pérez
,
Stéphane Gazut
,
Pierre Jobic
,
Alexis Lemaire
,
Erwan Mahe
,
Aurélien Mayoue
,
Maxence Perion
,
Deepika Singh
,
Tuanir Franca Rezende
,
Sara Tucci Piergiovanni
Fantastyc: Blockchain-based Federated Learning Made Secure and Practical.
CoRR
(2024)
Erwan Mahe
,
Rouwaida Abdallah
,
Sara Tucci Piergiovanni
,
Pierre-Yves Piriou
Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric.
CoRR
(2024)
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation.
CoRR
(2024)
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
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.
J. Object Technol.
23 (2) (2024)
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
Finite Automata synthesis from Interactions.
FormaliSE@ICSE
(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)