Sledovat
Nicolas Markey
Nicolas Markey
CNRS, IRISA, Univ. Rennes, France
E-mailová adresa ověřena na: irisa.fr - Domovská stránka
Název
Citace
Citace
Rok
Temporal logic with forgettable past
F Laroussinie, N Markey, P Schnoebelen
LICS 2002, 383-392, 2002
2682002
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
2592008
Temporal logic with past is exponentially more succinct
N Markey
Bulletin-European Association for Theoretical Computer Science 79, 122-128, 2003
1532003
Model checking a path
N Markey, P Schnoebelen
International Conference on Concurrency Theory, 251-265, 2003
1502003
Model checking timed automata with one or two clocks
F Laroussinie, N Markey, P Schnoebelen
International Conference on Concurrency Theory, 387-401, 2004
1412004
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
1252009
On the expressiveness and complexity of ATL
F Laroussinie, N Markey, G Oreiby
Logical Methods in Computer Science 4, 2008
1112008
On the expressiveness of TPTL and MTL
P Bouyer, F Chevalier, N Markey
International Conference on Foundations of Software Technology and …, 2005
1062005
Improved undecidability results on weighted timed automata
P Bouyer, T Brihaye, N Markey
Information Processing Letters 98 (5), 188-194, 2006
982006
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
882011
Robust safety of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
Formal Methods in System Design 33 (1), 45-84, 2008
882008
Robustness and implementability of timed automata
M De Wulf, L Doyen, N Markey, JF Raskin
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004
842004
Pure Nash Equilibria in Concurrent Deterministic Games
P Bouyer, R Brenguier, N Markey, M Ummels
Logical Methods in Computer Science 11, 2015
802015
Model Checking CTL+ and FCTL Is Hard
F Laroussinie, N Markey, P Schnoebelen
International Conference on Foundations of Software Science and Computation …, 2001
732001
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
712006
ATL with strategy contexts: Expressiveness and Model Checking.
A Da Costa, F Laroussinie, N Markey
30th {C} onference on {F} oundations of {S} oftware {T} echnology and {T …, 2010
682010
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
662007
Augmenting ATL with strategy contexts
F Laroussinie, N Markey
Information and Computation 245, 98-123, 2015
652015
On the expressiveness of TPTL and MTL
P Bouyer, F Chevalier, N Markey
Information and Computation 208 (2), 97-116, 2010
622010
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
622006
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20