Erwan Mahe

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 16

Top Topics

Distributed Systems

Geographically Distributed

Operational Semantics

Interaction Model

Top Venues

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)