Léo Exibard

According to our database, Léo Exibard authored at least 14 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory.

Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

A monitoring tool for linear-time <i>μ</i>HML.

Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir

Sci. Comput. Program., January, 2024

2022

Church synthesis on register automata over linearly ordered data domains.

Léo Exibard, Emmanuel Filiot, Ayrat Khalimov

Formal Methods Syst. Des., December, 2022

Computability of Data-Word Transductions over Different Data Domains.

Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier

Log. Methods Comput. Sci., 2022

A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.

Léo Exibard, Emmanuel Filiot, Ayrat Khalimov

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.

Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb

Proceedings of the Coordination Models and Languages, 2022

A Monitoring Tool for Linear-Time μHML.

Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir

Proceedings of the Coordination Models and Languages, 2022

2021

Automatic Synthesis of Systems with Data. (Synthèse Automatique de Systèmes avec Données).

Léo Exibard

PhD thesis, 2021

Synthesis of Data Word Transducers.

Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier

Log. Methods Comput. Sci., 2021

Transducer Synthesis from Universal Register Automata in (N, >).

Ayrat Khalimov, Emmanuel Filiot, Léo Exibard

CoRR, 2021

2020

Register Games on Infinite Ordered Data Domains.

Léo Exibard, Emmanuel Filiot, Ayrat Khalimov

CoRR, 2020

On Computability of Data Word Functions Defined by Transducers.

Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2018

The Complexity of Transducer Synthesis from Multi-Sequential Specifications.

Léo Exibard, Emmanuel Filiot, Ismaël Jecker

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

2017

Two-Way Two-Tape Automata.

Olivier Carton, Léo Exibard, Olivier Serre

Proceedings of the Developments in Language Theory - 21st International Conference, 2017