Léo Exibard

22 papers A* 1A 1B 4C 3Journal 12
YearRankTypeTitle / Venue / Authors
2025 B conf
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory.
CONCUR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2025 J jnl
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory.
CoRR
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
2024 J jnl
A monitoring tool for linear-time
Sci. Comput. Program.
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2022 A* conf
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.
ICALP
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2022 C conf
A Monitoring Tool for Linear-Time μHML.
COORDINATION
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
2022 C conf
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.
COORDINATION
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb
2022 J jnl
Church synthesis on register automata over linearly ordered data domains.
Formal Methods Syst. Des.
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2022 J jnl
Computability of Data-Word Transductions over Different Data Domains.
Log. Methods Comput. Sci.
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2021 — —
Automatic Synthesis of Systems with Data. (Synthèse Automatique de Systèmes avec Données).
Léo Exibard
2021 A conf
Church Synthesis on Register Automata over Linearly Ordered Data Domains.
STACS
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2021 J jnl
Computability of Data-Word Transductions over Different Data Domains.
CoRR
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2021 J jnl
Synthesis of Data Word Transducers.
Log. Methods Comput. Sci.
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2021 J jnl
Transducer Synthesis from Universal Register Automata in (N, >).
CoRR
Ayrat Khalimov, Emmanuel Filiot, Léo Exibard
2020 B conf
On Computability of Data Word Functions Defined by Transducers.
FoSSaCS
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2020 J jnl
On Computability of Data Word Functions Defined by Transducers.
CoRR
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2020 J jnl
Register Games on Infinite Ordered Data Domains.
CoRR
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2019 B conf
Synthesis of Data Word Transducers.
CONCUR
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2019 J jnl
Synthesis of Data Word Transducers.
CoRR
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2019 J jnl
The Complexity of Transducer Synthesis from Multi-Sequential Specifications.
CoRR
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
2018 B conf
The Complexity of Transducer Synthesis from Multi-Sequential Specifications.
MFCS
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
2017 C conf
Two-Way Two-Tape Automata.
DLT
Olivier Carton, Léo Exibard, Olivier Serre
2017 J jnl
Two-way Two-tape Automata.
CoRR
Olivier Carton, Léo Exibard, Olivier Serre