Emmanuel Filiot

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 77

Top Venues

CoRR

FSTTCS

LICS

Log. Methods Comput. Sci.

Lille University of Science and Technology, France (PHD)

Education History

Lille University of Science and Technology, France

PHD

Publications

Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini
Passive Learning of Regular Data Languages in Polynomial Time and Data. CONCUR (2024)
Emmanuel Filiot, Sarah Winter
Synthesizing Computable Functions from Rational Specifications Over Infinite Words. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
Finite-valued Streaming String Transducers. CoRR (2024)
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
SynthLearn: A Tool for Guided Reactive Synthesis. Taming the Infinities of Concurrency (2024)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
Finite-valued Streaming String Transducers. LICS (2024)
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
LTL Reactive Synthesis with a Few Hints. TACAS (2) (2023)
Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
Deterministic regular functions of infinite words. CoRR (2023)
Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
Deterministic Regular Functions of Infinite Words. ICALP (2023)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
A Regular and Complete Notion of Delay for Streaming String Transducers. STACS (2023)
Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
LTL Reactive Synthesis with a Few Hints. CoRR (2023)
Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter
Regular Transformations (Dagstuhl Seminar 23202). Dagstuhl Reports 13 (5) (2023)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Synthesis of Computable Regular Functions of Infinite Words. Log. Methods Comput. Sci. 18 (2) (2022)
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
Computability of Data-Word Transductions over Different Data Domains. Log. Methods Comput. Sci. 18 (3) (2022)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. ICALP (2022)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Church synthesis on register automata over linearly ordered data domains. Formal Methods Syst. Des. 61 (2) (2022)
Emmanuel Filiot, Edwin Hamel-De le Court
Two-Player Boundedness Counter Games. CONCUR (2022)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
A Regular and Complete Notion of Delay for Streaming String Transducers. CoRR (2022)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
Synthesis of Data Word Transducers. Log. Methods Comput. Sci. 17 (1) (2021)
Emmanuel Filiot, Christof Löding, Sarah Winter
Synthesis from Weighted Specifications with Partial Domains over Finite Words. CoRR (2021)
Ayrat Khalimov, Emmanuel Filiot, Léo Exibard
Transducer Synthesis from Universal Register Automata in (N, >). CoRR (2021)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Church Synthesis on Register Automata over Linearly Ordered Data Domains. STACS (2021)
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
Computability of Data-Word Transductions over Different Data Domains. CoRR (2021)
Emmanuel Filiot, Pierre-Alain Reynier
Copyful Streaming String Transducers. Fundam. Informaticae 178 (1-2) (2021)
Emmanuel Filiot, Sarah Winter
Synthesizing Computable Functions from Rational Specifications over Infinite Words. FSTTCS (2021)
Emmanuel Filiot, Sarah Winter
Continuous Uniformization of Rational Relations and Synthesis of Computable Functions. CoRR (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. CoRR (2020)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
The Adversarial Stackelberg Value in Quantitative Games. CoRR (2020)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
A Pattern Logic for Automata with Outputs. Int. J. Found. Comput. Sci. 31 (6) (2020)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Synthesis of Computable Regular Functions of Infinite Words. CONCUR (2020)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi
Weighted Transducers for Robustness Verification. CONCUR (2020)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
On Computability of Data Word Functions Defined by Transducers. CoRR (2020)
Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin
Register transducers are marble transducers. CoRR (2020)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
On Computability of Data Word Functions Defined by Transducers. FoSSaCS (2020)
Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
Register Games on Infinite Ordered Data Domains. CoRR (2020)
Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin
Register Transducers Are Marble Transducers. MFCS (2020)
Emmanuel Filiot, Christof Löding, Sarah Winter
Synthesis from Weighted Specifications with Partial Domains over Finite Words. FSTTCS (2020)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
The Adversarial Stackelberg Value in Quantitative Games. ICALP (2020)
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
Two-way Parikh Automata. CoRR (2019)
Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
Deciding the Computability of Regular Functions over Infinite Words. CoRR (2019)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
Decidable weighted expressions with Presburger combinators. J. Comput. Syst. Sci. 106 (2019)
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
Two-Way Parikh Automata. FSTTCS (2019)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
Synthesis of Data Word Transducers. CONCUR (2019)
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
Streamability of nested word transductions. Log. Methods Comput. Sci. 15 (2) (2019)
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
The Complexity of Transducer Synthesis from Multi-Sequential Specifications. CoRR (2019)
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
Synthesis of Data Word Transducers. CoRR (2019)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
Logical and Algebraic Characterizations of Rational Transductions. Log. Methods Comput. Sci. 15 (4) (2019)
Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot
Two-Way Parikh Automata with a Visibly Pushdown Stack. FoSSaCS (2019)
Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR (2019)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
A Pattern Logic for Automata with Outputs. DLT (2018)
Léo Exibard, Emmanuel Filiot, Ismaël Jecker
The Complexity of Transducer Synthesis from Multi-Sequential Specifications. MFCS (2018)
Ismaël Jecker, Emmanuel Filiot
Multi-Sequential Word Relations. Int. J. Found. Comput. Sci. 29 (2) (2018)
Luc Dartois, Emmanuel Filiot, Nathan Lhote
Logics for Word Transductions with Synthesis. LICS (2018)
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
Visibly pushdown transducers. J. Comput. Syst. Sci. 97 (2018)
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
Decision problems of tree transducers with origin. Inf. Comput. 261 (2018)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl
On Canonical Models for Rational Functions over Infinite Words. FSTTCS (2018)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
A Pattern Logic for Automata with Outputs. CoRR (2018)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
Rational Synthesis Under Imperfect Information. LICS (2018)
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
On delay and regret determinization of max-plus automata. LICS (2017)
Emmanuel Filiot, Pierre-Alain Reynier
Copyful Streaming String Transducers. RP (2017)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
Decidable Weighted Expressions with Presburger Combinators. FCT (2017)
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
Streamability of nested word transductions. CoRR (2017)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
Logical and Algebraic Characterizations of Rational Transductions. CoRR (2017)
Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
On Delay and Regret Determinization of Max-Plus Automata. CoRR (2017)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
Decidable Weighted Expressions with Presburger Combinators. CoRR (2017)
Luc Dartois, Emmanuel Filiot, Nathan Lhote
Decidable Logics for Transductions and Data Words. CoRR (2017)
Emmanuel Filiot, Sebastian Maneth, Helmut Seidl
Formal Methods of Transformations (Dagstuhl Seminar 17142). Dagstuhl Reports 7 (4) (2017)
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
Doomsday equilibria for omega-regular games. Inf. Comput. 254 (2017)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. Inf. Comput. 254 (2017)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
On Equivalence and Uniformisation Problems for Finite Transducers. CoRR (2016)
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
Two-Way Visibly Pushdown Automata and Transducers. LICS (2016)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
Aperiodicity of Rational Functions Is PSPACE-Complete. FSTTCS (2016)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
On Equivalence and Uniformisation Problems for Finite Transducers. ICALP (2016)
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
First-order definability of rational transductions: An algebraic approach. LICS (2016)
Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
The Complexity of Rational Synthesis. ICALP (2016)
Emmanuel Filiot, Pierre-Alain Reynier
Transducers, logic and algebra for functions of finite words. ACM SIGLOG News 3 (3) (2016)
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
Two-Way Visibly Pushdown Automata and Transducers. CoRR (2016)
Ismaël Jecker, Emmanuel Filiot
Multi-Sequential Word Relations. CoRR (2015)
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
Decision Problems of Tree Transducers with Origin. ICALP (2) (2015)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
Quantitative Languages Defined by Functional Automata Log. Methods Comput. Sci. 11 (3) (2015)
Ismaël Jecker, Emmanuel Filiot
Multi-sequential Word Relations. DLT (2015)
Emmanuel Filiot
Logic-Automata Connections for Transformations. ICLA (2015)
Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
First-order definable string transformations. CoRR (2014)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. STACS (2014)
Emmanuel Filiot, Pierre-Alain Reynier
On Streaming String Transducers and HDT0L Systems. CoRR (2014)
Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
First-order Definable String Transformations. FSTTCS (2014)
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
Doomsday Equilibria for Omega-Regular Games. VMCAI (2014)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. SR (2014)
Rodica Bozianu, Catalin Dima, Emmanuel Filiot
Safraless Synthesis for Epistemic Temporal Specifications. CAV (2014)
Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
Finite-Valued Weighted Automata. FSTTCS (2014)
Rodica Bozianu, Catalin Dima, Emmanuel Filiot
Safraless Synthesis for Epistemic Temporal Specifications. CoRR (2014)
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
From Two-Way to One-Way Finite State Transducers CoRR (2013)
Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
Exploiting structure in LTL synthesis. Int. J. Softw. Tools Technol. Transf. 15 (5-6) (2013)
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
Doomsday Equilibria for Omega-Regular Games. CoRR (2013)
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. CoRR (2013)
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
From Two-Way to One-Way Finite State Transducers. LICS (2013)
Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
Expressiveness of Visibly Pushdown Transducers. TTATT (2013)
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin
Synthesis from LTL Specifications with Mean-Payoff Objectives. TACAS (2013)
Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin
Synthesis from LTL Specifications with Mean-Payoff Objectives CoRR (2012)
Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi
Regular Transformations of Infinite Strings. LICS (2012)

Emmanuel Filiot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Emmanuel Filiot