Pierre-Alain Reynier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
11
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Register-Bounded Synthesis from Constraint LTL. | Nino Dauvier, Emmanuel Filiot, Pierre-Alain Reynier |
| 2026 | DLT | Minimizing Streaming String Transducers: An Algebraic Approach. | Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier |
| 2025 | MFCS | Lexicographic Transductions of Finite Words. | Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier |
| 2024 | MFCS | Minimizing Cost Register Automata over a Field. | Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier |
| 2024 | MFCS | Synthesis of Robust Optimal Real-Time Systems. | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
| 2022 | CONCUR | Decidability of One-Clock Weighted Timed Games with Arbitrary Weights. | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
| 2022 | CSL | Weighted Automata and Expressions over Pre-Rational Monoids. | Nicolas Baudru, Louis-Marie Dando, Nathan Lhote, Benjamin Monmege, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2022 | MFCS | A Robust Class of Languages of 2-Nested Words. | Sverine Fratani, Guillaume Maurras, Pierre-Alain Reynier |
| 2021 | ICALP | Playing Stochastically in Weighted Timed Games to Emulate Memory. | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
| 2020 | CONCUR | Reaching Your Goal Optimally by Playing at Random with No Memory. | Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier |
| 2020 | FOSSACS | On Computability of Data Word Functions Defined by Transducers. | Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2019 | CAV | Robust Controller Synthesis in Timed Bchi Automata: A Symbolic Approach. | Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur |
| 2019 | CONCUR | Synthesis of Data Word Transducers. | Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2019 | ICALP | Sequentiality of String-to-Context Transducers. | Pierre-Alain Reynier, Didier Villevalois |
| 2018 | DLT | From Two-Way Transducers to Regular Function Expressions. | Nicolas Baudru, Pierre-Alain Reynier |
| 2018 | FM | Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty. | Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier |
| 2017 | FOSSACS | Optimal Reachability in Divergent Weighted Timed Games. | Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier |
| 2017 | FOSSACS | Degree of Sequentiality of Weighted Automata. | Laure Daviaud, Ismal Jecker, Pierre-Alain Reynier, Didier Villevalois |
| 2016 | DLT | Aperiodic String Transducers. | Luc Dartois, Ismal Jecker, Pierre-Alain Reynier |
| 2016 | LICS | Two-Way Visibly Pushdown Automata and Transducers. | Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2016 | LICS | A Generalised Twinning Property for Minimisation of Cost Register Automata. | Laure Daviaud, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2015 | ICALP | Decision Problems of Tree Transducers with Origin. | Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2014 | CONCUR | Probabilistic Robust Timed Games. | Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur |
| 2014 | DLT | Visibly Pushdown Transducers with Well-Nested Outputs. | Pierre-Alain Reynier, Jean-Marc Talbot |
| 2013 | CONCUR | Robust Controller Synthesis in Timed Automata. | Ocan Sankur, Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2013 | LICS | From Two-Way to One-Way Finite State Transducers. | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frdric Servais |
| 2012 | ATVA | Controllers with Minimal Observation Power (Application to Timed Systems). | Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-Franois Raskin, Pierre-Alain Reynier |
| 2012 | DLT | Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness. | Mathieu Caralp, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2011 | ATVA | A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems. | Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier |
| 2011 | FOSSACS | Quantitative Robustness Analysis of Flat Timed Automata. | Rmi Jaubert, Pierre-Alain Reynier |
| 2010 | MFCS | Properties of Visibly Pushdown Transducers. | Emmanuel Filiot, Jean-Franois Raskin, Pierre-Alain Reynier, Frdric Servais, Jean-Marc Talbot |
| 2009 | CONCUR | Weak Time Petri Nets Strike Back!. | Pierre-Alain Reynier, Arnaud Sangnier |
| 2008 | FOSSACS | Robust Analysis of Timed Automata via Channel Machines. | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
| 2006 | ATVA | Timed Unfoldings for Networks of Timed Automata. | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
| 2006 | ICALP | Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
| 2006 | LATIN | Robust Model-Checking of Linear-Time Properties in Timed Automata. | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |