Pierre-Alain Reynier

Cited by

	All	Since 2020
Citations	1192	426
h-index	21	12
i10-index	33	17

100

2005200620072008200920102011201220132014201520162017201820192020202120222023202420254 13 19 46 40 29 59 37 68 74 72 74 69 54 88 81 81 81 84 94 4

Public access

View all

18 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
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Franck Cassezmovement LabsVerified email at movementlabs.xyz
Ismaël JeckerInstitute of Science and Technology, AustriaVerified email at ist.ac.at
Ocan SankurCNRS, Université de RennesVerified email at cnrs.fr
Laure DaviaudUniversity of East AngliaVerified email at uea.ac.uk
Léo ExibardAssistant professor at LIGM, Université Gustave EiffelVerified email at univ-eiffel.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
Giovanni BacciDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Loic HelouetINRIA RennesVerified email at inria.fr
Sebastian ManethProfessor für Informatik, Universität BremenVerified email at uni-bremen.de
Arnaud SangnierProfessore Associato, DIBRIS, Università di Genova, ItalyVerified email at unige.it
youssouf oualhadjLACL, UPECVerified email at lacl.fr

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	87	2009
Transducers, logic and algebra for functions of finite words E Filiot, PA Reynier ACM SIGLOG News 3 (3), 4-19, 2016	75	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	67	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	63	2005
Robust Analysis of Timed Automata Via Channel Machines P Bouyer, N Markey, PA Reynier International Conference on Foundations of Software Science and …, 2008	48	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	46	2013
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	46	2008
Timed unfoldings for networks of timed automata P Bouyer, S Haddad, PA Reynier Automated Technology for Verification and Analysis: 4th International …, 2006	43	2006
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
Weak time Petri nets strike back! PA Reynier, A Sangnier International Conference on Concurrency Theory, 557-571, 2009	37	2009
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	36	2011
Extended timed automata and time Petri nets P Bouyer, PA Reynier, S Haddad Sixth International Conference on Application of Concurrency to System …, 2006	35	2006
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	34	2018
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	33	2016
Robust controller synthesis in timed automata O Sankur, P Bouyer, N Markey, PA Reynier International Conference on Concurrency Theory, 546-560, 2013	32	2013
Quantitative robustness analysis of flat timed automata R Jaubert, PA Reynier International Conference on Foundations of Software Science and …, 2011	27	2011
Undecidability results for timed automata with silent transitions P Bouyer, S Haddad, PA Reynier Fundamenta Informaticae 92 (1-2), 1-25, 2009	27	2009
Synthesis of data word transducers L Exibard, E Filiot, PA Reynier Logical Methods in Computer Science 17, 2021	23	2021
Copyful streaming string transducers E Filiot, PA Reynier Reachability Problems: 11th International Workshop, RP 2017, London, UK …, 2017	23	2017
Streamability of nested word transductions E Filiot, O Gauwin, PA Reynier, F Servais Logical Methods in Computer Science 15, 2019	22	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