Follow
Pierre-Alain Reynier
Pierre-Alain Reynier
Verified email at lif.univ-mrs.fr - Homepage
Title
Cited by
Cited by
Year
Automatic Synthesis of Robust and Optimal Controllers-An Industrial Case Study.
F Cassez, JJ Jessen, KG Larsen, JF Raskin, PA Reynier
HSCC 9, 90-104, 2009
822009
Robust model-checking of linear-time properties in timed automata
P Bouyer, N Markey, PA Reynier
LATIN 2006: Theoretical Informatics: 7th Latin American Symposium, Valdivia …, 2006
642006
Transducers, logic and algebra for functions of finite words
E Filiot, PA Reynier
ACM SIGLOG News 3 (3), 4-19, 2016
592016
Diagonal constraints in timed automata: Forward analysis of timed systems
P Bouyer, F Laroussinie, PA Reynier
Formal Modeling and Analysis of Timed Systems: Third International …, 2005
562005
Robust Analysis of Timed Automata Via Channel Machines
P Bouyer, N Markey, PA Reynier
Foundations of Software Science and Computational Structures: 11th …, 2008
452008
Timed Petri nets and timed automata: On the discriminating power of zeno sequences
P Bouyer, S Haddad, PA Reynier
Information and Computation 206 (1), 73-107, 2008
442008
From two-way to one-way finite state transducers
E Filiot, O Gauwin, PA Reynier, F Servais
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 468-477, 2013
412013
Properties of visibly pushdown transducers
E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot
Mathematical Foundations of Computer Science 2010: 35th International …, 2010
412010
Properties of visibly pushdown transducers
E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot
Mathematical Foundations of Computer Science 2010: 35th International …, 2010
412010
Timed unfoldings for networks of timed automata
P Bouyer, S Haddad, PA Reynier
ATVA 6, 292-306, 2006
402006
Minimal coverability set for petri nets: Karp and miller algorithm with pruning
PA Reynier, F Servais
Applications and Theory of Petri Nets: 32nd International Conference, PETRI …, 2011
352011
Extended timed automata and time Petri nets
P Bouyer, PA Reynier, S Haddad
Sixth International Conference on Application of Concurrency to System …, 2006
342006
Weak Time Petri Nets Strike Back!.
PA Reynier, A Sangnier
CONCUR 5710, 557-571, 2009
312009
A generalised twinning property for minimisation of cost register automata
L Daviaud, PA Reynier, JM Talbot
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
302016
Quantitative robustness analysis of flat timed automata
R Jaubert, PA Reynier
Foundations of Software Science and Computational Structures: 14th …, 2011
242011
Robust controller synthesis in timed automata
O Sankur, P Bouyer, N Markey, PA Reynier
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
232013
Undecidability results for timed automata with silent transitions
P Bouyer, S Haddad, PA Reynier
Fundamenta Informaticae 92 (1-2), 1-25, 2009
232009
Streamability of nested word transductions
E Filiot, O Gauwin, PA Reynier, F Servais
arXiv preprint arXiv:1707.00527, 2017
212017
Streamability of nested word transductions
E Filiot, O Gauwin, PA Reynier, F Servais
arXiv preprint arXiv:1707.00527, 2017
212017
Optimal and robust controller synthesis: Using energy timed automata with uncertainty
G Bacci, P Bouyer, U Fahrenberg, KG Larsen, N Markey, PA Reynier
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
202018
The system can't perform the operation now. Try again later.
Articles 1–20