Patricia Bouyer

Cited by

	All	Since 2018
Citations	5323	1462
h-index	44	20
i10-index	104	58

380

190

285

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202335 65 72 105 133 191 180 214 299 226 288 359 365 321 364 272 276 289 284 201 304 320 60

Public access

View all

22 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
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.fr
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Ocan SankurUniv Rennes, CNRSVerified email at irisa.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
Christel BaierTU DresdenVerified email at tu-dresden.de
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerified email at lip6.fr
Pierre VandenhoveF.R.S.-FNRS & UMONS - Université de Mons; LMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at umons.ac.be
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
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 Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	232	2008
Forward analysis of updatable timed automata P Bouyer Formal Methods in System Design 24, 281-320, 2004	146	2004
Optimal strategies in priced timed game automata P Bouyer, F Cassez, E Fleury, KG Larsen FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005	137	2005
Updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit Theoretical Computer Science 321 (2-3), 291-345, 2004	136	2004
Fault diagnosis using timed automata P Bouyer, F Chevalier, D D’Souza Foundations of Software Science and Computational Structures: 8th …, 2005	133	2005
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	120	2006
Untameable timed automata! P Bouyer STACS 2607, 620-631, 2003	116	2003
Are timed automata updatable? P Bouyer, C Dufourd, E Fleury, A Petit Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	116	2000
Static guard analysis in timed automata verification G Behrmann, P Bouyer, E Fleury, KG Larsen Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	110	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	108	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	105	2007
Timed control with partial observability P Bouyer, D D’Souza, P Madhusudan, A Petit Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003	104	2003
On the Expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005	98	2005
Optimal infinite scheduling for multi-priced timed automata P Bouyer, E Brinksma, KG Larsen Formal Methods in System Design 32, 3-23, 2008	97	2008
Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006	93	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	93	2003
A logical characterization of data languages P Bouyer Information Processing Letters 84 (2), 75-85, 2002	78	2002
Model-checking timed temporal logics P Bouyer Electronic notes in theoretical computer science 231, 323-341, 2009	76	2009
Staying alive as cheaply as possible P Bouyer, E Brinksma, KG Larsen Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004	76	2004
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	74	2011

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