| Synthesis of data word transducers L Exibard, E Filiot, PA Reynier Logical Methods in Computer Science 17, 2021 | 22 | 2021 |
| 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 | 10 | 2022 |
| 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 | 9 | 2022 |
| On Computability of Data Word Functions Defined by Transducers. L Exibard, E Filiot, PA Reynier FoSSaCS, 217-236, 2020 | 6 | 2020 |
| Automatic synthesis of systems with data L Exibard Aix Marseille Université (AMU); Université libre de Bruxelles (ULB), 2021 | 4 | 2021 |
| Two-way two-tape automata O Carton, L Exibard, O Serre Developments in Language Theory: 21st International Conference, DLT 2017 …, 2017 | 4 | 2017 |
| 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 | 3 | 2024 |
| Computability of Data-Word Transductions over Different Data Domains L Exibard, E Filiot, N Lhote, PA Reynier Logical Methods in Computer Science 18, 2022 | 3 | 2022 |
| 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 | 3 | 2021 |
| 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 | 2 | 2024 |
| 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 | 2 | 2022 |
| The complexity of transducer synthesis from multi-sequential specifications L Exibard, E Filiot, I Jecker arXiv preprint arXiv:1905.03560, 2019 | 1 | 2019 |
| 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 | | |
Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
