Get started
Author

Léo Exibard

Observed names: Exibard, Leo, Exibard, Léo, Exibard, Léo, Leo Exibard, Léo Exibard
Observed institutions: École Normale Supérieure de Lyon, Reykjavík University, Centre National de la Recherche Scientifique, Université Libre de Bruxelles, Université de Toulon, Aix-Marseille Université, Laboratoire d’Informatique et Systèmes, Laboratoire d'Informatique Gaspard-Monge, Université Gustave Eiffel
ORCID: 0000-0003-0318-1217
Observed ORCID: 0000-0003-0318-1217
OpenAlex ID: A5020202308
A monitoring tool for linear-time μHML
2023 · Luca Aceto, Antonis Achilleos, et al. · Science of Computer Programming · 10
Synthesis of Data Word Transducers
2021 · Léo Exibard, Emmanuel Filiot, et al. · Logical Methods in Computer Science · 10
PDF
Church Synthesis on Register Automata over Linearly Ordered Data Domains
2021 · Exibard, Leo, Filiot, Emmanuel, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4
PDF
On Computability of Data Word Functions Defined by Transducers
2020 · Léo Exibard, Emmanuel Filiot, et al. · Lecture notes in computer science · 4
PDF
Synthesis of Data Word Transducers
2019 · Exibard, Léo, Filiot, Emmanuel, et al. · Logical Methods in Computer Science · 4
A Monitoring Tool for Linear-Time $$\mu $$HML
2022 · Luca Aceto, Antonis Achilleos, et al. · Lecture notes in computer science · 3
Computability of Data-Word Transductions over Different Data Domains
2022 · Léo Exibard, Emmanuel Filiot, et al. · Logical Methods in Computer Science · 2
PDF
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
2022 · Antonis Achilleos, Léo Exibard, et al. · Lecture notes in computer science · 2
Church synthesis on register automata over linearly ordered data domains
2022 · Léo Exibard, Emmanuel Filiot, et al. · Formal Methods in System Design · 1
PDF
Automatic Synthesis of Systems with Data
2021 · Exibard, Léo · theses.fr (ABES) · 1
PDF
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders
2021 · Exibard, Léo, Filiot, Emmanuel, et al. · arXiv (Cornell University) · 1
PDF
On Computability of Data Word Functions Defined by Transducers
2021 · Léo Exibard · 1
The Complexity of Transducer Synthesis from Multi-Sequential Specifications
2018 · Exibard, Léo, Filiot, Emmanuel, et al. · arXiv (Cornell University) · 1
PDF
Two-Way Two-Tape Automata
2017 · Olivier Carton, Léo Exibard, et al. · Lecture notes in computer science · 1
PDF
Foundations of Runtime Monitoring through the Lens of Concurrency Theory
2026 · Luca Aceto, Antonis Achilleos, et al. · IRIS Research product catalog (Sapienza University of Rome)
The complexity of verifying the release-acquire semantics over register machines
2025 · Abdulla, Parosh, Anastasiadi, Elli, et al. · arXiv (Cornell University)
PDF
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
2025 · Aceto, Luca, Achilleos, Antonis, et al. · arXiv (Cornell University)
PDF
Modèles de mémoire pour l'enseignement de la programmation
2024 · Exibard, Léo, Francis, Nadime, et al. · HAL
PDF
Synthesis over Regularly Approximable Data Domains.
2021 · Léo Exibard, Emmanuel Filiot, et al. · arXiv (Cornell University)
Automatic synthesis of systems with data
2021 · Léo Exibard
Transducer Synthesis from Universal Register Automata in (N
2021 · Ayrat Khalimov, Emmanuel Filiot, et al. · arXiv (Cornell University)
Register Games on Infinite Ordered Data Domains.
2020 · Léo Exibard, Emmanuel Filiot, et al. · arXiv (Cornell University)
Church Synthesis on Register Automata over Linearly Ordered Data Domains
2020 · Exibard, Léo, Filiot, Emmanuel, et al. · HAL
On Computability of Data Word Functions Defined by Transducers
2020 · Exibard, Léo, Filiot, Emmanuel, et al. · arXiv (Cornell University)
PDF
Reactive Synthesis of Systems over Data Words
2019 · Léo Exibard, Emmanuel Filiot, et al. · Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles)
Works count: 27
Citation count: 45
H-index: 4
I10-index: 2
Year
Topic
Type