Nicolas Markey

Cited by

	All	Since 2017
Citations	3796	1253
h-index	36	18
i10-index	80	47

320

160

240

20022003200420052006200720082009201020112012201320142015201620172018201920202021202212 24 42 78 99 139 178 176 182 236 215 274 273 318 242 229 245 253 171 243 111

Public access

View all

30 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
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Ocan SankurUniv Rennes, CNRSVerified email at irisa.fr
Thomas BrihayeUMONSVerified email at umons.ac.be
Pierre-Alain ReynierLIF, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
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
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Martin De WulfUniversité Libre de BruxellesVerified email at multitasked.net
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
Daniel STANTU KaiserslauternVerified email at cs.uni-kl.de
Laurent FRIBOURGLSV - ENS Cachan & CNRSVerified email at lsv.ens-cachan.fr
Thierry JéronUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.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	250	2002
Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba International Conference on Formal Modeling and Analysis of Timed Systems, 33-47, 2008	222	2008
Model checking a path N Markey, P Schnoebelen International Conference on Concurrency Theory, 251-265, 2003	132	2003
Model checking timed automata with one or two clocks F Laroussinie, N Markey, P Schnoebelen International Conference on Concurrency Theory, 387-401, 2004	125	2004
Temporal logic with past is exponentially more succinct N Markey Bulletin-European Association for Theoretical Computer Science 79, 122-128, 2003	117	2003
ATL with Strategy Contexts and Bounded Memory T Brihaye, AD Costa, F Laroussinie, N Markey International symposium on logical foundations of computer science, 92-106, 2009	115	2009
On the Expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey International Conference on Foundations of Software Technology and …, 2005	94	2005
Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006	90	2006
On the expressiveness and complexity of ATL F Laroussinie, N Markey, G Oreiby arXiv preprint arXiv:0804.2435, 2008	82	2008
Robustness and implementability of timed automata MD Wulf, L Doyen, N Markey, JF Raskin Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004	80	2004
Robust safety of timed automata M De Wulf, L Doyen, N Markey, JF Raskin Formal Methods in System Design 33 (1), 45-84, 2008	76	2008
Model Checking CTL⁺ and FCTL Is Hard F Laroussinie, N Markey, P Schnoebelen International Conference on Foundations of Software Science and Computation …, 2001	73	2001
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	69	2011
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	68	2010
Robust model-checking of linear-time properties in timed automata P Bouyer, N Markey, PA Reynier Latin American Symposium on Theoretical Informatics, 238-249, 2006	63	2006
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
Model checking one-clock priced timed automata N Markey, KG Larsen, P Bouyer Logical Methods in Computer Science 4, 2008	60	2008
Pure Nash Equilibria in Concurrent Deterministic Games P Bouyer, R Brenguier, N Markey, M Ummels Logical Methods in Computer Science 11, 2015	59	2015
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	56	2008
Almost optimal strategies in one clock priced timed games P Bouyer, KG Larsen, N Markey, JI Rasmussen International Conference on Foundations of Software Technology and …, 2006	56	2006

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 this author

Cited by

Co-authors