Patricia Bouyer

Cited by

	All	Since 2016
Citations	4827	1484
h-index	43	21
i10-index	94	54

380

190

285

20012002200320042005200620072008200920102011201220132014201520162017201820192020202135 62 82 95 144 191 188 216 306 223 303 362 358 328 354 267 274 292 278 224 147

Public access

View all

14 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 ReynierLIF, 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 FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Franck CassezConsenSys Software Inc. & Macquarie UniversityVerified email at mq.edu.au
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
Christel BaierTU DresdenVerified email at tu-dresden.de
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Ocan SankurCNRS, IrisaVerified email at irisa.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerified email at lip6.fr
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Radek PelánekMasaryk universityVerified email at fi.muni.cz

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 International Conference on Formal Modeling and Analysis of Timed Systems, 33-47, 2008	208	2008
Forward analysis of updatable timed automata P Bouyer Formal Methods in System Design 24 (3), 281-320, 2004	142	2004
Updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit Theoretical Computer Science 321 (2-3), 291-345, 2004	134	2004
Optimal strategies in priced timed game automata P Bouyer, F Cassez, E Fleury, KG Larsen International Conference on Foundations of Software Technology and …, 2004	127	2004
Fault diagnosis using timed automata P Bouyer, F Chevalier, D D’Souza International Conference on Foundations of Software Science and Computation …, 2005	115	2005
Are timed automata updatable? P Bouyer, C Dufourd, E Fleury, A Petit International Conference on Computer Aided Verification, 464-479, 2000	113	2000
Untameable timed automata! P Bouyer Annual Symposium on Theoretical Aspects of Computer Science, 620-631, 2003	107	2003
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 (3), 204-215, 2006	106	2006
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	105	2003
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	102	2003
Timed control with partial observability P Bouyer, D D’Souza, P Madhusudan, A Petit International Conference on Computer Aided Verification, 180-192, 2003	101	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	94	2007
On the Expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey International Conference on Foundations of Software Technology and …, 2005	92	2005
Optimal infinite scheduling for multi-priced timed automata P Bouyer, E Brinksma, KG Larsen Formal Methods in System Design 32 (1), 3-23, 2008	91	2008
An algebraic approach to data languages and timed languages P Bouyer, A Petit, D Thérien Information and Computation 182 (2), 137-162, 2003	89	2003
Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006	87	2006
Staying alive as cheaply as possible P Bouyer, E Brinksma, KG Larsen International Workshop on Hybrid Systems: Computation and Control, 203-218, 2004	77	2004
A logical characterization of data languages P Bouyer Information Processing Letters 84 (2), 75-85, 2002	72	2002
Lower and upper bounds in zone based abstractions of timed automata G Behrmann, P Bouyer, KG Larsen, R Pelánek International Conference on Tools and Algorithms for the Construction and …, 2004	69	2004
When are timed automata determinizable? C Baier, N Bertrand, P Bouyer, T Brihaye International Colloquium on Automata, Languages, and Programming, 43-54, 2009	66	2009

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 this author

Cited by

Co-authors