Pierre-Alain Reynier

Cited by

	All	Since 2018
Citations	1088	462
h-index	20	12
i10-index	30	16

20052006200720082009201020112012201320142015201620172018201920202021202220234 13 19 42 41 29 57 39 69 76 75 76 70 56 84 86 78 84 71

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
Ismaël JeckerInstitute of Science and Technology, AustriaVerified email at ist.ac.at
Laure DaviaudUniversity of East AngliaVerified email at uea.ac.uk
Léo ExibardAssistant professor at LIGM, Université Gustave EiffelVerified email at univ-eiffel.fr
Ocan SankurCNRS, Université de RennesVerified 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 Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009	84	2009
Transducers, logic and algebra for functions of finite words E Filiot, PA Reynier ACM SIGLOG News 3 (3), 4-19, 2016	68	2016
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	66	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	61	2005
Robust Analysis of Timed Automata Via Channel Machines P Bouyer, N Markey, PA Reynier International Conference on Foundations of Software Science and …, 2008	49	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 Automated Technology for Verification and Analysis: 4th International …, 2006	40	2006
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
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	33	2011
Weak time Petri nets strike back! PA Reynier, A Sangnier International Conference on Concurrency Theory, 557-571, 2009	33	2009
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
Quantitative robustness analysis of flat timed automata R Jaubert, PA Reynier International Conference on Foundations of Software Science and …, 2011	27	2011
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	26	2018
Undecidability results for timed automata with silent transitions P Bouyer, S Haddad, PA Reynier Fundamenta Informaticae 92 (1-2), 1-25, 2009	25	2009
Robust controller synthesis in timed automata O Sankur, P Bouyer, N Markey, PA Reynier International Conference on Concurrency Theory, 546-560, 2013	24	2013
Synthesis of data word transducers L Exibard, E Filiot, PA Reynier Logical Methods in Computer Science 17, 2021	20	2021
Streamability of nested word transductions E Filiot, O Gauwin, PA Reynier, F Servais Logical Methods in Computer Science 15, 2019	20	2019

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