Patricia Bouyer

Citeret af

	Alle	Siden 2018
Henvisninger	5484	1633
h-index	44	21
i10-indeks	105	60

360

180

270

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202337 63 75 99 141 194 178 219 307 224 294 356 359 315 357 272 268 288 275 198 281 345 243

Offentlig adgang

Se alle

23 artikler

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerificeret mail på irisa.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerificeret mail på cs.aau.dk
Thomas BrihayeUMONSVerificeret mail på umons.ac.be
Antoine PetitEns de CachanVerificeret mail på ens-cachan.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerificeret mail på lif.univ-mrs.fr
Emmanuel FleuryAssociate Professor, University of BordeauxVerificeret mail på u-bordeaux.fr
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerificeret mail på inria.fr
Mickael RandourFNRS & UMONSVerificeret mail på umons.ac.be
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)Verificeret mail på polytechnique.edu
Ocan SankurUniv Rennes, CNRSVerificeret mail på irisa.fr
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerificeret mail på mpi-sws.org
James WorrellProfessor of Computer Science, Oxford UniversityVerificeret mail på cs.ox.ac.uk
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerificeret mail på lsv.fr
Christel BaierTU DresdenVerificeret mail på tu-dresden.de
Romain BrenguierUniversity of OxfordVerificeret mail på cs.ox.ac.uk
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerificeret mail på lip6.fr
Pierre VandenhoveF.R.S.-FNRS & UMONS - Université de Mons; LMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerificeret mail på umons.ac.be
Michael UmmelsResearcher, German Aerospace CenterVerificeret mail på logic.rwth-aachen.de
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerificeret mail på ru.is
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayVerificeret mail på lsv.fr

Følg

Patricia Bouyer

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

Verificeret mail på lsv.fr - Startside

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


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	244	2008
Forward analysis of updatable timed automata P Bouyer Formal Methods in System Design 24, 281-320, 2004	145	2004
Updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit Theoretical Computer Science 321 (2-3), 291-345, 2004	139	2004
Fault diagnosis using timed automata P Bouyer, F Chevalier, D D’Souza International Conference on Foundations of Software Science and Computation …, 2005	138	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	136	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	120	2006
Untameable Timed Automata! Extended Abstract P Bouyer Annual Symposium on Theoretical Aspects of Computer Science, 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 International Conference on Tools and Algorithms for the Construction and …, 2003	111	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, 135-175, 2007	104	2007
Timed control with partial observability P Bouyer, D D’Souza, P Madhusudan, A Petit Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003	102	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	94	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	94	2003
Model-checking timed temporal logics P Bouyer Electronic notes in theoretical computer science 231, 323-341, 2009	79	2009
A logical characterization of data languages P Bouyer Information Processing Letters 84 (2), 75-85, 2002	79	2002
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	78	2011
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

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere