Erwan Mahe

According to our database, Erwan Mahe authored at least 14 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Denotational and operational semantics for interaction languages: Application to trace analysis.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Sci. Comput. Program., January, 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

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, Deepika Singh, Tuanir Franca Rezende, Sara Tucci Piergiovanni

CoRR, 2024

Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric.

Erwan Mahe, Rouwaida Abdallah, Sara Tucci Piergiovanni, Pierre-Yves Piriou

CoRR, 2024

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall

CoRR, 2024

Finite Automata synthesis from Interactions.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

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

Interaction-Based Offline Runtime Verification of Distributed Systems.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

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

Equivalence of Denotational and Operational Semantics for Interaction Languages.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Proceedings of the Theoretical Aspects of Software Engineering, 2022

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

PhD thesis, 2021

A structural operational semantics for interactions with a look at loops.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

CoRR, 2021

A small-step approach to multi-trace checking against interactions.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

Revisiting Semantics of Interactions for Trace Validity Analysis.

Erwan Mahe, Christophe Gaston, Pascale Le Gall

Proceedings of the Fundamental Approaches to Software Engineering, 2020