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 | 80 | 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 |
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 | 59 | 2008 |
Transducers, logic and algebra for functions of finite words E Filiot, PA Reynier ACM SIGLOG News 3 (3), 4-19, 2016 | 57 | 2016 |
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 | 52 | 2005 |
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 |
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 |
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 | 40 | 2013 |
Timed unfoldings for networks of timed automata P Bouyer, S Haddad, PA Reynier International Symposium on Automated Technology for Verification and …, 2006 | 39 | 2006 |
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 | 34 | 2011 |
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 |
Weak time Petri nets strike back! PA Reynier, A Sangnier International Conference on Concurrency Theory, 557-571, 2009 | 28 | 2009 |
Quantitative robustness analysis of flat timed automata R Jaubert, PA Reynier International Conference on Foundations of Software Science and …, 2011 | 24 | 2011 |
Undecidability results for timed automata with silent transitions P Bouyer, S Haddad, PA Reynier Fundamenta Informaticae 92 (1-2), 1-25, 2009 | 24 | 2009 |
Robust controller synthesis in timed automata O Sankur, P Bouyer, N Markey, PA Reynier International Conference on Concurrency Theory, 546-560, 2013 | 23 | 2013 |
Streamability of nested word transductions E Filiot, O Gauwin, PA Reynier, F Servais arXiv preprint arXiv:1707.00527, 2017 | 22 | 2017 |
Streamability of nested word transductions E Filiot, O Gauwin, PA Reynier, F Servais arXiv preprint arXiv:1707.00527, 2017 | 22 | 2017 |
Synthesis of data word transducers L Exibard, E Filiot, PA Reynier arXiv preprint arXiv:1905.03538, 2019 | 18 | 2019 |