Léo Henry - RankMe

14 papers B 2Journal 7Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement. CONCUR Léo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino
2025	J	`jnl`	Compositional Active Learning of Synchronous Systems through Automated Alphabet Refinement. CoRR Léo Henry, Thomas Neele, Mohammad Mousavi, Matteo Sammartino
2024	B	`conf`	Distributed Monitoring of Timed Properties. RV Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly
2024	J	`jnl`	Distributed Monitoring of Timed Properties. CoRR Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly
2023	J	`jnl`	Conflict-Aware Active Automata Learning. CoRR Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
2023	—	`conf`	Conflict-Aware Active Automata Learning. GandALF Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
2023	—	`conf`	Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities. FSTTCS Léo Henry, Blaise Genest, Alexandre Drewery
2022	J	`jnl`	Control strategies for off-line testing of timed systems. Formal Methods Syst. Des. Léo Henry, Thierry Jéron, Nicolas Markey
2021	J	`jnl`	Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey
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
2020	—	`conf`	Active Learning of Timed Automata with Unobservable Resets. FORMATS Léo Henry, Thierry Jéron, Nicolas Markey
2020	J	`jnl`	Active learning of timed automata with unobservable resets. CoRR Léo Henry, Nicolas Markey, Thierry Jéron
2018	—	`conf`	Control Strategies for Off-Line Testing of Timed Systems. SPIN Léo Henry, Thierry Jéron, Nicolas Markey
2018	J	`jnl`	Control_strategies_for_off-line_testing_of_timed_systems. CoRR Léo Henry, Thierry Jéron, Nicolas Markey