Léo Exibard

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Topics

Finite Automaton

Top Venues

Log. Methods Comput. Sci.

Publications

Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
HML. Sci. Comput. Program. 232 (2024)
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. COORDINATION (2022)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
A Monitoring Tool for Linear-Time μHML. COORDINATION (2022)
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
Computability of Data-Word Transductions over Different Data Domains. Log. Methods Comput. Sci. 18 (3) (2022)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. ICALP (2022)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Church synthesis on register automata over linearly ordered data domains. Formal Methods Syst. Des. 61 (2) (2022)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
Synthesis of Data Word Transducers. Log. Methods Comput. Sci. 17 (1) (2021)
Ayrat Khalimov, Emmanuel Filiot, Léo Exibard
Transducer Synthesis from Universal Register Automata in (N, >). CoRR (2021)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Church Synthesis on Register Automata over Linearly Ordered Data Domains. STACS (2021)
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
Computability of Data-Word Transductions over Different Data Domains. CoRR (2021)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
On Computability of Data Word Functions Defined by Transducers. CoRR (2020)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
On Computability of Data Word Functions Defined by Transducers. FoSSaCS (2020)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Register Games on Infinite Ordered Data Domains. CoRR (2020)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
Synthesis of Data Word Transducers. CONCUR (2019)
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
The Complexity of Transducer Synthesis from Multi-Sequential Specifications. CoRR (2019)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
Synthesis of Data Word Transducers. CoRR (2019)
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
The Complexity of Transducer Synthesis from Multi-Sequential Specifications. MFCS (2018)
Olivier Carton, Léo Exibard, Olivier Serre
Two-Way Two-Tape Automata. DLT (2017)
Olivier Carton, Léo Exibard, Olivier Serre
Two-way Two-tape Automata. CoRR (2017)