Patricia Bouyer

Cited by

	All	Since 2019
Citations	5824	1683
h-index	45	21
i10-index	115	64

380

190

285

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202437 61 74 99 146 194 189 230 309 220 290 347 369 324 340 258 262 289 278 204 287 325 344 233

Public access

View all

26 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Thomas BrihayeUMONSVerified email at umons.ac.be
Antoine PetitEns de CachanVerified email at ens-cachan.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.fr
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)Verified email at polytechnique.edu
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Franck Cassezmovement LabsVerified email at movementlabs.xyz
Ocan SankurCNRS, Université de RennesVerified email at cnrs.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Pierre VandenhoveUMONS – Université de MonsVerified email at umons.ac.be
Christel BaierTU DresdenVerified email at tu-dresden.de
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Béatrice Bérardprofesseur émérite d'informatique, Sorbonne UniversitéVerified email at lip6.fr
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayVerified email at lsv.fr
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de

Patricia Bouyer

LMF, Université Paris-Saclay, CNRS, ENS Paris-Saclay

Verified email at lsv.fr - Homepage

vérification model-checking systèmes temporisés jeux


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	258	2008
Updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit Theoretical Computer Science 321 (2-3), 291-345, 2004	148	2004
Forward analysis of updatable timed automata P Bouyer Formal Methods in System Design 24, 281-320, 2004	147	2004
Fault diagnosis using timed automata P Bouyer, F Chevalier, D D’Souza International Conference on Foundations of Software Science and Computation …, 2005	144	2005
Optimal strategies in priced timed game automata P Bouyer, F Cassez, E Fleury, KG Larsen International Conference on Foundations of Software Technology and …, 2004	142	2004
Lower and upper bounds in zone-based abstractions of timed automata G Behrmann, P Bouyer, KG Larsen, R Pelánek International Journal on Software Tools for Technology Transfer 8, 204-215, 2006	134	2006
Untameable Timed Automata! Extended Abstract P Bouyer Annual Symposium on Theoretical Aspects of Computer Science, 620-631, 2003	119	2003
Are timed automata updatable? P Bouyer, C Dufourd, E Fleury, A Petit Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	118	2000
Static guard analysis in timed automata verification G Behrmann, P Bouyer, E Fleury, KG Larsen International Conference on Tools and Algorithms for the Construction and …, 2003	117	2003
The power of reachability testing for timed automata L Aceto, P Bouyer, A Burgueno, KG Larsen Theoretical Computer Science 300 (1-3), 411-475, 2003	112	2003
On the optimal reachability problem of weighted timed automata P Bouyer, T Brihaye, V Bruyere, JF Raskin Formal Methods in System Design 31 (2), 135-175, 2007	108	2007
On the expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey International Conference on Foundations of Software Technology and …, 2005	103	2005
Optimal infinite scheduling for multi-priced timed automata P Bouyer, E Brinksma, KG Larsen Formal Methods in System Design 32, 3-23, 2008	101	2008
Timed control with partial observability P Bouyer, D D’Souza, P Madhusudan, A Petit Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003	101	2003
Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006	98	2006
An algebraic approach to data languages and timed languages P Bouyer, A Petit, D Thérien Information and Computation 182 (2), 137-162, 2003	97	2003
Model-checking timed temporal logics P Bouyer Electronic notes in theoretical computer science 231, 323-341, 2009	86	2009
Quantitative analysis of real-time systems using priced timed automata P Bouyer, U Fahrenberg, KG Larsen, N Markey Communications of the ACM 54 (9), 78-87, 2011	85	2011
Staying alive as cheaply as possible P Bouyer, E Brinksma, KG Larsen International Workshop on Hybrid Systems: Computation and Control, 203-218, 2004	83	2004
A logical characterization of data languages P Bouyer Information Processing Letters 84 (2), 75-85, 2002	79	2002

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