×

zbMATH — the first resource for mathematics

Reynier, Pierre-Alain

Compute Distance To:
Author ID: reynier.pierre-alain Recent zbMATH articles by "Reynier, Pierre-Alain"
Published as: Reynier, Pierre-Alain
Documents Indexed: 44 Publications since 2005, including 1 Book

Publications by Year

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.68431
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2008
Automatic synthesis of robust and optimal controllers – an industrial case study. Zbl 1237.93058
Cassez, 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.68464
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
8
2006
A generalised twinning property for minimisation of cost register automata. Zbl 1401.68160
Daviaud, Laure; Reynier, Pierre-Alain; Talbot, Jean-Marc
7
2016
Quantitative robustness analysis of flat timed automata. Zbl 1326.68185
Jaubert, Rémi; Reynier, Pierre-Alain
7
2011
Timed unfoldings for networks of timed automata. Zbl 1161.68614
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
7
2006
Diagonal constraints in timed automata: Forward analysis of timed systems. Zbl 1175.68256
Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain
7
2005
Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
6
2006
From two-way to one-way finite state transducers. Zbl 1366.68143
Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric
5
2013
Properties of visibly pushdown transducers. Zbl 1287.68095
Filiot, 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.68099
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
5
2009
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
5
2008
Robustness of time Petri nets under guard enlargement. Zbl 1355.68187
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain
4
2012
Weak time Petri nets strike back! Zbl 1254.68180
Reynier, Pierre-Alain; Sangnier, Arnaud
4
2009
Degree of sequentiality of weighted automata. Zbl 1396.68075
Daviaud, Laure; Jecker, Ismaël; Reynier, Pierre-Alain; Villevalois, Didier
3
2017
Robust controller synthesis in timed automata. Zbl 1390.68416
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
3
2013
Streamability of nested word transductions. Zbl 1246.68143
Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric
3
2011
Decision problems of tree transducers with origin. Zbl 1395.68167
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc
2
2015
Trimming visibly pushdown automata. Zbl 1298.68125
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc
2
2013
Visibly pushdown automata with multiplicities: finiteness and \(K\)-boundedness. Zbl 1370.68162
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc
2
2012
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. Zbl 1330.68216
Reynier, Pierre-Alain; Servais, Frédéric
2
2011
On computability of data word functions defined by transducers. Zbl 07250940
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain
1
2020
Visibly pushdown transducers. Zbl 1398.68307
Filiot, 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 06720989
Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain
1
2017
Two-way visibly pushdown automata and transducers. Zbl 1394.68209
Dartois, Luc; Filiot, Emmanuel; Reynier, Pierre-Alain; Talbot, Jean-Marc
1
2016
Robustness of time Petri nets under guard enlargement. Zbl 1357.68132
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain
1
2016
Aperiodic string transducers. Zbl 1436.68167
Dartois, Luc; Jecker, Ismaël; Reynier, Pierre-Alain
1
2016
Trimming visibly pushdown automata. Zbl 1312.68116
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc
1
2015
Visibly pushdown transducers with well-nested outputs. Zbl 1425.68228
Reynier, Pierre-Alain; Talbot, Jean-Marc
1
2014
Probabilistic robust timed games. Zbl 1417.68088
Oualhadj, Youssouf; Reynier, Pierre-Alain; Sankur, Ocan
1
2014
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. Zbl 1282.68175
Reynier, Pierre-Alain; Servais, Frédéric
1
2013
On computability of data word functions defined by transducers. Zbl 07250940
Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain
1
2020
Visibly pushdown transducers. Zbl 1398.68307
Filiot, 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.68075
Daviaud, Laure; Jecker, Ismaël; Reynier, Pierre-Alain; Villevalois, Didier
3
2017
Optimal reachability in divergent weighted timed games. Zbl 06720989
Busatto-Gaston, Damien; Monmege, Benjamin; Reynier, Pierre-Alain
1
2017
A generalised twinning property for minimisation of cost register automata. Zbl 1401.68160
Daviaud, Laure; Reynier, Pierre-Alain; Talbot, Jean-Marc
7
2016
Two-way visibly pushdown automata and transducers. Zbl 1394.68209
Dartois, Luc; Filiot, Emmanuel; Reynier, Pierre-Alain; Talbot, Jean-Marc
1
2016
Robustness of time Petri nets under guard enlargement. Zbl 1357.68132
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain
1
2016
Aperiodic string transducers. Zbl 1436.68167
Dartois, Luc; Jecker, Ismaël; Reynier, Pierre-Alain
1
2016
Decision problems of tree transducers with origin. Zbl 1395.68167
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc
2
2015
Trimming visibly pushdown automata. Zbl 1312.68116
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc
1
2015
Visibly pushdown transducers with well-nested outputs. Zbl 1425.68228
Reynier, Pierre-Alain; Talbot, Jean-Marc
1
2014
Probabilistic robust timed games. Zbl 1417.68088
Oualhadj, Youssouf; Reynier, Pierre-Alain; Sankur, Ocan
1
2014
From two-way to one-way finite state transducers. Zbl 1366.68143
Filiot, Emmanuel; Gauwin, Olivier; Reynier, Pierre-Alain; Servais, Frédéric
5
2013
Robust controller synthesis in timed automata. Zbl 1390.68416
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
3
2013
Trimming visibly pushdown automata. Zbl 1298.68125
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc
2
2013
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning. Zbl 1282.68175
Reynier, Pierre-Alain; Servais, Frédéric
1
2013
Robustness of time Petri nets under guard enlargement. Zbl 1355.68187
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain
4
2012
Visibly pushdown automata with multiplicities: finiteness and \(K\)-boundedness. Zbl 1370.68162
Caralp, Mathieu; Reynier, Pierre-Alain; Talbot, Jean-Marc
2
2012
Quantitative robustness analysis of flat timed automata. Zbl 1326.68185
Jaubert, Rémi; Reynier, Pierre-Alain
7
2011
Streamability of nested word transductions. Zbl 1246.68143
Filiot, 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.68216
Reynier, Pierre-Alain; Servais, Frédéric
2
2011
Properties of visibly pushdown transducers. Zbl 1287.68095
Filiot, 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.93058
Cassez, 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.68099
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
5
2009
Weak time Petri nets strike back! Zbl 1254.68180
Reynier, Pierre-Alain; Sangnier, Arnaud
4
2009
Robust analysis of timed automata via channel machines. Zbl 1138.68431
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
9
2008
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences. Zbl 1133.68053
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
5
2008
Robust model-checking of linear-time properties in timed automata. Zbl 1145.68464
Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
8
2006
Timed unfoldings for networks of timed automata. Zbl 1161.68614
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
7
2006
Timed Petri nets and timed automata: on the discriminating power of Zeno sequences. Zbl 1133.68383
Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain
6
2006
Diagonal constraints in timed automata: Forward analysis of timed systems. Zbl 1175.68256
Bouyer, Patricia; Laroussinie, François; Reynier, Pierre-Alain
7
2005
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

Citations by Year