Παρακολούθηση
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
202021
Church synthesis on register automata over linearly ordered data domains
L Exibard, E Filiot, A Khalimov
Formal Methods in System Design, 1-48, 2023
82023
On Computability of Data Word Functions Defined by Transducers.
L Exibard, E Filiot, PA Reynier
FoSSaCS, 217-236, 2020
62020
A monitoring tool for linear-time µhml
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference …, 2022
5*2022
Computability of Data-Word Transductions over Different Data Domains
L Exibard, E Filiot, N Lhote, PA Reynier
Logical Methods in Computer Science 18, 2022
42022
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 generic solution to register-bounded synthesis with an application to discrete orders
L Exibard, E Filiot, A Khalimov
arXiv preprint arXiv:2205.01952, 2022
32022
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
Register Games on Infinite Ordered Data Domains.
L Exibard, E Filiot, A Khalimov
CoRR, 2020
2020
30th International Conference on Concurrency Theory (CONCUR 2019)
MZ Kwiatkowska, KG Larsen, J Ouaknine, J van de Pol, J Kretínský, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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–15