Léo Henry

According to our database, Léo Henry authored at least 10 papers between 2018 and 2025.

Collaborative distances:

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

2025

Compositional Active Learning of Synchronous Systems through Automated Alphabet Refinement.

Léo Henry, Thomas Neele, Mohammad Mousavi, Matteo Sammartino

CoRR, April, 2025

Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement.

Léo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

Distributed Monitoring of Timed Properties.

Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

Conflict-Aware Active Automata Learning.

Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva

Proceedings of the Fourteenth International Symposium on Games, 2023

Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities.

Léo Henry, Blaise Genest, Alexandre Drewery

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

Control strategies for off-line testing of timed systems.

Léo Henry, Thierry Jéron, Nicolas Markey

Formal Methods Syst. Des., April, 2022

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

PhD thesis, 2021

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

2020

Active Learning of Timed Automata with Unobservable Resets.

Léo Henry, Thierry Jéron, Nicolas Markey

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2018

Control_strategies_for_off-line_testing_of_timed_systems.

Léo Henry, Thierry Jéron, Nicolas Markey

CoRR, 2018