Follow
Nicolas Markey
Nicolas Markey
CNRS, IRISA, Univ. Rennes, France
Verified email at irisa.fr - Homepage
Title
Cited by
Cited by
Year
Temporal logic with forgettable past
F Laroussinie, N Markey, P Schnoebelen
LICS 2002, 383-392, 2002
2582002
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
2382008
Model checking a path
N Markey, P Schnoebelen
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
1362003
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
1332004
Temporal logic with past is exponentially more succinct
N Markey
Bulletin-European Association for Theoretical Computer Science 79, 122-128, 2003
1232003
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
1192009
On the expressiveness and complexity of ATL
F Laroussinie, N Markey, G Oreiby
arXiv preprint arXiv:0804.2435, 2008
1092008
On the Expressiveness of TPTL and MTL
P Bouyer, F Chevalier, N Markey
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
992005
Improved undecidability results on weighted timed automata
P Bouyer, T Brihaye, N Markey
Information Processing Letters 98 (5), 188-194, 2006
932006
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
802008
Robustness and implementability of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
FORMATS/FTRTFT 3253, 118-133, 2004
792004
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
742011
Model Checking CTL+ and FCTL Is Hard
F Laroussinie, N Markey, P Schnoebelen
Foundations of Software Science and Computation Structures: 4th …, 2001
732001
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
702010
Pure Nash Equilibria in Concurrent Deterministic Games
P Bouyer, R Brenguier, N Markey, M Ummels
Logical Methods in Computer Science 11, 2015
652015
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
642006
Model checking one-clock priced timed automata
P Bouyer, KG Larsen, N Markey
Logical Methods in Computer Science 4, 2008
612008
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
612007
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
592006
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
572008
The system can't perform the operation now. Try again later.
Articles 1–20