Thomas Brihaye

Cited by

	All	Since 2016
Citations	1444	508
h-index	20	12
i10-index	39	20

140

105

2005200620072008200920102011201220132014201520162017201820192020202118 61 55 69 131 68 103 81 101 105 124 83 104 127 86 107 1

Co-authors

Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Veronique BruyereUniversity of MonsVerified email at umons.ac.be
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université Libre de Bruxelles (ULB)Verified email at ulb.ac.be
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Christel BaierTU DresdenVerified email at tu-dresden.de
Axel HaddadPostdoctoral Researcher, Effective Mathematics Team, Mons University, BelgiumVerified email at umons.ac.be
Christian MichauxUMONSVerified email at umons.ac.be
Quentin MenetUniversité de MonsVerified email at umons.ac.be
cedric riviereUniversity of MonsVerified email at umons.ac.be
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Aline GoeminneUMONS &ULBVerified email at umons.ac.be
Hsi-Ming HoUniversity of SussexVerified email at sussex.ac.uk
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Hugo Gimbertchargé de recherche au CNRS, LaBRI, BordeauxVerified email at labri.fr
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu

Thomas Brihaye

UMONS

Verified email at umons.ac.be


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ATL with strategy contexts and bounded memory T Brihaye, A Da Costa, F Laroussinie, N Markey International Symposium on Logical Foundations of Computer Science, 92-106, 2009	104	2009
On the optimal reachability problem of weighted timed automata P Bouyer, T Brihaye, V Bruyère, JF Raskin Formal Methods in System Design 31 (2), 135-175, 2007	93	2007
Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006	88	2006
Model-checking for weighted timed automata T Brihaye, V Bruyere, JF Raskin Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004	78	2004
On optimal timed strategies T Brihaye, V Bruyere, JF Raskin International Conference on Formal Modeling and Analysis of Timed Systems, 49-64, 2005	74	2005
On o-minimal hybrid systems T Brihaye, C Michaux, R Cédric, T Christophe HSCC 2993, 219--233, 2004	65	2004
When are timed automata determinizable? C Baier, N Bertrand, P Bouyer, T Brihaye International Colloquium on Automata, Languages, and Programming, 43-54, 2009	59	2009
Probabilistic and topological semantics for timed automata C Baier, N Bertrand, P Bouyer, T Brihaye, M Größer International Conference on Foundations of Software Technology and …, 2007	57	2007
On the expressiveness and decidability of o-minimal hybrid systems T Brihaye, C Michaux Journal of complexity 21 (4), 447-478, 2005	57	2005
Almost-sure model checking of infinite paths in one-clock timed automata C Baier, N Bertrand, P Bouyer, T Brihaye, M GröBer 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 217-226, 2008	53	2008
Quantitative model-checking of one-clock timed automata under probabilistic semantics N Bertrand, P Bouyer, T Brihaye, N Markey 2008 Fifth International Conference on Quantitative Evaluation of Systems, 55-64, 2008	51	2008
Stochastic timed automata N Bertrand, P Bouyer, T Brihaye, Q Menet, C Baier, M Größer, ... arXiv preprint arXiv:1410.2128, 2014	38	2014
Minimum-time reachability in timed games T Brihaye, TA Henzinger, VS Prabhu, JF Raskin International Colloquium on Automata, Languages, and Programming, 825-837, 2007	33	2007
On (subgame perfect) secure equilibrium in quantitative reachability games T Brihaye, V Bruyère, J De Pril, H Gimbert arXiv preprint arXiv:1205.6346, 2012	31	2012
On reachability for hybrid automata over bounded time T Brihaye, L Doyen, G Geeraerts, J Ouaknine, JF Raskin, J Worrell International Colloquium on Automata, Languages, and Programming, 416-427, 2011	28	2011
O-minimal hybrid reachability games P Bouyer, T Brihaye, F Chevalier arXiv preprint arXiv:0911.4833, 2009	27	2009
Equilibria in quantitative reachability games T Brihaye, V Bruyère, J De Pril International Computer Science Symposium in Russia, 72-83, 2010	26	2010
Control in o-minimal hybrid systems P Bouyer, T Brihaye, F Chevalier 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 367-378, 2006	25	2006
Timed concurrent game structures T Brihaye, F Laroussinie, N Markey, G Oreiby International Conference on Concurrency Theory, 445-459, 2007	24	2007
On MITL and alternating timed automata T Brihaye, M Estiévenart, G Geeraerts International Conference on Formal Modeling and Analysis of Timed Systems, 47-61, 2013	22	2013

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

Upload PDF

Follow this author

Cited by

Co-authors