Nicolas Markey

Cited by

	All	Since 2018
Citations	4025	1271
h-index	37	20
i10-index	86	47

300

150

225

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 24 39 82 102 136 173 172 183 229 212 279 288 297 252 233 245 256 171 226 249 124

Public access

View all

29 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Ocan SankurUniv Rennes, CNRSVerified email at irisa.fr
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Thomas BrihayeUMONSVerified email at umons.ac.be
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
Pierre-Alain ReynierLIS, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Thierry JéronUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Martin De WulfUniversité Libre de BruxellesVerified email at multitasked.net
Daniel STANEPITA LREVerified email at epita.fr
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSVerified email at lsv.fr
Simon Borgbjerg LaursenSelf-employed consultantVerified email at simlau.dk
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr

Nicolas Markey

CNRS, IRISA, Univ. Rennes, France

Verified email at irisa.fr - Homepage

Formal methods model checking temporal logic synthesis game theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Temporal logic with forgettable past F Laroussinie, N Markey, P Schnoebelen LICS 2002, 383-392, 2002	258	2002
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	238	2008
Model checking a path N Markey, P Schnoebelen CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003	136	2003
Model checking timed automata with one or two clocks F Laroussinie, N Markey, P Schnoebelen CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004	133	2004
Temporal logic with past is exponentially more succinct N Markey Bulletin-European Association for Theoretical Computer Science 79, 122-128, 2003	123	2003
ATL with Strategy Contexts and Bounded Memory T Brihaye, A Da Costa, F Laroussinie, N Markey Logical Foundations of Computer Science: International Symposium, LFCS 2009 …, 2009	119	2009
On the expressiveness and complexity of ATL F Laroussinie, N Markey, G Oreiby arXiv preprint arXiv:0804.2435, 2008	109	2008
On the Expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005	99	2005
Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006	93	2006
Robust safety of timed automata M De Wulf, L Doyen, N Markey, JF Raskin Formal Methods in System Design 33 (1-3), 45-84, 2008	80	2008
Robustness and implementability of timed automata M De Wulf, L Doyen, N Markey, JF Raskin FORMATS/FTRTFT 3253, 118-133, 2004	79	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
Model Checking CTL⁺ and FCTL Is Hard F Laroussinie, N Markey, P Schnoebelen Foundations of Software Science and Computation Structures: 4th …, 2001	73	2001
ATL with strategy contexts: Expressiveness and model checking A Da Costa, F Laroussinie, N Markey IARCS Annual Conference on Foundations of Software Technology and …, 2010	70	2010
Pure Nash Equilibria in Concurrent Deterministic Games P Bouyer, R Brenguier, N Markey, M Ummels Logical Methods in Computer Science 11, 2015	66	2015
Robust model-checking of linear-time properties in timed automata P Bouyer, N Markey, PA Reynier LATIN 2006: Theoretical Informatics: 7th Latin American Symposium, Valdivia …, 2006	64	2006
Model checking one-clock priced timed automata P Bouyer, KG Larsen, N Markey Logical Methods in Computer Science 4, 2008	61	2008
The cost of punctuality P Bouyer, N Markey, J Ouaknine, J Worrell 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 109-120, 2007	61	2007
Almost optimal strategies in one clock priced timed games P Bouyer, KG Larsen, N Markey, JI Rasmussen FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006	59	2006
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	57	2008

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