Nicolas Markey

Cited by

	All	Since 2016
Citations	3405	1140
h-index	34	18
i10-index	72	40

320

160

240

2002200320042005200620072008200920102011201220132014201520162017201820192020202113 21 41 80 99 143 176 170 169 231 214 273 279 316 238 225 233 253 179 6

Co-authors

Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Thomas BrihayeUMONSVerified email at umons.ac.be
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Ocan SankurCNRS, IrisaVerified email at irisa.fr
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.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 ReynierLIF, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Romain BrenguierUniversity of OxfordVerified email at cs.ox.ac.uk
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Michael UmmelsResearcher, German Aerospace CenterVerified email at logic.rwth-aachen.de
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Mickael RandourFNRS & UMONSVerified email at umons.ac.be
Laurent FRIBOURGLSV - ENS Cachan & CNRSVerified email at lsv.ens-cachan.fr
Daniel STANSaarland universityVerified email at depend.uni-saarland.de
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Mahsa ShirmohammadiUniversity of OxfordVerified email at cs.ox.ac.uk
Steen VesterVerified email at digital-generation.dk
Claus ThraneAssistant Professor, Dept. of Computer Science, Aalborg UniversityVerified email at cs.aau.dk

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	224	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	197	2008
Model checking a path N Markey, P Schnoebelen International Conference on Concurrency Theory, 251-265, 2003	129	2003
Model checking timed automata with one or two clocks F Laroussinie, N Markey, P Schnoebelen International Conference on Concurrency Theory, 387-401, 2004	115	2004
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	106	2009
Temporal logic with past is exponentially more succinct N Markey	106	2003
On the Expressiveness and Complexity of ATL G Oreiby, N Markey, F Laroussinie Logical Methods in Computer Science 4, 2008	99*	2008
On the Expressiveness and Complexity of ATL F Laroussinie, N Markey, G Oreiby International Conference on Foundations of Software Science and …, 2007	99	2007
Improved undecidability results on weighted timed automata P Bouyer, T Brihaye, N Markey Information Processing Letters 98 (5), 188-194, 2006	88	2006
On the Expressiveness of TPTL and MTL P Bouyer, F Chevalier, N Markey International Conference on Foundations of Software Technology and …, 2005	85	2005
Robustness and implementability of timed automata M De Wulf, L Doyen, N Markey, JF Raskin Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004	77	2004
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	75	2008
Model Checking CTL⁺ and FCTL Is Hard F Laroussinie, N Markey, P Schnoebelen International Conference on Foundations of Software Science and Computation …, 2001	67	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	66	2010
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	63	2011
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	58	2007
Model-checking one-clock priced timed automata P Bouyer, KG Larsen, N Markey International Conference on Foundations of Software Science and …, 2007	56	2007
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	55	2006
Efficient timed model checking for discrete-time systems F Laroussinie, N Markey, P Schnoebelen Theoretical Computer Science 353 (1-3), 249-271, 2006	52	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

Upload PDF

Follow this author

Cited by

Co-authors