Obserwuj
Pierre-Alain Reynier
Pierre-Alain Reynier
LIS, Aix-Marseille Université
Zweryfikowany adres z lif.univ-mrs.fr - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Automatic synthesis of robust and optimal controllers–an industrial case study
F Cassez, JJ Jessen, KG Larsen, JF Raskin, PA Reynier
Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009
852009
Transducers, logic and algebra for functions of finite words
E Filiot, PA Reynier
ACM SIGLOG News 3 (3), 4-19, 2016
732016
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
712006
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
622005
Robust Analysis of Timed Automata Via Channel Machines
P Bouyer, N Markey, PA Reynier
International Conference on Foundations of Software Science and …, 2008
502008
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
482008
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
452013
Timed unfoldings for networks of timed automata
P Bouyer, S Haddad, PA Reynier
Automated Technology for Verification and Analysis: 4th International …, 2006
432006
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
422010
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
362011
Weak time Petri nets strike back!
PA Reynier, A Sangnier
International Conference on Concurrency Theory, 557-571, 2009
362009
Extended timed automata and time Petri nets
P Bouyer, PA Reynier, S Haddad
Sixth International Conference on Application of Concurrency to System …, 2006
352006
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
332018
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
332016
Robust controller synthesis in timed automata
O Sankur, P Bouyer, N Markey, PA Reynier
International Conference on Concurrency Theory, 546-560, 2013
332013
Quantitative robustness analysis of flat timed automata
R Jaubert, PA Reynier
International Conference on Foundations of Software Science and …, 2011
282011
Undecidability results for timed automata with silent transitions
P Bouyer, S Haddad, PA Reynier
Fundamenta Informaticae 92 (1-2), 1-25, 2009
282009
Copyful streaming string transducers
E Filiot, PA Reynier
Reachability Problems: 11th International Workshop, RP 2017, London, UK …, 2017
242017
Synthesis of data word transducers
L Exibard, E Filiot, PA Reynier
Logical Methods in Computer Science 17, 2021
232021
Streamability of nested word transductions
E Filiot, O Gauwin, PA Reynier, F Servais
Logical Methods in Computer Science 15, 2019
222019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20