Control_strategies_for_off-line_testing_of_timed_systems. - Léo Henry; Thierry Jéron; Nicolas Markey (CoRR, 2018)

Active Learning of Timed Automata with Unobservable Resets. - Léo Henry; Thierry Jéron; Nicolas Markey (FORMATS, 2020)

Diagnosing timed automata using timed markings. - Patricia Bouyer; Léo Henry; Samy Jaziri; Thierry Jéron; Nicolas Markey (Int. J. Softw. Tools Technol. Transf., 2021)

There and back again : formal methods and model learning for real-time systems. (Histoire d'un aller et retour : méthodes formelles et apprentissage de modèles pour les systèmes en temps réel). - Léo Henry (2021)

Control strategies for off-line testing of timed systems. - Léo Henry; Thierry Jéron; Nicolas Markey (Formal Methods Syst. Des., 2022)

Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities. - Léo Henry; Blaise Genest; Alexandre Drewery (FSTTCS, 2023)

Conflict-Aware Active Automata Learning. - Tiago Ferreira 001; Léo Henry; Raquel Fernandes da Silva; Alexandra Silva 001 (GandALF, 2023)

Distributed Monitoring of Timed Properties. - Léo Henry; Thierry Jéron; Nicolas Markey; Victor Roussanaly (RV, 2024)

Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement. - Léo Henry; Mohammad Reza Mousavi 001; Thomas Neele; Matteo Sammartino (CONCUR, 2025)

Compositional Active Learning of Synchronous Systems through Automated Alphabet Refinement. - Léo Henry; Thomas Neele; Mohammad Mousavi; Matteo Sammartino (CoRR, 2025)