Edit Profile Reynier, Pierre-Alain Compute Distance To: Compute Author ID: reynier.pierre-alain Published as: Reynier, Pierre-Alain Documents Indexed: 44 Publications since 2005, including 1 Book all top 5 Co-Authors 0 single-authored 11 Filiot, Emmanuel 11 Talbot, Jean-Marc 9 Bouyer, Patricia 8 Servais, Frédéric 4 Haddad, Serge 4 Markey, Nicolas 4 Raskin, Jean-François 3 Caralp, Mathieu 3 Dartois, Luc 3 Gauwin, Olivier 3 Jecker, Ismaël 3 Larsen, Kim Guldstrand 2 Akshay, S. 2 Cassez, Franck 2 Daviaud, Laure 2 Exibard, Léo 2 Hélouët, Loïc 2 Jard, Claude 2 Maneth, Sebastian 2 Sankur, Ocan 1 Bacci, Giovanni 1 Baudru, Nicolas 1 Bulychev, Peter E. 1 Busatto-Gaston, Damien 1 David, Alexandre 1 Fahrenberg, Uli 1 Jaubert, Rémi 1 Jessen, Jan J. 1 Laroussinie, François 1 Malinowski, Janusz 1 Monmege, Benjamin 1 Niebert, Peter 1 Oualhadj, Youssouf 1 Potapov, Igor 1 Sangnier, Arnaud 1 Timo, Omer Landry Nguena 1 Villevalois, Didier all top 5 Serials 3 Fundamenta Informaticae 2 Information and Computation 2 International Journal of Foundations of Computer Science 2 Logical Methods in Computer Science 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Lecture Notes in Computer Science 1 RAIRO. Theoretical Informatics and Applications all top 5 Fields 43 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 3 Systems theory; control (93-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 31 Publications have been cited 114 times in 78 Documents Cited by ▼ Year ▼ Robust analysis of timed automata via channel machines. Zbl 1138.68431Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 9 2008 Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain 8 2009 Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 8 2006 A generalised twinning property for minimisation of cost register automata. Zbl 1401.68160Daviaud, Laure; Reynier, Pierre-Alain; Talbot, Jean-Marc 7 2016 Quantitative robustness analysis of flat timed automata. Zbl 1326.68185Jaubert, Rémi; Reynier, Pierre-Alain 7 2011 Timed unfoldings for networks of timed automata. Zbl 1161.68614Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 7 2006 Diagonal constraints in timed automata: Forward analysis of timed systems. Zbl 1175.68256Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain 7 2005 Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 6 2006 From two-way to one-way finite state transducers. Zbl 1366.68143Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric 5 2013 Properties of visibly pushdown transducers. Zbl 1287.68095Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc 5 2010 Undecidability results for timed automata with silent transitions. Zbl 1176.68099Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 5 2009 Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 5 2008 Robustness of time Petri nets under guard enlargement. Zbl 1355.68187Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain 4 2012 Weak time Petri nets strike back! Zbl 1254.68180Reynier, Pierre-Alain; Sangnier, Arnaud 4 2009 Degree of sequentiality of weighted automata. Zbl 1396.68075Daviaud, Laure; Jecker, Ismaël; Reynier, Pierre-Alain; Villevalois, Didier 3 2017 Robust controller synthesis in timed automata. Zbl 1390.68416Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 3 2013 Streamability of nested word transductions. Zbl 1246.68143Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric 3 2011 Decision problems of tree transducers with origin. Zbl 1395.68167Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc 2 2015 Trimming visibly pushdown automata. Zbl 1298.68125Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc 2 2013 Visibly pushdown automata with multiplicities: finiteness and \(K\)-boundedness. Zbl 1370.68162Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc 2 2012 Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. Zbl 1330.68216Reynier, Pierre-Alain; Servais, Frédéric 2 2011 On computability of data word functions defined by transducers. Zbl 07250940Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain 1 2020 Visibly pushdown transducers. Zbl 1398.68307Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc 1 2018 Optimal reachability in divergent weighted timed games. Zbl 06720989Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain 1 2017 Two-way visibly pushdown automata and transducers. Zbl 1394.68209Dartois, Luc; Filiot, Emmanuel; Reynier, Pierre-Alain; Talbot, Jean-Marc 1 2016 Robustness of time Petri nets under guard enlargement. Zbl 1357.68132Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain 1 2016 Aperiodic string transducers. Zbl 1436.68167Dartois, Luc; Jecker, Ismaël; Reynier, Pierre-Alain 1 2016 Trimming visibly pushdown automata. Zbl 1312.68116Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc 1 2015 Visibly pushdown transducers with well-nested outputs. Zbl 1425.68228Reynier, Pierre-Alain; Talbot, Jean-Marc 1 2014 Probabilistic robust timed games. Zbl 1417.68088Oualhadj, Youssouf; Reynier, Pierre-Alain; Sankur, Ocan 1 2014 Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. Zbl 1282.68175Reynier, Pierre-Alain; Servais, Frédéric 1 2013 On computability of data word functions defined by transducers. Zbl 07250940Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain 1 2020 Visibly pushdown transducers. Zbl 1398.68307Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc 1 2018 Degree of sequentiality of weighted automata. Zbl 1396.68075Daviaud, Laure; Jecker, Ismaël; Reynier, Pierre-Alain; Villevalois, Didier 3 2017 Optimal reachability in divergent weighted timed games. Zbl 06720989Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain 1 2017 A generalised twinning property for minimisation of cost register automata. Zbl 1401.68160Daviaud, Laure; Reynier, Pierre-Alain; Talbot, Jean-Marc 7 2016 Two-way visibly pushdown automata and transducers. Zbl 1394.68209Dartois, Luc; Filiot, Emmanuel; Reynier, Pierre-Alain; Talbot, Jean-Marc 1 2016 Robustness of time Petri nets under guard enlargement. Zbl 1357.68132Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain 1 2016 Aperiodic string transducers. Zbl 1436.68167Dartois, Luc; Jecker, Ismaël; Reynier, Pierre-Alain 1 2016 Decision problems of tree transducers with origin. Zbl 1395.68167Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc 2 2015 Trimming visibly pushdown automata. Zbl 1312.68116Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc 1 2015 Visibly pushdown transducers with well-nested outputs. Zbl 1425.68228Reynier, Pierre-Alain; Talbot, Jean-Marc 1 2014 Probabilistic robust timed games. Zbl 1417.68088Oualhadj, Youssouf; Reynier, Pierre-Alain; Sankur, Ocan 1 2014 From two-way to one-way finite state transducers. Zbl 1366.68143Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric 5 2013 Robust controller synthesis in timed automata. Zbl 1390.68416Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 3 2013 Trimming visibly pushdown automata. Zbl 1298.68125Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc 2 2013 Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. Zbl 1282.68175Reynier, Pierre-Alain; Servais, Frédéric 1 2013 Robustness of time Petri nets under guard enlargement. Zbl 1355.68187Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain 4 2012 Visibly pushdown automata with multiplicities: finiteness and \(K\)-boundedness. Zbl 1370.68162Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc 2 2012 Quantitative robustness analysis of flat timed automata. Zbl 1326.68185Jaubert, Rémi; Reynier, Pierre-Alain 7 2011 Streamability of nested word transductions. Zbl 1246.68143Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric 3 2011 Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. Zbl 1330.68216Reynier, Pierre-Alain; Servais, Frédéric 2 2011 Properties of visibly pushdown transducers. Zbl 1287.68095Filiot, Emmanuel; Raskin, Jean-François; Reynier, Pierre-Alain; Servais, Frédéric; Talbot, Jean-Marc 5 2010 Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058Cassez, Franck; Jessen, Jan J.; Larsen, Kim G.; Raskin, Jean-François; Reynier, Pierre-Alain 8 2009 Undecidability results for timed automata with silent transitions. Zbl 1176.68099Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 5 2009 Weak time Petri nets strike back! Zbl 1254.68180Reynier, Pierre-Alain; Sangnier, Arnaud 4 2009 Robust analysis of timed automata via channel machines. Zbl 1138.68431Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 9 2008 Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 5 2008 Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain 8 2006 Timed unfoldings for networks of timed automata. Zbl 1161.68614Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 7 2006 Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain 6 2006 Diagonal constraints in timed automata: Forward analysis of timed systems. Zbl 1175.68256Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain 7 2005 all cited Publications top 5 cited Publications all top 5 Cited by 171 Authors 13 Reynier, Pierre-Alain 11 Markey, Nicolas 9 Bouyer, Patricia 7 Larsen, Kim Guldstrand 6 Filiot, Emmanuel 5 Akshay, S. 4 Jecker, Ismaël 4 Lime, Didier 4 Sankur, Ocan 4 Servais, Frédéric 3 Fahrenberg, Uli 3 Gauwin, Olivier 3 Hélouët, Loïc 3 Krebs, Andreas 3 Raskin, Jean-François 3 Roux, Olivier H. 3 Talbot, Jean-Marc 3 Traonouez, Louis-Marie 2 Allender, Eric W. 2 André, Étienne 2 Dartois, Luc 2 Gastin, Paul 2 Genest, Blaise 2 Haddad, Serge 2 Jacobsen, Lasse 2 Jacobsen, Morten 2 Legay, Axel 2 Maneth, Sebastian 2 McKenzie, Pierre 2 Møller, Mikael Harkjær 2 Randour, Mickael 2 Srba, Jiří 2 Virbitskaite, Irina B. 2 Wąsowski, Andrzej 1 Aichernig, Bernhard K. 1 Alur, Rajeev 1 Angione, Claudio 1 Asarin, Eugene 1 Athanasiou, Konstantinos 1 Azgomi, Mohammad Abdollahi 1 Bacci, Giovanni 1 Badban, Bahareh 1 Baschenis, Félix 1 Basset, Nicolas 1 Bérard, Béatrice 1 Berthomieu, Bernard 1 Bertrand, Nathalie 1 Bollig, Benedikt 1 Bouchy, Florent 1 Boukala, Malika 1 Brihaye, Thomas 1 Bruyère, Véronique 1 Busatto-Gaston, Damien 1 Byg, Joakim 1 Cadilhac, Michaël 1 Caralp, Mathieu 1 Carapezza, G. 1 Carton, Olivier 1 Cassez, Franck 1 Cleaveland, Rance 1 Corradini, Flavio 1 Costanza, J. 1 Dahmani, Djaouida 1 Daviaud, Laure 1 De Wulf, Martin 1 Degorre, Aldric 1 Demongodin, Isabel 1 Di Berardini, Maria Rita 1 Dima, Cătălin 1 Dingel, Juergen 1 Dong, JinSong 1 Doyen, Laurent 1 Dubtsov, Roman S. 1 Engelfriet, Joost 1 Exibard, Léo 1 Fainekos, Georgios E. 1 Ferrucci, Luca 1 Fietzke, Arnaud 1 Finkel, Alain 1 Fisman, Dana 1 Fontana, Peter 1 Forejt, Vojtěch 1 French, Tim 1 Fribourg, Laurent 1 Geeraerts, Gilles 1 Gerdjikov, Stefan 1 Giambiasi, Norbert 1 Giua, Alessandro 1 Gribovskaya, Nataliya S. 1 Guillon, Bruno 1 Heizmann, Matthias 1 Hofman, Piotr 1 Ilié, Jean-Michel 1 Janoušek, Jan 1 Jard, Claude 1 Jørgensen, Kenneth Yrke 1 Jovanović, Aleksandra Ž. 1 Kühne, Ulrich 1 Kumar, K. Narayan 1 Kwiatkowska, Marta Z. ...and 71 more Authors all top 5 Cited in 22 Serials 13 Theoretical Computer Science 6 Information and Computation 5 Formal Methods in System Design 5 Logical Methods in Computer Science 2 Journal of Computer and System Sciences 2 Programming and Computer Software 2 Real-Time Systems 2 International Journal of Foundations of Computer Science 2 Discrete Event Dynamic Systems 2 RAIRO. Theoretical Informatics and Applications 1 ACM Computing Surveys 1 Acta Informatica 1 International Journal of Control 1 Information Processing Letters 1 Formal Aspects of Computing 1 Journal of Applied Non-Classical Logics 1 Theory of Computing Systems 1 The Journal of Logic and Algebraic Programming 1 Computer Languages, Systems & Structures 1 Mathematics in Computer Science 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 9 Fields 76 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Biology and other natural sciences (92-XX) Citations by Year