Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Exibard, Léo
57  Ergebnisse:
Personensuche X
?
1

A monitoring tool for linear-time μHML:

Aceto, Luca ; Achilleos, Antonis ; Attard, Duncan Paul...
Science of Computer Programming.  232 (2024)  - p. 103031 , 2024
Link: https://doi.org/10.1016/..
 
?
2

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

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Achilleos, Antonis ; Exibard, Léo ; Francalanza, Adrian.. - p. 181-199 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Computability of Data-Word Transductions over Different Dat..:

Exibard, Léo ; Filiot, Emmanuel ; Lhote, Nathan.
Logical Methods in Computer Science.  18, Issue 3 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
4

Church synthesis on register automata over linearly ordered..:

Exibard, Léo ; Filiot, Emmanuel ; Khalimov, Ayrat
Formal Methods in System Design.  61 (2022)  2-3 - p. 290-337 , 2022
Link: https://doi.org/10.1007/..
 
?
5

A Monitoring Tool for Linear-Time $$\mu $$HML:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Aceto, Luca ; Achilleos, Antonis ; Attard, Duncan Paul... - p. 200-219 , 2022
Link: https://doi.org/10.1007/..
 
?
6

On Computability of Data Word Functions Defined by Transduc..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Exibard, Léo ; Filiot, Emmanuel ; Reynier, Pierre-Alain - p. 217-236 , 2020
Link: https://doi.org/10.1007/..
 
?
7

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

Achilleos, Antonis ; Exibard, Léo ; Francalanza, Adrian..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-08143-9_11.  , 2022
Link: https://hal.science/hal-..
 
?
8

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

Achilleos, Antonis ; Exibard, Léo ; Francalanza, Adrian..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-08143-9_11.  , 2022
Link: https://hal.science/hal-..
 
?
9

Computability of Data-Word Transductions over Different Dat..:

Exibard, Léo ; Filiot, Emmanuel ; Lhote, Nathan.
info:eu-repo/semantics/altIdentifier/arxiv/2101.07038.  , 2022
Link: https://hal.science/hal-..
 
?
10

Computability of Data-Word Transductions over Different Dat..:

Exibard, Léo ; Filiot, Emmanuel ; Lhote, Nathan.
info:eu-repo/semantics/altIdentifier/arxiv/2101.07038.  , 2022
Link: https://hal.science/hal-..
 
?
11

Computability of Data-Word Transductions over Different Dat..:

Exibard, Léo ; Filiot, Emmanuel ; Lhote, Nathan.
info:eu-repo/semantics/altIdentifier/arxiv/2101.07038.  , 2022
Link: https://hal.science/hal-..
 
?
12

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

Achilleos, Antonis ; Exibard, Léo ; Francalanza, Adrian..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-08143-9_11.  , 2022
Link: https://hal.science/hal-..
 
?
13

COMPUTABILITY OF DATA-WORD TRANSDUCTIONS OVER DIFFERENT DAT..:

Exibard, Leo ; Filiot, Emmanuel ; Lhote, Nathan.
uri/info:doi/10.46298/LMCS-18(3:9)2022.  , 2022
Link: http://hdl.handle.net/20..
 
?
14

A Generic Solution to Register-bounded Synthesis with an Ap..:

Exibard, Léo ; Filiot, Emmanuel ; Khalimov, Ayrat
http://arxiv.org/abs/2205.01952.  , 2022
Link: http://arxiv.org/abs/220..
 
?
15

A Generic Solution to Register-Bounded Synthesis with an Ap..:

Exibard, Leo ; Filiot, Emmanuel ; Khalimov, Ayrat
https://dipot.ulb.ac.be/dspace/bitstream/2013/345598/3/LIPIcs-ICALP-2022-122.pdf.  , 2022
Link: http://hdl.handle.net/20..
 
1-15