Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pierre-Alain Reynier
@article{DBLP:journals/corr/abs-2403-06921,
author = {Benjamin Monmege and
Julie Parreaux and
Pierre{-}Alain Reynier},
title = {Synthesis of Robust Optimal Strategies in Weighted Timed Games},
journal = {CoRR},
volume = {abs/2403.06921},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06921},
doi = {10.48550/ARXIV.2403.06921},
eprinttype = {arXiv},
eprint = {2403.06921},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06921.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BusattoGastonMR23,
author = {Damien Busatto{-}Gaston and
Benjamin Monmege and
Pierre{-}Alain Reynier},
title = {Optimal controller synthesis for timed systems},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:20)2023},
doi = {10.46298/LMCS-19(1:20)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BusattoGastonMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13505,
author = {Yahia Idriss Benalioua and
Nathan Lhote and
Pierre{-}Alain Reynier},
title = {Register Minimization of Cost Register Automata over a Field},
journal = {CoRR},
volume = {abs/2307.13505},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13505},
doi = {10.48550/ARXIV.2307.13505},
eprinttype = {arXiv},
eprint = {2307.13505},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ExibardFLR22,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Nathan Lhote and
Pierre{-}Alain Reynier},
title = {Computability of Data-Word Transductions over Different Data Domains},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:9)2022},
doi = {10.46298/LMCS-18(3:9)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/ExibardFLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MonmegePR22,
author = {Benjamin Monmege and
Julie Parreaux and
Pierre{-}Alain Reynier},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Decidability of One-Clock Weighted Timed Games with Arbitrary Weights},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {15:1--15:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.15},
doi = {10.4230/LIPICS.CONCUR.2022.15},
timestamp = {Mon, 26 Sep 2022 16:25:34 +0200},
biburl = {https://dblp.org/rec/conf/concur/MonmegePR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BaudruDLMRT22,
author = {Nicolas Baudru and
Louis{-}Marie Dando and
Nathan Lhote and
Benjamin Monmege and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Florin Manea and
Alex Simpson},
title = {Weighted Automata and Expressions over Pre-Rational Monoids},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.6},
doi = {10.4230/LIPICS.CSL.2022.6},
timestamp = {Thu, 27 Jan 2022 17:26:21 +0100},
biburl = {https://dblp.org/rec/conf/csl/BaudruDLMRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FrataniMR22,
author = {S{\'{e}}verine Fratani and
Guillaume Maurras and
Pierre{-}Alain Reynier},
editor = {Stefan Szeider and
Robert Ganian and
Alexandra Silva},
title = {A Robust Class of Languages of 2-Nested Words},
booktitle = {47th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
series = {LIPIcs},
volume = {241},
pages = {50:1--50:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2022.50},
doi = {10.4230/LIPICS.MFCS.2022.50},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FrataniMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-01608,
author = {Benjamin Monmege and
Julie Parreaux and
Pierre{-}Alain Reynier},
title = {Decidability of One-Clock Weighted Timed Games with Arbitrary Weights},
journal = {CoRR},
volume = {abs/2207.01608},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.01608},
doi = {10.48550/ARXIV.2207.01608},
eprinttype = {arXiv},
eprint = {2207.01608},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-01608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-10347,
author = {S{\'{e}}verine Fratani and
Guillaume Maurras and
Pierre{-}Alain Reynier},
title = {A robust class of languages of 2-nested words},
journal = {CoRR},
volume = {abs/2208.10347},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.10347},
doi = {10.48550/ARXIV.2208.10347},
eprinttype = {arXiv},
eprint = {2208.10347},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-10347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BacciBFLMR21,
author = {Giovanni Bacci and
Patricia Bouyer and
Uli Fahrenberg and
Kim G. Larsen and
Nicolas Markey and
Pierre{-}Alain Reynier},
title = {Optimal and robust controller synthesis using energy timed automata
with uncertainty},
journal = {Formal Aspects Comput.},
volume = {33},
number = {1},
pages = {3--25},
year = {2021},
url = {https://doi.org/10.1007/s00165-020-00521-4},
doi = {10.1007/S00165-020-00521-4},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BacciBFLMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FiliotR21,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Copyful Streaming String Transducers},
journal = {Fundam. Informaticae},
volume = {178},
number = {1-2},
pages = {59--76},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-1998},
doi = {10.3233/FI-2021-1998},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/FiliotR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ExibardFR21,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Synthesis of Data Word Transducers},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7279},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ExibardFR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MonmegePR21,
author = {Benjamin Monmege and
Julie Parreaux and
Pierre{-}Alain Reynier},
editor = {Nikhil Bansal and
Emanuela Merelli and
James Worrell},
title = {Playing Stochastically in Weighted Timed Games to Emulate Memory},
booktitle = {48th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)},
series = {LIPIcs},
volume = {198},
pages = {137:1--137:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2021.137},
doi = {10.4230/LIPICS.ICALP.2021.137},
timestamp = {Tue, 15 Feb 2022 07:54:27 +0100},
biburl = {https://dblp.org/rec/conf/icalp/MonmegePR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07038,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Nathan Lhote and
Pierre{-}Alain Reynier},
title = {Computability of Data-Word Transductions over Different Data Domains},
journal = {CoRR},
volume = {abs/2101.07038},
year = {2021},
url = {https://arxiv.org/abs/2101.07038},
eprinttype = {arXiv},
eprint = {2101.07038},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-12577,
author = {Damien Busatto{-}Gaston and
Benjamin Monmege and
Pierre{-}Alain Reynier},
title = {Optimal controller synthesis for timed systems},
journal = {CoRR},
volume = {abs/2104.12577},
year = {2021},
url = {https://arxiv.org/abs/2104.12577},
eprinttype = {arXiv},
eprint = {2104.12577},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-12577.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00984,
author = {Benjamin Monmege and
Julie Parreaux and
Pierre{-}Alain Reynier},
title = {Playing Stochastically in Weighted Timed Games to Emulate Memory},
journal = {CoRR},
volume = {abs/2105.00984},
year = {2021},
url = {https://arxiv.org/abs/2105.00984},
eprinttype = {arXiv},
eprint = {2105.00984},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-00984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12395,
author = {Nicolas Baudru and
Louis{-}Marie Dando and
Nathan Lhote and
Benjamin Monmege and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Weighted Automata and Expressions over Pre-Rational Monoids},
journal = {CoRR},
volume = {abs/2110.12395},
year = {2021},
url = {https://arxiv.org/abs/2110.12395},
eprinttype = {arXiv},
eprint = {2110.12395},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BaudruR20,
author = {Nicolas Baudru and
Pierre{-}Alain Reynier},
title = {From Two-Way Transducers to Regular Function Expressions},
journal = {Int. J. Found. Comput. Sci.},
volume = {31},
number = {6},
pages = {843--873},
year = {2020},
url = {https://doi.org/10.1142/S0129054120410087},
doi = {10.1142/S0129054120410087},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/BaudruR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MonmegePR20,
author = {Benjamin Monmege and
Julie Parreaux and
Pierre{-}Alain Reynier},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Reaching Your Goal Optimally by Playing at Random with No Memory},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {26:1--26:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.26},
doi = {10.4230/LIPICS.CONCUR.2020.26},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/MonmegePR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ExibardFR20,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {On Computability of Data Word Functions Defined by Transducers},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {217--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_12},
doi = {10.1007/978-3-030-45231-5\_12},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ExibardFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08203,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {On Computability of Data Word Functions Defined by Transducers},
journal = {CoRR},
volume = {abs/2002.08203},
year = {2020},
url = {https://arxiv.org/abs/2002.08203},
eprinttype = {arXiv},
eprint = {2002.08203},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-04985,
author = {Benjamin Monmege and
Julie Parreaux and
Pierre{-}Alain Reynier},
title = {Reaching Your Goal Optimally by Playing at Random},
journal = {CoRR},
volume = {abs/2005.04985},
year = {2020},
url = {https://arxiv.org/abs/2005.04985},
eprinttype = {arXiv},
eprint = {2005.04985},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FiliotGRS19,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {Streamability of nested word transductions},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(2:1)2019},
doi = {10.23638/LMCS-15(2:1)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FiliotGRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Busatto-GastonM19,
author = {Damien Busatto{-}Gaston and
Benjamin Monmege and
Pierre{-}Alain Reynier and
Ocan Sankur},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Robust Controller Synthesis in Timed B{\"{u}}chi Automata: {A}
Symbolic Approach},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {572--590},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_33},
doi = {10.1007/978-3-030-25540-4\_33},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/Busatto-GastonM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ExibardFR19,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Synthesis of Data Word Transducers},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {24:1--24:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.24},
doi = {10.4230/LIPICS.CONCUR.2019.24},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ExibardFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ReynierV19,
author = {Pierre{-}Alain Reynier and
Didier Villevalois},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {Sequentiality of String-to-Context Transducers},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {128:1--128:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.128},
doi = {10.4230/LIPICS.ICALP.2019.128},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ReynierV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/ReynierS19,
author = {Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {On the Computation of the Minimal Coverability Set of Petri Nets},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {164--177},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_13},
doi = {10.1007/978-3-030-30806-3\_13},
timestamp = {Mon, 09 Sep 2019 15:37:02 +0200},
biburl = {https://dblp.org/rec/conf/rp/ReynierS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-11263,
author = {Pierre{-}Alain Reynier and
Didier Villevalois},
title = {Sequentiality of String-to-Context Transducers},
journal = {CoRR},
volume = {abs/1902.11263},
year = {2019},
url = {http://arxiv.org/abs/1902.11263},
eprinttype = {arXiv},
eprint = {1902.11263},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-11263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-03538,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Synthesis of Data Word Transducers},
journal = {CoRR},
volume = {abs/1905.03538},
year = {2019},
url = {http://arxiv.org/abs/1905.03538},
eprinttype = {arXiv},
eprint = {1905.03538},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-03538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FiliotMRT18,
author = {Emmanuel Filiot and
Sebastian Maneth and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Decision problems of tree transducers with origin},
journal = {Inf. Comput.},
volume = {261},
pages = {311--335},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.011},
doi = {10.1016/J.IC.2018.02.011},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FiliotMRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DartoisJR18,
author = {Luc Dartois and
Isma{\"{e}}l Jecker and
Pierre{-}Alain Reynier},
title = {Aperiodic String Transducers},
journal = {Int. J. Found. Comput. Sci.},
volume = {29},
number = {5},
pages = {801--824},
year = {2018},
url = {https://doi.org/10.1142/S0129054118420054},
doi = {10.1142/S0129054118420054},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DartoisJR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FiliotRRST18,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
title = {Visibly pushdown transducers},
journal = {J. Comput. Syst. Sci.},
volume = {97},
pages = {147--181},
year = {2018},
url = {https://doi.org/10.1016/j.jcss.2018.05.002},
doi = {10.1016/J.JCSS.2018.05.002},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/FiliotRRST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BaudruR18,
author = {Nicolas Baudru and
Pierre{-}Alain Reynier},
editor = {Mizuho Hoshi and
Shinnosuke Seki},
title = {From Two-Way Transducers to Regular Function Expressions},
booktitle = {Developments in Language Theory - 22nd International Conference, {DLT}
2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11088},
pages = {96--108},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98654-8\_8},
doi = {10.1007/978-3-319-98654-8\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BaudruR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/0001BFLMR18,
author = {Giovanni Bacci and
Patricia Bouyer and
Uli Fahrenberg and
Kim Guldstrand Larsen and
Nicolas Markey and
Pierre{-}Alain Reynier},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Optimal and Robust Controller Synthesis - Using Energy Timed Automata
with Uncertainty},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {203--221},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_12},
doi = {10.1007/978-3-319-95582-7\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/0001BFLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Busatto-GastonM18,
author = {Damien Busatto{-}Gaston and
Benjamin Monmege and
Pierre{-}Alain Reynier},
editor = {Sumit Ganguly and
Paritosh K. Pandya},
title = {Symbolic Approximation of Weighted Timed Games},
booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018,
Ahmedabad, India},
series = {LIPIcs},
volume = {122},
pages = {28:1--28:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.28},
doi = {10.4230/LIPICS.FSTTCS.2018.28},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/Busatto-GastonM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2018,
editor = {Igor Potapov and
Pierre{-}Alain Reynier},
title = {Reachability Problems - 12th International Conference, {RP} 2018,
Marseille, France, September 24-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00250-3},
doi = {10.1007/978-3-030-00250-3},
isbn = {978-3-030-00249-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00847,
author = {Giovanni Bacci and
Patricia Bouyer and
Uli Fahrenberg and
Kim G. Larsen and
Nicolas Markey and
Pierre{-}Alain Reynier},
title = {Optimal and Robust Controller Synthesis: using Energy Timed Automata
with Uncertainty},
journal = {CoRR},
volume = {abs/1805.00847},
year = {2018},
url = {http://arxiv.org/abs/1805.00847},
eprinttype = {arXiv},
eprint = {1805.00847},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-00847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01062,
author = {Damien Busatto{-}Gaston and
Benjamin Monmege and
Pierre{-}Alain Reynier},
title = {Symbolic Approximation of Weighted Timed Games},
journal = {CoRR},
volume = {abs/1812.01062},
year = {2018},
url = {http://arxiv.org/abs/1812.01062},
eprinttype = {arXiv},
eprint = {1812.01062},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-01062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Busatto-GastonM17,
author = {Damien Busatto{-}Gaston and
Benjamin Monmege and
Pierre{-}Alain Reynier},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Optimal Reachability in Divergent Weighted Timed Games},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {162--178},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_10},
doi = {10.1007/978-3-662-54458-7\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Busatto-GastonM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DaviaudJRV17,
author = {Laure Daviaud and
Isma{\"{e}}l Jecker and
Pierre{-}Alain Reynier and
Didier Villevalois},
editor = {Javier Esparza and
Andrzej S. Murawski},
title = {Degree of Sequentiality of Weighted Automata},
booktitle = {Foundations of Software Science and Computation Structures - 20th
International Conference, {FOSSACS} 2017, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2017,
Uppsala, Sweden, April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10203},
pages = {215--230},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54458-7\_13},
doi = {10.1007/978-3-662-54458-7\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DaviaudJRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FiliotR17,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
editor = {Matthew Hague and
Igor Potapov},
title = {Copyful Streaming String Transducers},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {75--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_6},
doi = {10.1007/978-3-319-67089-8\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FiliotR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Busatto-GastonM17,
author = {Damien Busatto{-}Gaston and
Benjamin Monmege and
Pierre{-}Alain Reynier},
title = {Optimal Reachability in Divergent Weighted Timed Games},
journal = {CoRR},
volume = {abs/1701.03716},
year = {2017},
url = {http://arxiv.org/abs/1701.03716},
eprinttype = {arXiv},
eprint = {1701.03716},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Busatto-GastonM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DaviaudJRV17,
author = {Laure Daviaud and
Isma{\"{e}}l Jecker and
Pierre{-}Alain Reynier and
Didier Villevalois},
title = {Degree of sequentiality of weighted automata},
journal = {CoRR},
volume = {abs/1701.04632},
year = {2017},
url = {http://arxiv.org/abs/1701.04632},
eprinttype = {arXiv},
eprint = {1701.04632},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DaviaudJRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotGRS17,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {Streamability of nested word transductions},
journal = {CoRR},
volume = {abs/1707.00527},
year = {2017},
url = {http://arxiv.org/abs/1707.00527},
eprinttype = {arXiv},
eprint = {1707.00527},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiliotGRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AkshayHJR16,
author = {S. Akshay and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Claude Jard and
Pierre{-}Alain Reynier},
title = {Robustness of Time Petri Nets under Guard Enlargement},
journal = {Fundam. Informaticae},
volume = {143},
number = {3-4},
pages = {207--234},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1312},
doi = {10.3233/FI-2016-1312},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AkshayHJR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ReynierT16,
author = {Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Visibly Pushdown Transducers with Well-Nested Outputs},
journal = {Int. J. Found. Comput. Sci.},
volume = {27},
number = {2},
pages = {235--258},
year = {2016},
url = {https://doi.org/10.1142/S0129054116400086},
doi = {10.1142/S0129054116400086},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ReynierT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/FiliotR16,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Transducers, logic and algebra for functions of finite words},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {4--19},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984453},
doi = {10.1145/2984450.2984453},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/FiliotR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/DartoisJR16,
author = {Luc Dartois and
Isma{\"{e}}l Jecker and
Pierre{-}Alain Reynier},
editor = {Srecko Brlek and
Christophe Reutenauer},
title = {Aperiodic String Transducers},
booktitle = {Developments in Language Theory - 20th International Conference, {DLT}
2016, Montr{\'{e}}al, Canada, July 25-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9840},
pages = {125--137},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53132-7\_11},
doi = {10.1007/978-3-662-53132-7\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/DartoisJR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DartoisFRT16,
author = {Luc Dartois and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Two-Way Visibly Pushdown Automata and Transducers},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {217--226},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935315},
doi = {10.1145/2933575.2935315},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DartoisFRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DaviaudRT16,
author = {Laure Daviaud and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {A Generalised Twinning Property for Minimisation of Cost Register
Automata},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {857--866},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934549},
doi = {10.1145/2933575.2934549},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DaviaudRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DartoisFRT16,
author = {Luc Dartois and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Two-Way Visibly Pushdown Automata and Transducers},
journal = {CoRR},
volume = {abs/1606.00234},
year = {2016},
url = {http://arxiv.org/abs/1606.00234},
eprinttype = {arXiv},
eprint = {1606.00234},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DartoisFRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CaralpRT15,
author = {Mathieu Caralp and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Trimming visibly pushdown automata},
journal = {Theor. Comput. Sci.},
volume = {578},
pages = {13--29},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.01.018},
doi = {10.1016/J.TCS.2015.01.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CaralpRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FiliotMRT15,
author = {Emmanuel Filiot and
Sebastian Maneth and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Decision Problems of Tree Transducers with Origin},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {209--221},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_17},
doi = {10.1007/978-3-662-47666-6\_17},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/FiliotMRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DartoisR15,
author = {Luc Dartois and
Pierre{-}Alain Reynier},
title = {Aperiodic Transducers},
journal = {CoRR},
volume = {abs/1506.04059},
year = {2015},
url = {http://arxiv.org/abs/1506.04059},
eprinttype = {arXiv},
eprint = {1506.04059},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DartoisR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/OualhadjRS14,
author = {Youssouf Oualhadj and
Pierre{-}Alain Reynier and
Ocan Sankur},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Probabilistic Robust Timed Games},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {203--217},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_15},
doi = {10.1007/978-3-662-44584-6\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/OualhadjRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/ReynierT14,
author = {Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {Visibly Pushdown Transducers with Well-Nested Outputs},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {129--141},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_12},
doi = {10.1007/978-3-319-09698-8\_12},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/ReynierT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotR14,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {On Streaming String Transducers and {HDT0L} Systems},
journal = {CoRR},
volume = {abs/1412.0537},
year = {2014},
url = {http://arxiv.org/abs/1412.0537},
eprinttype = {arXiv},
eprint = {1412.0537},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiliotR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ReynierS13,
author = {Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm
with Pruning},
journal = {Fundam. Informaticae},
volume = {122},
number = {1-2},
pages = {1--30},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-781},
doi = {10.3233/FI-2013-781},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ReynierS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/TimoR13,
author = {Omer Landry Nguena{-}Timo and
Pierre{-}Alain Reynier},
title = {On characteristic formulae for Event-Recording Automata},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {47},
number = {1},
pages = {69--96},
year = {2013},
url = {https://doi.org/10.1051/ita/2012029},
doi = {10.1051/ITA/2012029},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/TimoR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SankurBMR13,
author = {Ocan Sankur and
Patricia Bouyer and
Nicolas Markey and
Pierre{-}Alain Reynier},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Robust Controller Synthesis in Timed Automata},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {546--560},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_38},
doi = {10.1007/978-3-642-40184-8\_38},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/SankurBMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiliotGRS13,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {From Two-Way to One-Way Finite State Transducers},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {468--477},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.53},
doi = {10.1109/LICS.2013.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FiliotGRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CaralpRT13,
author = {Mathieu Caralp and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Stavros Konstantinidis},
title = {Trimming Visibly Pushdown Automata},
booktitle = {Implementation and Application of Automata - 18th International Conference,
{CIAA} 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7982},
pages = {84--96},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39274-0\_9},
doi = {10.1007/978-3-642-39274-0\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/CaralpRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CaralpFRST13,
author = {Mathieu Caralp and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
editor = {Sebastian Maneth},
title = {Expressiveness of Visibly Pushdown Transducers},
booktitle = {Proceedings Second International Workshop on Trends in Tree Automata
and Tree Transducers, {TTATT} 2013, Hanoi, Vietnam, 19/10/2013},
series = {{EPTCS}},
volume = {134},
pages = {17--26},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.134.3},
doi = {10.4204/EPTCS.134.3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaralpFRST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5197,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {From Two-Way to One-Way Finite State Transducers},
journal = {CoRR},
volume = {abs/1301.5197},
year = {2013},
url = {http://arxiv.org/abs/1301.5197},
eprinttype = {arXiv},
eprint = {1301.5197},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BulychevCDLRR12,
author = {Peter E. Bulychev and
Franck Cassez and
Alexandre David and
Kim Guldstrand Larsen and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Controllers with Minimal Observation Power (Application to Timed Systems)},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {223--237},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_19},
doi = {10.1007/978-3-642-33386-6\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BulychevCDLRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CaralpRT12,
author = {Mathieu Caralp and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Hsu{-}Chun Yen and
Oscar H. Ibarra},
title = {Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness},
booktitle = {Developments in Language Theory - 16th International Conference, {DLT}
2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7410},
pages = {226--238},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31653-1\_21},
doi = {10.1007/978-3-642-31653-1\_21},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/CaralpRT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/AkshayHJR12,
author = {S. Akshay and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Claude Jard and
Pierre{-}Alain Reynier},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Robustness of Time Petri Nets under Guard Enlargement},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {92--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_9},
doi = {10.1007/978-3-642-33512-9\_9},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/AkshayHJR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1276,
author = {Peter E. Bulychev and
Franck Cassez and
Alexandre David and
Kim G. Larsen and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier},
title = {Controllers with Minimal Observation Power (Application to Timed Systems)},
journal = {CoRR},
volume = {abs/1207.1276},
year = {2012},
url = {http://arxiv.org/abs/1207.1276},
eprinttype = {arXiv},
eprint = {1207.1276},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ReynierS11,
author = {Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm
with Pruning},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {69--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_5},
doi = {10.1007/978-3-642-21834-7\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/ReynierS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MalinowskiNR11,
author = {Janusz Malinowski and
Peter Niebert and
Pierre{-}Alain Reynier},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {A Hierarchical Approach for the Synthesis of Stabilizing Controllers
for Hybrid Systems},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {198--212},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_15},
doi = {10.1007/978-3-642-24372-1\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/MalinowskiNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/JaubertR11,
author = {R{\'{e}}mi Jaubert and
Pierre{-}Alain Reynier},
editor = {Martin Hofmann},
title = {Quantitative Robustness Analysis of Flat Timed Automata},
booktitle = {Foundations of Software Science and Computational Structures - 14th
International Conference, {FOSSACS} 2011, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2011,
Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {229--244},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_16},
doi = {10.1007/978-3-642-19805-2\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/JaubertR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotGRS11,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Streamability of Nested Word Transductions},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {312--324},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.312},
doi = {10.4230/LIPICS.FSTTCS.2011.312},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotGRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FiliotRRST10,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Properties of Visibly Pushdown Transducers},
booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6281},
pages = {355--367},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_32},
doi = {10.1007/978-3-642-15155-2\_32},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FiliotRRST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-1443,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
title = {On Functionality of Visibly Pushdown Transducers},
journal = {CoRR},
volume = {abs/1002.1443},
year = {2010},
url = {http://arxiv.org/abs/1002.1443},
eprinttype = {arXiv},
eprint = {1002.1443},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-1443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BouyerHR09,
author = {Patricia Bouyer and
Serge Haddad and
Pierre{-}Alain Reynier},
title = {Undecidability Results for Timed Automata with Silent Transitions},
journal = {Fundam. Informaticae},
volume = {92},
number = {1-2},
pages = {1--25},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0063},
doi = {10.3233/FI-2009-0063},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BouyerHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ReynierS09,
author = {Pierre{-}Alain Reynier and
Arnaud Sangnier},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Weak Time Petri Nets Strike Back!},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {557--571},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_37},
doi = {10.1007/978-3-642-04081-8\_37},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ReynierS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fics/Nguena-TimoR09,
author = {Omer Landry Nguena{-}Timo and
Pierre{-}Alain Reynier},
editor = {Ralph Matthes and
Tarmo Uustalu},
title = {On Characteristic Formulae for Event-Recording Automata},
booktitle = {6th Workshop on Fixed Points in Computer Science, {FICS} 2009, Coimbra,
Portugal, September 12-13, 2009},
pages = {70--78},
publisher = {Institute of Cybernetics},
year = {2009},
url = {http://cs.ioc.ee/fics09/proceedings/contrib9.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fics/Nguena-TimoR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CassezJLRR09,
author = {Franck Cassez and
Jan Jakob Jessen and
Kim Guldstrand Larsen and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier},
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Automatic Synthesis of Robust and Optimal Controllers - An Industrial
Case Study},
booktitle = {Hybrid Systems: Computation and Control, 12th International Conference,
{HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5469},
pages = {90--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00602-9\_7},
doi = {10.1007/978-3-642-00602-9\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CassezJLRR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BouyerHR08,
author = {Patricia Bouyer and
Serge Haddad and
Pierre{-}Alain Reynier},
title = {Timed Petri nets and timed automata: On the discriminating power of
zeno sequences},
journal = {Inf. Comput.},
volume = {206},
number = {1},
pages = {73--107},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.10.004},
doi = {10.1016/J.IC.2007.10.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BouyerHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BouyerMR08,
author = {Patricia Bouyer and
Nicolas Markey and
Pierre{-}Alain Reynier},
editor = {Roberto M. Amadio},
title = {Robust Analysis of Timed Automata via Channel Machines},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {157--171},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_12},
doi = {10.1007/978-3-540-78499-9\_12},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BouyerMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BouyerRH06,
author = {Patricia Bouyer and
Pierre{-}Alain Reynier and
Serge Haddad},
title = {Extended Timed Automata and Time Petri Nets},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.6},
doi = {10.1109/ACSD.2006.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BouyerRH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BouyerHR06,
author = {Patricia Bouyer and
Serge Haddad and
Pierre{-}Alain Reynier},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Timed Unfoldings for Networks of Timed Automata},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {292--306},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_23},
doi = {10.1007/11901914\_23},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BouyerHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BouyerHR06,
author = {Patricia Bouyer and
Serge Haddad and
Pierre{-}Alain Reynier},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Timed Petri Nets and Timed Automata: On the Discriminating Power of
Zeno Sequences},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {420--431},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_36},
doi = {10.1007/11787006\_36},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BouyerHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/BouyerMR06,
author = {Patricia Bouyer and
Nicolas Markey and
Pierre{-}Alain Reynier},
editor = {Jos{\'{e}} R. Correa and
Alejandro Hevia and
Marcos A. Kiwi},
title = {Robust Model-Checking of Linear-Time Properties in Timed Automata},
booktitle = {{LATIN} 2006: Theoretical Informatics, 7th Latin American Symposium,
Valdivia, Chile, March 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3887},
pages = {238--249},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11682462\_25},
doi = {10.1007/11682462\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/BouyerMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouyerLR05,
author = {Patricia Bouyer and
Fran{\c{c}}ois Laroussinie and
Pierre{-}Alain Reynier},
editor = {Paul Pettersson and
Wang Yi},
title = {Diagonal Constraints in Timed Automata: Forward Analysis of Timed
Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {112--126},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_10},
doi = {10.1007/11603009\_10},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/BouyerLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
