Nicolas Markey
Nicolas Markey
CNRS, IRISA, Univ. Rennes, France
Email verificata su irisa.fr - Home page
Titolo
Citata da
Citata da
Anno
Temporal logic with forgettable past
F Laroussinie, N Markey, P Schnoebelen
LICS 2002, 383-392, 2002
2362002
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
2042008
Model checking a path
N Markey, P Schnoebelen
International Conference on Concurrency Theory, 251-265, 2003
1312003
Model checking timed automata with one or two clocks
F Laroussinie, N Markey, P Schnoebelen
International Conference on Concurrency Theory, 387-401, 2004
1212004
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
1092009
Temporal logic with past is exponentially more succinct
N Markey
Bulletin-European Association for Theoretical Computer Science 79, 122-128, 2003
1072003
On the Expressiveness of TPTL and MTL
P Bouyer, F Chevalier, N Markey
International Conference on Foundations of Software Technology andá…, 2005
902005
Improved undecidability results on weighted timed automata
P Bouyer, T Brihaye, N Markey
Information Processing Letters 98 (5), 188-194, 2006
872006
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
802004
On the expressiveness and complexity of ATL
F Laroussinie, N Markey, G Oreiby
arXiv preprint arXiv:0804.2435, 2008
792008
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
742008
Model Checking CTL+ and FCTL Is Hard
F Laroussinie, N Markey, P Schnoebelen
International Conference on Foundations of Software Science and Computationá…, 2001
712001
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
682010
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
642011
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
632006
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
592007
Model-checking one-clock priced timed automata
P Bouyer, KG Larsen, N Markey
International Conference on Foundations of Software Science andá…, 2007
562007
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
552008
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
552006
Efficient timed model checking for discrete-time systems
F Laroussinie, N Markey, P Schnoebelen
Theoretical Computer Science 353 (1-3), 249-271, 2006
532006
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20