Patricia Bouyer

Dikutip oleh

	Semua	Sejak 2020
Kutipan	6007	1535
indeks-h	47	21
indeks-i10	117	55

380

190

285

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 64 74 106 141 197 188 234 312 234 298 347 366 330 342 260 270 280 287 209 293 310 347 294 72

Akses publik

Lihat semua

26 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceEmail yang diverifikasi di irisa.fr
Kim G. LarsenDirector, Professor Aalborg UniversityEmail yang diverifikasi di cs.aau.dk
Thomas BrihayeUMONSEmail yang diverifikasi di umons.ac.be
Antoine PetitEns de CachanEmail yang diverifikasi di ens-cachan.fr
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéEmail yang diverifikasi di lif.univ-mrs.fr
Emmanuel FleuryAssociate Professor, University of BordeauxEmail yang diverifikasi di u-bordeaux.fr
Mickael RandourFNRS & UMONSEmail yang diverifikasi di umons.ac.be
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAEmail yang diverifikasi di inria.fr
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)Email yang diverifikasi di polytechnique.edu
Ocan SankurCNRS, Université de RennesEmail yang diverifikasi di cnrs.fr
Franck Cassezmovement LabsEmail yang diverifikasi di movementlabs.xyz
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayEmail yang diverifikasi di lsv.fr
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail yang diverifikasi di mpi-sws.org
James WorrellProfessor of Computer Science, Oxford UniversityEmail yang diverifikasi di cs.ox.ac.uk
Pierre VandenhoveUMONS – Université de MonsEmail yang diverifikasi di umons.ac.be
Christel BaierTU DresdenEmail yang diverifikasi di tu-dresden.de
Romain BrenguierUniversity of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Béatrice Bérardprofesseur émérite d'informatique, Sorbonne UniversitéEmail yang diverifikasi di lip6.fr
Stéphane Le RouxLSV, école normale supérieure de Paris-SaclayEmail yang diverifikasi di lsv.fr
Michael UmmelsResearcher, German Aerospace CenterEmail yang diverifikasi di logic.rwth-aachen.de

Ikuti

Patricia Bouyer

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

Email yang diverifikasi di lsv.fr - Beranda

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


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	259	2008
Forward analysis of updatable timed automata P Bouyer Formal Methods in System Design 24, 281-320, 2004	150	2004
Updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit Theoretical Computer Science 321 (2-3), 291-345, 2004	149	2004
Fault diagnosis using timed automata P Bouyer, F Chevalier, D D’Souza International Conference on Foundations of Software Science and Computation …, 2005	145	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	144	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	140	2006
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	121	2003
Are timed automata updatable? P Bouyer, C Dufourd, E Fleury, A Petit Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	120	2000
Untameable Timed Automata! Extended Abstract P Bouyer Annual Symposium on Theoretical Aspects of Computer Science, 620-631, 2003	119	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	116	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	109	2007
Timed control with partial observability P Bouyer, D D’Souza, P Madhusudan, A Petit International Conference on Computer Aided Verification, 180-192, 2003	106	2003
On the expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey International Conference on Foundations of Software Technology and …, 2005	105	2005
Optimal infinite scheduling for multi-priced timed automata P Bouyer, E Brinksma, KG Larsen Formal Methods in System Design 32, 3-23, 2008	103	2008
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	96	2003
Model-checking timed temporal logics P Bouyer Electronic notes in theoretical computer science 231, 323-341, 2009	90	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	88	2011
Staying alive as cheaply as possible P Bouyer, E Brinksma, KG Larsen International Workshop on Hybrid Systems: Computation and Control, 203-218, 2004	84	2004
When are timed automata determinizable? C Baier, N Bertrand, P Bouyer, T Brihaye Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP …, 2009	81	2009

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama