EDBT 2026 Demo / reviewers in the wild / expert
Léo Henry
dblp:218/6063
· DBLP profile ↗
6ranked-venue papers
5as first author
5since 2021 · last 2025
0000-0001-6778-5840ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-author · 2 since 2021Theory of computation · 3 · 3 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement
Léo Henry, Mohammad Reza Mousavi 0001, Thomas Neele, Matteo Sammartino |
CONCUR | 1 |
| 2024 | Distributed Monitoring of Timed Properties
Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly |
RV | 1 |
| 2023 | Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities
Léo Henry, Blaise Genest, Alexandre Drewery |
FSTTCS | 1 |
| 2022 | Control strategies for off-line testing of timed systems
Léo Henry, Thierry Jéron, Nicolas Markey |
Formal Methods Syst. Des. | 1 |
| 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. | 2 |
| 2018 | Control Strategies for Off-Line Testing of Timed Systems
Léo Henry, Thierry Jéron, Nicolas Markey |
SPIN | 1 |