Erwan Mahe
Orcid: 0000-0002-5322-4337
According to our database1,
Erwan Mahe
authored at least 15 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
6
7
1
3
1
1
1
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal.
Sci. Comput. Program., 2025
2024
Denotational and operational semantics for interaction languages: Application to trace analysis.
Sci. Comput. Program., January, 2024
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.
J. Object Technol., 2024
CoRR, 2024
Proceedings of the 43rd International Symposium on Reliable Distributed Systems, 2024
Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
2023
CoRR, 2023
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023
2022
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.
CoRR, 2022
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).
PhD thesis, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020