| 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 | 75 | 2009 |
| 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 | 63 | 2006 |
| 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 | 48 | 2005 |
| Transducers, logic and algebra for functions of finite words E Filiot, PA Reynier ACM SIGLOG News 3 (3), 4-19, 2016 | 46 | 2016 |
| Robust Analysis of Timed Automata Via Channel Machines P Bouyer, N Markey, PA Reynier International Conference on Foundations of Software Science and …, 2008 | 45 | 2008 |
| 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 | 43 | 2008 |
| 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 | 41 | 2010 |
| 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 | 41 | 2010 |
| Timed unfoldings for networks of timed automata P Bouyer, S Haddad, PA Reynier International Symposium on Automated Technology for Verification and …, 2006 | 38 | 2006 |
| 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 | 37 | 2013 |
| Extended timed automata and time Petri nets P Bouyer, PA Reynier, S Haddad Sixth International Conference on Application of Concurrency to System …, 2006 | 33 | 2006 |
| 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 | 30 | 2016 |
| 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 | 29 | 2011 |
| Quantitative robustness analysis of flat timed automata R Jaubert, PA Reynier International Conference on Foundations of Software Science and …, 2011 | 23 | 2011 |
| Undecidability results for timed automata with silent transitions P Bouyer, S Haddad, PA Reynier Fundamenta Informaticae 92 (1-2), 1-25, 2009 | 23 | 2009 |
| Weak time Petri nets strike back! PA Reynier, A Sangnier International Conference on Concurrency Theory, 557-571, 2009 | 22 | 2009 |
| Streamability of nested word transductions E Filiot, O Gauwin, PA Reynier, F Servais arXiv preprint arXiv:1707.00527, 2017 | 21 | 2017 |
| Streamability of nested word transductions E Filiot, O Gauwin, PA Reynier, F Servais arXiv preprint arXiv:1707.00527, 2017 | 21 | 2017 |
| Robust controller synthesis in timed automata O Sankur, P Bouyer, N Markey, PA Reynier International Conference on Concurrency Theory, 546-560, 2013 | 21 | 2013 |
| Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning PA Reynier, F Servais Fundamenta Informaticae 122 (1-2), 1-30, 2013 | 18 | 2013 |
