Suivre
Léo Exibard
Léo Exibard
Assistant professor at LIGM, Université Gustave Eiffel
Adresse e-mail validée de univ-eiffel.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Synthesis of data word transducers
L Exibard, E Filiot, PA Reynier
Logical Methods in Computer Science 17, 2021
202021
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
92022
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
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
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)
WJ Fokkink, RJ van Glabbeek
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
2019
Reactive Synthesis of Systems over Data Words
L Exibard, E Filiot, PA Reynier
2019
History-Deterministic Register Automata
L Exibard, K Lehtinen
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–17