Follow
Léo Exibard
Léo Exibard
Assistant professor at LIGM, Université Gustave Eiffel
Verified email at univ-eiffel.fr - Homepage
Title
Cited by
Cited by
Year
Synthesis of data word transducers
L Exibard, E Filiot, PA Reynier
Logical Methods in Computer Science 17, 2021
202021
Church synthesis on register automata over linearly ordered data domains
L Exibard, E Filiot, A Khalimov
Formal Methods in System Design 61 (2), 290-337, 2022
82022
A Monitoring Tool for Linear-Time HML
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
International Conference on Coordination Languages and Models, 200-219, 2022
7*2022
On Computability of Data Word Functions Defined by Transducers.
L Exibard, E Filiot, PA Reynier
FoSSaCS, 217-236, 2020
62020
Automatic synthesis of systems with data
L Exibard
Aix Marseille Université (AMU); Université libre de Bruxelles (ULB), 2021
42021
Two-way two-tape automata
O Carton, L Exibard, O Serre
Developments in Language Theory: 21st International Conference, DLT 2017 …, 2017
42017
Computability of Data-Word Transductions over Different Data Domains
L Exibard, E Filiot, N Lhote, PA Reynier
Logical Methods in Computer Science 18, 2022
32022
A generic solution to register-bounded synthesis with an application to discrete orders
L Exibard, E Filiot, A Khalimov
arXiv preprint arXiv:2105.09978, 2021
32021
A synthesis tool for optimal monitors in a branching-time setting
A Achilleos, L Exibard, A Francalanza, K Lehtinen, J Xuereb
International Conference on Coordination Languages and Models, 181-199, 2022
22022
The complexity of transducer synthesis from multi-sequential specifications
L Exibard, E Filiot, I Jecker
arXiv preprint arXiv:1905.03560, 2019
12019
A monitoring tool for linear-time 𝜇HML
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
Science of Computer Programming 232, 103031, 2024
2024
Automatic Synthesis of Systems with Data.(Synthèse Automatique de Systèmes avec Données).
L Exibard
Université libre de Bruxelles, Belgium, 2021
2021
Register Games on Infinite Ordered Data Domains.
L Exibard, E Filiot, A Khalimov
CoRR, 2020
2020
30th International Conference on Concurrency Theory (CONCUR 2019)
MZ Kwiatkowska, KG Larsen, J Ouaknine, J van de Pol, J Kretínský, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
Reactive Synthesis of Systems over Data Words
L Exibard, E Filiot, PA Reynier
2019
History-Deterministic Register Automata
L Exibard, K Lehtinen
The system can't perform the operation now. Try again later.
Articles 1–16