Pierre-Alain Reynier

Cited by

	All	Since 2018
Citations	1061	432
h-index	19	12
i10-index	30	16

20052006200720082009201020112012201320142015201620172018201920202021202220234 12 20 43 41 27 56 41 69 75 72 75 78 57 87 88 78 83 37

Public access

View all

15 articles

1 article

available

not available

Based on funding mandates

Co-authors

Emmanuel FiliotFNRS - Université Libre de BruxellesVerified email at ulb.ac.be
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Frédéric ServaisLecturer at École Supérieure d'Informatique (ESI) in BrusselsVerified email at ulb.ac.be
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Léo ExibardPostdoctoral researcher at Reykjavik University (MoVeMnt project, ICE-TCS)Verified email at ru.is
Ismaël JeckerInstitute of Science and Technology, AustriaVerified email at ist.ac.at
Laure DaviaudUniversity of East AngliaVerified email at uea.ac.uk
Ocan SankurUniv Rennes, CNRSVerified email at irisa.fr
Claude JardProfesseur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)Verified email at univ-nantes.fr
S AkshayIIT BombayVerified email at cse.iitb.ac.in
Loic HelouetINRIA RennesVerified email at inria.fr
Giovanni BacciDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Sebastian ManethProfessor für Informatik, Universität BremenVerified email at uni-bremen.de
Arnaud SangnierMaître de conférences (Assistant Professor), IRIF, Université Paris CitéVerified email at irif.fr
youssouf oualhadjLACL, UPECVerified email at lacl.fr
Omer Nguena TimoUniversité du Québec en outaouaisVerified email at uqo.ca

Pierre-Alain Reynier

LIS, Aix-Marseille Université

Verified email at lif.univ-mrs.fr - Homepage

Formal verification Logic and automata theory


Title Sort by citations Sort by year Sort by 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	84	2009
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	64	2006
Transducers, logic and algebra for functions of finite words E Filiot, PA Reynier ACM SIGLOG News 3 (3), 4-19, 2016	63	2016
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	58	2005
Robust Analysis of Timed Automata Via Channel Machines P Bouyer, N Markey, PA Reynier Foundations of Software Science and Computational Structures: 11th …, 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	44	2008
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	43	2013
Properties of visibly pushdown transducers E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot Mathematical Foundations of Computer Science 2010: 35th International …, 2010	41	2010
Properties of visibly pushdown transducers E Filiot, JF Raskin, PA Reynier, F Servais, JM Talbot Mathematical Foundations of Computer Science 2010: 35th International …, 2010	41	2010
Timed unfoldings for networks of timed automata P Bouyer, S Haddad, PA Reynier ATVA 6, 292-306, 2006	40	2006
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	35	2011
Extended timed automata and time Petri nets P Bouyer, PA Reynier, S Haddad Sixth International Conference on Application of Concurrency to System …, 2006	34	2006
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	31	2016
Weak Time Petri Nets Strike Back!. PA Reynier, A Sangnier CONCUR 5710, 557-571, 2009	31	2009
Quantitative robustness analysis of flat timed automata R Jaubert, PA Reynier Foundations of Software Science and Computational Structures: 14th …, 2011	25	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 CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013	23	2013
Synthesis of data word transducers L Exibard, E Filiot, PA Reynier arXiv preprint arXiv:1905.03538, 2019	22	2019
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	22	2018
Streamability of nested word transductions E Filiot, O Gauwin, PA Reynier, F Servais arXiv preprint arXiv:1707.00527, 2017	21	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors