Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain Optimal controller synthesis for timed systems. (English) Zbl 07731909 Log. Methods Comput. Sci. 19, No. 1, Paper No. 20, 77 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Busatto-Gaston} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 20, 77 p. (2023; Zbl 07731909) Full Text: DOI arXiv
Exibard, Léo; Filiot, Emmanuel; Lhote, Nathan; Reynier, Pierre-Alain Computability of data-word transductions over different data domains. (English) Zbl 07577573 Log. Methods Comput. Sci. 18, No. 3, Paper No. 9, 41 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Exibard} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 9, 41 p. (2022; Zbl 07577573) Full Text: arXiv Link
Filiot, Emmanuel; Reynier, Pierre-Alain Copyful streaming string transducers. (English) Zbl 1478.68125 Fundam. Inform. 178, No. 1-2, 59-76 (2021). MSC: 68Q45 03D05 68Q25 68Q42 PDFBibTeX XMLCite \textit{E. Filiot} and \textit{P.-A. Reynier}, Fundam. Inform. 178, No. 1--2, 59--76 (2021; Zbl 1478.68125) Full Text: DOI
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain Synthesis of data word transducers. (English) Zbl 1509.68132 Log. Methods Comput. Sci. 17, No. 1, Paper No. 22, 25 p. (2021). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{L. Exibard} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 22, 25 p. (2021; Zbl 1509.68132) Full Text: arXiv Link
Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Reynier, Pierre-Alain Optimal and robust controller synthesis using energy timed automata with uncertainty. (English) Zbl 1458.93072 Formal Asp. Comput. 33, No. 1, 3-25 (2021). MSC: 93B50 68Q45 68W30 93C65 PDFBibTeX XMLCite \textit{G. Bacci} et al., Formal Asp. Comput. 33, No. 1, 3--25 (2021; Zbl 1458.93072) Full Text: DOI arXiv
Monmege, Benjamin; Parreaux, Julie; Reynier, Pierre-Alain Reaching your goal optimally by playing at random with no memory. (English) Zbl 07559482 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 26, 21 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{B. Monmege} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 26, 21 p. (2020; Zbl 07559482) Full Text: DOI arXiv
Baudru, Nicolas; Reynier, Pierre-Alain From two-way transducers to regular function expressions. (English) Zbl 1477.68143 Int. J. Found. Comput. Sci. 31, No. 6, 843-873 (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDFBibTeX XMLCite \textit{N. Baudru} and \textit{P.-A. Reynier}, Int. J. Found. Comput. Sci. 31, No. 6, 843--873 (2020; Zbl 1477.68143) Full Text: DOI
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain On computability of data word functions defined by transducers. (English) Zbl 07250940 Goubault-Larrecq, Jean (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 12077, 217-236 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{L. Exibard} et al., Lect. Notes Comput. Sci. 12077, 217--236 (2020; Zbl 07250940) Full Text: DOI arXiv
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain Synthesis of data word transducers. (English) Zbl 07649932 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 24, 15 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Exibard} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 24, 15 p. (2019; Zbl 07649932) Full Text: DOI
Reynier, Pierre-Alain; Villevalois, Didier Sequentiality of string-to-context transducers. (English) Zbl 07561621 Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 128, 14 p. (2019). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P.-A. Reynier} and \textit{D. Villevalois}, LIPIcs -- Leibniz Int. Proc. Inform. 132, Article 128, 14 p. (2019; Zbl 07561621) Full Text: DOI arXiv
Reynier, Pierre-Alain; Servais, Frédéric On the computation of the minimal coverability set of Petri nets. (English) Zbl 07121144 Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11674, 164-177 (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{P.-A. Reynier} and \textit{F. Servais}, Lect. Notes Comput. Sci. 11674, 164--177 (2019; Zbl 07121144) Full Text: DOI HAL
Chalopin, Jérémie (ed.); Guillon, Pierre (ed.) [Filiot, Emmanuel; Reynier, Pierre-Alain; Frid, Anna; Hétroy-Wheeler, Franck; Mari, Jean-Luc; Subsol, Gérard; Knauer, Kolja; Labourel, Arnaud] Mathematical informatics. A photography in 2019. (Informatique mathématique. Une photographie en 2019.) (French) Zbl 1440.68006 CNRS Alpha. Paris: CNRS Éditions (ISBN 978-2-271-12611-5/pbk). 148 p. (2019). MSC: 68-06 00A09 68Q45 68R15 68U05 68W15 00B15 PDFBibTeX XMLCite \textit{J. Chalopin} (ed.) and \textit{P. Guillon} (ed.), Informatique mathématique. Une photographie en 2019. Paris: CNRS Éditions (2019; Zbl 1440.68006)
Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric Streamability of nested word transductions. (English) Zbl 1421.68094 Log. Methods Comput. Sci. 15, No. 2, Paper No. 1, 30 p. (2019). MSC: 68Q45 68P05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Log. Methods Comput. Sci. 15, No. 2, Paper No. 1, 30 p. (2019; Zbl 1421.68094) Full Text: arXiv
Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain Symbolic approximation of weighted timed games. (English) Zbl 1528.68178 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 28, 16 p. (2018). MSC: 68Q45 91A50 91A80 PDFBibTeX XMLCite \textit{D. Busatto-Gaston} et al., LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 28, 16 p. (2018; Zbl 1528.68178) Full Text: DOI arXiv
Bacci, Giovanni; Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Reynier, Pierre-Alain Optimal and robust controller synthesis. Using energy timed automata with uncertainty. (English) Zbl 1460.93031 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 203-221 (2018). MSC: 93B50 68Q45 68W30 93C65 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 10951, 203--221 (2018; Zbl 1460.93031) Full Text: DOI
Baudru, Nicolas; Reynier, Pierre-Alain From two-way transducers to regular function expressions. (English) Zbl 1458.68086 Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11088, 96-108 (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{N. Baudru} and \textit{P.-A. Reynier}, Lect. Notes Comput. Sci. 11088, 96--108 (2018; Zbl 1458.68086) Full Text: DOI HAL
Potapov, Igor (ed.); Reynier, Pierre-Alain (ed.) Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24–26, 2018. Proceedings. (English) Zbl 1396.68021 Lecture Notes in Computer Science 11123. Cham: Springer (ISBN 978-3-030-00249-7/pbk; 978-3-030-00250-3/ebook). xxi, 161 p. (2018). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{I. Potapov} (ed.) and \textit{P.-A. Reynier} (ed.), Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24--26, 2018. Proceedings. Cham: Springer (2018; Zbl 1396.68021) Full Text: DOI
Dartois, Luc; Jecker, Ismaël; Reynier, Pierre-Alain Aperiodic string transducers. (English) Zbl 1408.68090 Int. J. Found. Comput. Sci. 29, No. 5, 801-824 (2018). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Dartois} et al., Int. J. Found. Comput. Sci. 29, No. 5, 801--824 (2018; Zbl 1408.68090) Full Text: DOI
Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc Visibly pushdown transducers. (English) Zbl 1398.68307 J. Comput. Syst. Sci. 97, 147-181 (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Filiot} et al., J. Comput. Syst. Sci. 97, 147--181 (2018; Zbl 1398.68307) Full Text: DOI HAL
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc Decision problems of tree transducers with origin. (English) Zbl 1396.68065 Inf. Comput. 261, Part 2, 311-335 (2018). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Inf. Comput. 261, Part 2, 311--335 (2018; Zbl 1396.68065) Full Text: DOI HAL
Filiot, Emmanuel; Reynier, Pierre-Alain Copyful streaming string transducers. (English) Zbl 1478.68124 Hague, Matthew (ed.) et al., Reachability problems. 11th international workshop, RP 2017, London, UK, September 7–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10506, 75-86 (2017). MSC: 68Q45 03D05 68Q25 68Q42 PDFBibTeX XMLCite \textit{E. Filiot} and \textit{P.-A. Reynier}, Lect. Notes Comput. Sci. 10506, 75--86 (2017; Zbl 1478.68124) Full Text: DOI HAL
Daviaud, Laure; Jecker, Ismaël; Reynier, Pierre-Alain; Villevalois, Didier Degree of sequentiality of weighted automata. (English) Zbl 1396.68075 Esparza, Javier (ed.) et al., 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. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 215-230 (2017). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q70 68Q45 PDFBibTeX XMLCite \textit{L. Daviaud} et al., Lect. Notes Comput. Sci. 10203, 215--230 (2017; Zbl 1396.68075) Full Text: DOI arXiv Link
Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain Optimal reachability in divergent weighted timed games. (English) Zbl 1486.68092 Esparza, Javier (ed.) et al., 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. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 162-178 (2017). MSC: 68Q45 91A05 91A80 PDFBibTeX XMLCite \textit{D. Busatto-Gaston} et al., Lect. Notes Comput. Sci. 10203, 162--178 (2017; Zbl 1486.68092) Full Text: DOI arXiv
Daviaud, Laure; Reynier, Pierre-Alain; Talbot, Jean-Marc A generalised twinning property for minimisation of cost register automata. (English) Zbl 1401.68160 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 857-866 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Daviaud} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 857--866 (2016; Zbl 1401.68160) Full Text: DOI Link
Dartois, Luc; Filiot, Emmanuel; Reynier, Pierre-Alain; Talbot, Jean-Marc Two-way visibly pushdown automata and transducers. (English) Zbl 1394.68209 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 217-226 (2016). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{L. Dartois} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 217--226 (2016; Zbl 1394.68209) Full Text: DOI arXiv
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain Robustness of time Petri nets under guard enlargement. (English) Zbl 1357.68132 Fundam. Inform. 143, No. 3-4, 207-234 (2016). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{S. Akshay} et al., Fundam. Inform. 143, No. 3--4, 207--234 (2016; Zbl 1357.68132) Full Text: DOI
Dartois, Luc; Jecker, Ismaël; Reynier, Pierre-Alain Aperiodic string transducers. (English) Zbl 1436.68167 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 125-137 (2016). MSC: 68Q45 03D05 20M35 PDFBibTeX XMLCite \textit{L. Dartois} et al., Lect. Notes Comput. Sci. 9840, 125--137 (2016; Zbl 1436.68167) Full Text: DOI arXiv
Reynier, Pierre-Alain; Talbot, Jean-Marc Visibly pushdown transducers with well-nested outputs. (English) Zbl 1338.68158 Int. J. Found. Comput. Sci. 27, No. 2, 235-257 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{P.-A. Reynier} and \textit{J.-M. Talbot}, Int. J. Found. Comput. Sci. 27, No. 2, 235--257 (2016; Zbl 1338.68158) Full Text: DOI
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc Decision problems of tree transducers with origin. (English) Zbl 1395.68167 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-47665-9/pbk; 978-3-662-47666-6/ebook). Lecture Notes in Computer Science 9135, 209-221 (2015). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Lect. Notes Comput. Sci. 9135, 209--221 (2015; Zbl 1395.68167) Full Text: DOI Link
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc Trimming visibly pushdown automata. (English) Zbl 1312.68116 Theor. Comput. Sci. 578, 13-29 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Caralp} et al., Theor. Comput. Sci. 578, 13--29 (2015; Zbl 1312.68116) Full Text: DOI
Reynier, Pierre-Alain; Talbot, Jean-Marc Visibly pushdown transducers with well-nested outputs. (English) Zbl 1425.68228 Shur, Arseny M. (ed.) et al., Developments in language theory. 18th international conference, DLT 2014, Ekaterinburg, Russia, August 26–29, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8633, 129-141 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{P.-A. Reynier} and \textit{J.-M. Talbot}, Lect. Notes Comput. Sci. 8633, 129--141 (2014; Zbl 1425.68228) Full Text: DOI HAL
Oualhadj, Youssouf; Reynier, Pierre-Alain; Sankur, Ocan Probabilistic robust timed games. (English) Zbl 1417.68088 Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 203-217 (2014). MSC: 68Q45 68Q17 68Q87 91A80 PDFBibTeX XMLCite \textit{Y. Oualhadj} et al., Lect. Notes Comput. Sci. 8704, 203--217 (2014; Zbl 1417.68088) Full Text: DOI HAL
Caralp, Mathieu; Filiot, Emmanuel; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc Expressiveness of visibly pushdown transducers. (English) Zbl 1464.68158 Maneth, Sebastian (ed.), Proceedings of the 2nd international workshop on trends in tree automata and tree transducers, TTATT’13, Hanoi, Vietnam, October 19, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 134, 17-26 (2013). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Caralp} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 134, 17--26 (2013; Zbl 1464.68158) Full Text: arXiv Link
Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric From two-way to one-way finite state transducers. (English) Zbl 1366.68143 Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 468-477 (2013). MSC: 68Q45 03B25 03D05 PDFBibTeX XMLCite \textit{E. Filiot} et al., in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 468--477 (2013; Zbl 1366.68143) Full Text: DOI arXiv
Timo, Omer Landry Nguena; Reynier, Pierre-Alain On characteristic formulae for event-recording automata. (English) Zbl 1396.03029 RAIRO, Theor. Inform. Appl. 47, No. 1, 69-96 (2013). Reviewer: Martin Lange (Kassel) MSC: 03B44 68Q60 03B70 PDFBibTeX XMLCite \textit{O. L. N. Timo} and \textit{P.-A. Reynier}, RAIRO, Theor. Inform. Appl. 47, No. 1, 69--96 (2013; Zbl 1396.03029) Full Text: DOI
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain Robust controller synthesis in timed automata. (English) Zbl 1390.68416 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 546-560 (2013). MSC: 68Q45 68Q17 68Q55 68Q85 91A80 PDFBibTeX XMLCite \textit{O. Sankur} et al., Lect. Notes Comput. Sci. 8052, 546--560 (2013; Zbl 1390.68416) Full Text: DOI
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc Trimming visibly pushdown automata. (English) Zbl 1298.68125 Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 84-96 (2013). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Caralp} et al., Lect. Notes Comput. Sci. 7982, 84--96 (2013; Zbl 1298.68125) Full Text: DOI
Reynier, Pierre-Alain; Servais, Frédéric Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. (English) Zbl 1282.68175 Fundam. Inform. 122, No. 1-2, 1-30 (2013). Reviewer: Angelo Furfaro (Rende) MSC: 68Q85 68Q45 68Q55 68Q60 PDFBibTeX XMLCite \textit{P.-A. Reynier} and \textit{F. Servais}, Fundam. Inform. 122, No. 1--2, 1--30 (2013; Zbl 1282.68175) Full Text: DOI
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain Robustness of time Petri nets under guard enlargement. (English) Zbl 1355.68187 Finkel, Alain (ed.) et al., Reachability problems. 6th international workshop, RP 2012, Bordeaux, France, September 17–19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33511-2/pbk). Lecture Notes in Computer Science 7550, 92-106 (2012). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{S. Akshay} et al., Lect. Notes Comput. Sci. 7550, 92--106 (2012; Zbl 1355.68187) Full Text: DOI HAL
Bulychev, Peter; Cassez, Franck; David, Alexandre; Larsen, Kim Guldstrand; Raskin, Jean-François; Reynier, Pierre-Alain Controllers with minimal observation power (application to timed systems). (English) Zbl 1374.68255 Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 223-237 (2012). MSC: 68Q45 68Q60 68Q85 93B50 PDFBibTeX XMLCite \textit{P. Bulychev} et al., Lect. Notes Comput. Sci. 7561, 223--237 (2012; Zbl 1374.68255) Full Text: DOI arXiv
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc Visibly pushdown automata with multiplicities: finiteness and \(K\)-boundedness. (English) Zbl 1370.68162 Yen, Hsu-Chun (ed.) et al., Developments in language theory. 16th international conference, DLT 2012, Taipei, Taiwan, August 14–17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31652-4/pbk). Lecture Notes in Computer Science 7410, 226-238 (2012). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{M. Caralp} et al., Lect. Notes Comput. Sci. 7410, 226--238 (2012; Zbl 1370.68162) Full Text: DOI
Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric Streamability of nested word transductions. (English) Zbl 1246.68143 Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 312-324, electronic only (2011). MSC: 68Q45 68P05 PDFBibTeX XMLCite \textit{E. Filiot} et al., LIPIcs -- Leibniz Int. Proc. Inform. 13, 312--324 (2011; Zbl 1246.68143) Full Text: DOI
Malinowski, Janusz; Niebert, Peter; Reynier, Pierre-Alain A hierarchical approach for the synthesis of stabilizing controllers for hybrid systems. (English) Zbl 1348.93157 Bultan, Tevfik (ed.) et al., Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11–14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24371-4/pbk). Lecture Notes in Computer Science 6996, 198-212 (2011). MSC: 93C30 68Q60 93B50 PDFBibTeX XMLCite \textit{J. Malinowski} et al., Lect. Notes Comput. Sci. 6996, 198--212 (2011; Zbl 1348.93157) Full Text: DOI
Reynier, Pierre-Alain; Servais, Frédéric Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. (English) Zbl 1330.68216 Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 69-88 (2011). MSC: 68Q85 68R10 PDFBibTeX XMLCite \textit{P.-A. Reynier} and \textit{F. Servais}, Lect. Notes Comput. Sci. 6709, 69--88 (2011; Zbl 1330.68216) Full Text: DOI Link
Jaubert, Rémi; Reynier, Pierre-Alain Quantitative robustness analysis of flat timed automata. (English) Zbl 1326.68185 Hofmann, Martin (ed.), 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ücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19804-5/pbk). Lecture Notes in Computer Science 6604, 229-244 (2011). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{R. Jaubert} and \textit{P.-A. Reynier}, Lect. Notes Comput. Sci. 6604, 229--244 (2011; Zbl 1326.68185) Full Text: DOI
Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc Properties of visibly pushdown transducers. (English) Zbl 1287.68095 Hliněný, Petr (ed.) et al., Mathematical foundations of computer science 2010. 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15154-5/pbk). Lecture Notes in Computer Science 6281, 355-367 (2010). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{E. Filiot} et al., Lect. Notes Comput. Sci. 6281, 355--367 (2010; Zbl 1287.68095) Full Text: DOI arXiv
Reynier, Pierre-Alain; Sangnier, Arnaud Weak time Petri nets strike back! (English) Zbl 1254.68180 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 557-571 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{P.-A. Reynier} and \textit{A. Sangnier}, Lect. Notes Comput. Sci. 5710, 557--571 (2009; Zbl 1254.68180) Full Text: DOI
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain Undecidability results for timed automata with silent transitions. (English) Zbl 1176.68099 Fundam. Inform. 92, No. 1-2, 1-25 (2009). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Fundam. Inform. 92, No. 1--2, 1--25 (2009; Zbl 1176.68099) Full Text: DOI
Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain Automatic synthesis of robust and optimal controllers – an industrial case study. (English) Zbl 1237.93058 Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 90-104 (2009). MSC: 93B51 93B50 93C95 PDFBibTeX XMLCite \textit{F. Cassez} et al., Lect. Notes Comput. Sci. 5469, 90--104 (2009; Zbl 1237.93058) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain Robust analysis of timed automata via channel machines. (English) Zbl 1138.68431 Amadio, Roberto (ed.), 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. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 157-171 (2008). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 4962, 157--171 (2008; Zbl 1138.68431) Full Text: DOI
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. (English) Zbl 1133.68053 Inf. Comput. 206, No. 1, 73-107 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Inf. Comput. 206, No. 1, 73--107 (2008; Zbl 1133.68053) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain Robust model-checking of linear-time properties in timed automata. (English) Zbl 1145.68464 Correa, José R. (ed.) et al., LATIN 2006: Theoretical informatics. 7th Latin American symposium, Valdivia, Chile, March 20–24, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32755-X/pbk). Lecture Notes in Computer Science 3887, 238-249 (2006). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 3887, 238--249 (2006; Zbl 1145.68464) Full Text: DOI
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain Timed unfoldings for networks of timed automata. (English) Zbl 1161.68614 Graf, Susanne (ed.) et al., Automated technology for verification and analysis. 4th international symposium, ATVA 2006, Beijing, China, October 23–26, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-47237-7/pbk). Lecture Notes in Computer Science 4218, 292-306 (2006). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 4218, 292--306 (2006; Zbl 1161.68614) Full Text: DOI Link
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. (English) Zbl 1133.68383 Bugliesi, Michele (ed.) et al., Automata, languages and programming. 33rd international colloquium, ICALP 2006, Venice, Italy, July 10–14, 2006. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-35907-4/pbk). Lecture Notes in Computer Science 4052, 420-431 (2006). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 4052, 420--431 (2006; Zbl 1133.68383) Full Text: DOI Link
Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain Diagonal constraints in timed automata: Forward analysis of timed systems. (English) Zbl 1175.68256 Pettersson, Paul (ed.) et al., Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26–28, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30946-2/pbk). Lecture Notes in Computer Science 3829, 112-126 (2005). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{P. Bouyer} et al., Lect. Notes Comput. Sci. 3829, 112--126 (2005; Zbl 1175.68256) Full Text: DOI