Παρακολούθηση
Léo Exibard
Léo Exibard
Assistant professor at LIGM, Université Gustave Eiffel
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα univ-eiffel.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Synthesis of data word transducers
L Exibard, E Filiot, PA Reynier
Logical Methods in Computer Science 17, 2021
232021
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
112022
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
92022
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
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
32024
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 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
22024
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
Automatic Synthesis of Systems with Data.(Synthèse Automatique de Systèmes avec Données).
L Exibard
Université libre de Bruxelles, Belgium, 2021
2021
38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)
M Bläser, B Monmege
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–18