Pierre-Alain Reynier

92 papers A* 5B 24C 5Journal 44Unranked 13
YearRankTypeTitle / Venue / Authors
2026 B conf
Register-Bounded Synthesis from Constraint LTL.
CSL
Nino Dauvier, Emmanuel Filiot, Pierre-Alain Reynier
2025 J jnl
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
Log. Methods Comput. Sci.
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2025 B conf
Lexicographic Transductions of Finite Words.
MFCS
Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2025 J jnl
Lexicographic transductions of finite words.
CoRR
Emmanuel Filiot, Pierre-Alain Reynier, Nathan Lhote
2025 J jnl
Playing Stochastically in Weighted Timed Games to Emulate Memory.
Log. Methods Comput. Sci.
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2024 B conf
Minimizing Cost Register Automata over a Field.
MFCS
Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier
2024 B conf
Synthesis of Robust Optimal Real-Time Systems.
MFCS
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2024 J jnl
Synthesis of Robust Optimal Strategies in Weighted Timed Games.
CoRR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2023 J jnl
Optimal controller synthesis for timed systems.
Log. Methods Comput. Sci.
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2023 J jnl
Register Minimization of Cost Register Automata over a Field.
CoRR
Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier
2022 B conf
A Robust Class of Languages of 2-Nested Words.
MFCS
Séverine Fratani, Guillaume Maurras, Pierre-Alain Reynier
2022 J jnl
A robust class of languages of 2-nested words.
CoRR
Séverine Fratani, Guillaume Maurras, Pierre-Alain Reynier
2022 J jnl
Computability of Data-Word Transductions over Different Data Domains.
Log. Methods Comput. Sci.
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2022 B conf
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
CONCUR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2022 J jnl
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
CoRR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2022 B conf
Weighted Automata and Expressions over Pre-Rational Monoids.
CSL
Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot
2021 J jnl
Computability of Data-Word Transductions over Different Data Domains.
CoRR
Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2021 J jnl
Copyful Streaming String Transducers.
Fundam. Informaticae
Emmanuel Filiot, Pierre-Alain Reynier
2021 J jnl
Optimal and robust controller synthesis using energy timed automata with uncertainty.
Formal Aspects Comput.
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2021 J jnl
Optimal controller synthesis for timed systems.
CoRR
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2021 A* conf
Playing Stochastically in Weighted Timed Games to Emulate Memory.
ICALP
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2021 J jnl
Playing Stochastically in Weighted Timed Games to Emulate Memory.
CoRR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2021 J jnl
Synthesis of Data Word Transducers.
Log. Methods Comput. Sci.
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2021 J jnl
Weighted Automata and Expressions over Pre-Rational Monoids.
CoRR
Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot
2020 J jnl
From Two-Way Transducers to Regular Function Expressions.
Int. J. Found. Comput. Sci.
Nicolas Baudru, Pierre-Alain Reynier
2020 B conf
On Computability of Data Word Functions Defined by Transducers.
FoSSaCS
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2020 J jnl
On Computability of Data Word Functions Defined by Transducers.
CoRR
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2020 B conf
Reaching Your Goal Optimally by Playing at Random with No Memory.
CONCUR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2020 J jnl
Reaching Your Goal Optimally by Playing at Random.
CoRR
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2019 — conf
On the Computation of the Minimal Coverability Set of Petri Nets.
RP
Pierre-Alain Reynier, Frédéric Servais
2019 — conf
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach.
CAV (1)
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur
2019 A* conf
Sequentiality of String-to-Context Transducers.
ICALP
Pierre-Alain Reynier, Didier Villevalois
2019 J jnl
Sequentiality of String-to-Context Transducers.
CoRR
Pierre-Alain Reynier, Didier Villevalois
2019 J jnl
Streamability of nested word transductions.
Log. Methods Comput. Sci.
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2019 B conf
Synthesis of Data Word Transducers.
CONCUR
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2019 J jnl
Synthesis of Data Word Transducers.
CoRR
Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2018 J jnl
Aperiodic String Transducers.
Int. J. Found. Comput. Sci.
Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier
2018 J jnl
Decision problems of tree transducers with origin.
Inf. Comput.
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
2018 C conf
From Two-Way Transducers to Regular Function Expressions.
DLT
Nicolas Baudru, Pierre-Alain Reynier
2018 B conf
Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty.
FM
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
2018 J jnl
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty.
CoRR
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier
2018 — ed.
Reachability Problems - 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
RP
Igor Potapov, Pierre-Alain Reynier
2018 — conf
Symbolic Approximation of Weighted Timed Games.
FSTTCS
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2018 J jnl
Symbolic Approximation of Weighted Timed Games.
CoRR
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2018 J jnl
Visibly pushdown transducers.
J. Comput. Syst. Sci.
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
2017 — conf
Copyful Streaming String Transducers.
RP
Emmanuel Filiot, Pierre-Alain Reynier
2017 B conf
Degree of Sequentiality of Weighted Automata.
FoSSaCS
Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois
2017 J jnl
Degree of sequentiality of weighted automata.
CoRR
Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois
2017 B conf
Optimal Reachability in Divergent Weighted Timed Games.
FoSSaCS
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2017 J jnl
Optimal Reachability in Divergent Weighted Timed Games.
CoRR
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
2017 J jnl
Streamability of nested word transductions.
CoRR
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2016 A* conf
A Generalised Twinning Property for Minimisation of Cost Register Automata.
LICS
Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot
2016 C conf
Aperiodic String Transducers.
DLT
Luc Dartois, Ismaël Jecker, Pierre-Alain Reynier
2016 J jnl
Robustness of Time Petri Nets under Guard Enlargement.
Fundam. Informaticae
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
2016 J jnl
Transducers, logic and algebra for functions of finite words.
ACM SIGLOG News
Emmanuel Filiot, Pierre-Alain Reynier
2016 A* conf
Two-Way Visibly Pushdown Automata and Transducers.
LICS
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
2016 J jnl
Two-Way Visibly Pushdown Automata and Transducers.
CoRR
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
2016 J jnl
Visibly Pushdown Transducers with Well-Nested Outputs.
Int. J. Found. Comput. Sci.
Pierre-Alain Reynier, Jean-Marc Talbot
2015 J jnl
Aperiodic Transducers.
CoRR
Luc Dartois, Pierre-Alain Reynier
2015 — conf
Decision Problems of Tree Transducers with Origin.
ICALP (2)
Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
2015 J jnl
Trimming visibly pushdown automata.
Theor. Comput. Sci.
Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot
2014 J jnl
On Streaming String Transducers and HDT0L Systems.
CoRR
Emmanuel Filiot, Pierre-Alain Reynier
2014 B conf
Probabilistic Robust Timed Games.
CONCUR
Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur
2014 C conf
Visibly Pushdown Transducers with Well-Nested Outputs.
Developments in Language Theory
Pierre-Alain Reynier, Jean-Marc Talbot
2013 — conf
Expressiveness of Visibly Pushdown Transducers.
TTATT
Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
2013 J jnl
From Two-Way to One-Way Finite State Transducers
CoRR
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2013 A* conf
From Two-Way to One-Way Finite State Transducers.
LICS
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2013 J jnl
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.
Fundam. Informaticae
Pierre-Alain Reynier, Frédéric Servais
2013 J jnl
On characteristic formulae for Event-Recording Automata.
RAIRO Theor. Informatics Appl.
Omer Landry Nguena-Timo, Pierre-Alain Reynier
2013 B conf
Robust Controller Synthesis in Timed Automata.
CONCUR
Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
2013 C conf
Trimming Visibly Pushdown Automata.
CIAA
Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot
2012 J jnl
Controllers with Minimal Observation Power (Application to Timed Systems)
CoRR
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
2012 B conf
Controllers with Minimal Observation Power (Application to Timed Systems).
ATVA
Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
2012 — conf
Robustness of Time Petri Nets under Guard Enlargement.
RP
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
2012 C conf
Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness.
Developments in Language Theory
Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot
2011 B conf
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems.
ATVA
Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier
2011 B conf
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.
Petri Nets
Pierre-Alain Reynier, Frédéric Servais
2011 B conf
Quantitative Robustness Analysis of Flat Timed Automata.
FoSSaCS
Rémi Jaubert, Pierre-Alain Reynier
2011 — conf
Streamability of Nested Word Transductions.
FSTTCS
Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2010 J jnl
On Functionality of Visibly Pushdown Transducers
CoRR
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
2010 B conf
Properties of Visibly Pushdown Transducers.
MFCS
Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
2009 — conf
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.
HSCC
Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
2009 — conf
On Characteristic Formulae for Event-Recording Automata.
FICS
Omer Landry Nguena-Timo, Pierre-Alain Reynier
2009 J jnl
Undecidability Results for Timed Automata with Silent Transitions.
Fundam. Informaticae
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2009 B conf
Weak Time Petri Nets Strike Back!.
CONCUR
Pierre-Alain Reynier, Arnaud Sangnier
2008 B conf
Robust Analysis of Timed Automata via Channel Machines.
FoSSaCS
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
2008 J jnl
Timed Petri nets and timed automata: On the discriminating power of zeno sequences.
Inf. Comput.
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2006 — conf
Extended Timed Automata and Time Petri Nets.
ACSD
Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad
2006 B conf
Robust Model-Checking of Linear-Time Properties in Timed Automata.
LATIN
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
2006 — conf
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.
ICALP (2)
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2006 B conf
Timed Unfoldings for Networks of Timed Automata.
ATVA
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
2005 — conf
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.
FORMATS
Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier