Erwan Mahe

25 papers B 2Misc 2Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Adversary-Augmented Simulation for Fairness Evaluation and Defense in Hyperledger Fabric.
CoRR
Erwan Mahe, Rouwaida Abdallah, Pierre-Yves Piriou, Sara Tucci Piergiovanni
2025 J jnl
Adversary-Augmented Simulation for Fairness Evaluation and Defense in Hyperledger Fabric.
J. Internet Serv. Appl.
Erwan Mahe, Rouwaida Abdallah, Pierre-Yves Piriou, Sara Tucci Piergiovanni
2025 J jnl
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal.
Sci. Comput. Program.
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
2025 — conf
Order Fairness Evaluation of DAG-based ledgers.
BCCA
Erwan Mahe, Sara Tucci Piergiovanni
2025 J jnl
Order Fairness Evaluation of DAG-based ledgers.
CoRR
Erwan Mahe, Sara Tucci Piergiovanni
2025 J jnl
Specializing anti-unification for interaction models composition via gate connections.
CoRR
Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe
2024 J jnl
Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric.
CoRR
Erwan Mahe, Rouwaida Abdallah, Sara Tucci Piergiovanni, Pierre-Yves Piriou
2024 — conf
Adversary-Augmented Simulation to evaluate order-fairness on HyperLedger Fabric.
LADC
Erwan Mahe, Rouwaida Abdallah, Sara Tucci Piergiovanni, Pierre-Yves Piriou
2024 J jnl
Denotational and operational semantics for interaction languages: Application to trace analysis.
Sci. Comput. Program.
Erwan Mahe, Christophe Gaston, Pascale Le Gall
2024 J jnl
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
2024 B conf
Fantastyc: Blockchain-Based Federated Learning Made Secure and Practical.
SRDS
William Boitier, Antonella Del Pozzo, Álvaro García-Pérez, Stéphane Gazut, Pierre Jobic, Alexis Lemaire, Erwan Mahe, Aurélien Mayoue, Maxence Perion, Tuanir Franca Rezende, Deepika Singh, Sara Tucci Piergiovanni
2024 J jnl
Fantastyc: Blockchain-based Federated Learning Made Secure and Practical.
CoRR
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
2024 — conf
Finite Automata synthesis from Interactions.
FormaliSE@ICSE
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024 J jnl
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024 J jnl
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.
J. Object Technol.
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023 J jnl
A Term-based Approach for Generating Finite Automata from Interaction Diagrams.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023 — conf
Interaction-Based Offline Runtime Verification of Distributed Systems.
FSEN
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2022 J jnl
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2022 Misc conf
Equivalence of Denotational and Operational Semantics for Interaction Languages.
TASE
Erwan Mahe, Christophe Gaston, Pascale Le Gall
2021 Misc conf
A small-step approach to multi-trace checking against interactions.
SAC
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2021 J jnl
A structural operational semantics for interactions with a look at loops.
CoRR
Erwan Mahe, Christophe Gaston, Pascale Le Gall
2021 — —
An operational semantics of interactions for verifying partially observed executions of distributed systems. (Sémantique opérationnelle des interactions pour la vérification d'exécutions partiellement observées de systèmes distribués).
Erwan Mahe
2020 J jnl
A small-step approach to multi-trace checking against interactions.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2020 B conf
Revisiting Semantics of Interactions for Trace Validity Analysis.
FASE
Erwan Mahe, Christophe Gaston, Pascale Le Gall
2019 J jnl
Revisiting Semantics of Interactions for Trace Validity Analysis.
CoRR
Erwan Mahe, Christophe Gaston, Pascale Le Gall