Revisiting Semantics of Interactions for Trace Validity Analysis. - Erwan Mahe; Christophe Gaston; Pascale Le Gall (FASE, 2020)

A small-step approach to multi-trace checking against interactions. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (SAC, 2021)

A structural operational semantics for interactions with a look at loops. - Erwan Mahe; Christophe Gaston; Pascale Le Gall (CoRR, 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 (2021)

Equivalence of Denotational and Operational Semantics for Interaction Languages. - Erwan Mahe; Christophe Gaston; Pascale Le Gall (TASE, 2022)

Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (CoRR, 2022)

Interaction-Based Offline Runtime Verification of Distributed Systems. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (FSEN, 2023)

A Term-based Approach for Generating Finite Automata from Interaction Diagrams. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (CoRR, 2023)

Finite Automata synthesis from Interactions. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (FormaliSE@ICSE, 2024)

Adversary-Augmented Simulation to evaluate order-fairness on HyperLedger Fabric. - Erwan Mahe; Rouwaida Abdallah; Sara Tucci Piergiovanni; Pierre-Yves Piriou (LADC, 2024)

Fantastyc: Blockchain-Based Federated Learning Made Secure and Practical. - 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 (SRDS, 2024)

Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric. - Erwan Mahe; Rouwaida Abdallah; Sara Tucci Piergiovanni; Pierre-Yves Piriou (CoRR, 2024)

Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (J. Object Technol., 2024)

Denotational and operational semantics for interaction languages: Application to trace analysis. - Erwan Mahe; Christophe Gaston; Pascale Le Gall (Sci. Comput. Program., 2024)

Efficient interaction-based offline runtime verification of distributed systems with lifeline removal. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Pascale Le Gall (Sci. Comput. Program., 2025)

Order Fairness Evaluation of DAG-based ledgers. - Erwan Mahe; Sara Tucci Piergiovanni (CoRR, 2025)

Adversary-Augmented Simulation for Fairness Evaluation and Defense in Hyperledger Fabric. - Erwan Mahe; Rouwaida Abdallah; Pierre-Yves Piriou; Sara Tucci Piergiovanni (CoRR, 2025)