Pierre-Alain Reynier
Pierre-Alain Reynier
Verified email at lif.univ-mrs.fr
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
International Workshop on Hybrid Systems: Computation and Control, 90-104, 2009
742009
Robust model-checking of linear-time properties in timed automata
P Bouyer, N Markey, PA Reynier
Latin American Symposium on Theoretical Informatics, 238-249, 2006
622006
Diagonal constraints in timed automata: Forward analysis of timed systems
P Bouyer, F Laroussinie, PA Reynier
International Conference on Formal Modeling and Analysis of Timed Systemsá…, 2005
482005
Transducers, logic and algebra for functions of finite words
E Filiot, PA Reynier
ACM SIGLOG News 3 (3), 4-19, 2016
452016
Robust Analysis of Timed Automata Via Channel Machines
P Bouyer, N Markey, PA Reynier
International Conference on Foundations of Software Science andá…, 2008
442008
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
432008
Properties of visibly pushdown transducers
E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot
International Symposium on Mathematical Foundations of Computer Science, 355-367, 2010
412010
Properties of visibly pushdown transducers
E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot
International Symposium on Mathematical Foundations of Computer Science, 355-367, 2010
412010
Timed unfoldings for networks of timed automata
P Bouyer, S Haddad, PA Reynier
International Symposium on Automated Technology for Verification andá…, 2006
372006
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
352013
Extended timed automata and time Petri nets
P Bouyer, PA Reynier, S Haddad
Sixth International Conference on Application of Concurrency to Systemá…, 2006
332006
A generalised twinning property for minimisation of cost register automata
L Daviaud, PA Reynier, JM Talbot
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
292016
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning
PA Reynier, F Servais
International Conference on Application and Theory of Petri Nets andá…, 2011
292011
Quantitative robustness analysis of flat timed automata
R Jaubert, PA Reynier
International Conference on Foundations of Software Science andá…, 2011
232011
Robust controller synthesis in timed automata
O Sankur, P Bouyer, N Markey, PA Reynier
International Conference on Concurrency Theory, 546-560, 2013
212013
Weak time Petri nets strike back!
PA Reynier, A Sangnier
International Conference on Concurrency Theory, 557-571, 2009
212009
Undecidability results for timed automata with silent transitions
P Bouyer, S Haddad, PA Reynier
Fundamenta Informaticae 92 (1-2), 1-25, 2009
212009
Streamability of nested word transductions
E Filiot, O Gauwin, PA Reynier, F Servais
arXiv preprint arXiv:1707.00527, 2017
202017
Streamability of nested word transductions
E Filiot, O Gauwin, PA Reynier, F Servais
arXiv preprint arXiv:1707.00527, 2017
202017
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning
PA Reynier, F Servais
Fundamenta Informaticae 122 (1-2), 1-30, 2013
182013
The system can't perform the operation now. Try again later.
Articles 1–20