Nicolas Markey

	2009
41		Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault: Measuring Permissivity in Finite Games. CONCUR 2009: 196-210
40		Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey: ATLwith Strategy Contexts and Bounded Memory. LFCS 2009: 92-106
	2008
39		Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba: Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47
38		Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier: Robust Analysis of Timed Automata ViaChannel Machines. FoSSaCS 2008: 157-171
37		Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: On Expressiveness and Complexity in Real-Time Model Checking. ICALP (2) 2008: 124-135
36		Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64
35		Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell: On Termination for Faulty Channel Machines. STACS 2008: 121-132
34		Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg: Good Friends are Hard to Find! TIME 2008: 32-40
33		Patricia Bouyer, Nicolas Markey, Joël Ouaknine, Ph. Schnoebelen, James Worrell: On Termination for Faulty Channel Machines CoRR abs/0802.2839: (2008)
32		François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL CoRR abs/0804.2435: (2008)
31		Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-clock Priced Timed Automata CoRR abs/0805.1457: (2008)
30		Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robust safety of timed automata. Formal Methods in System Design 33(1-3): 45-84 (2008)
29		Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model Checking One-Clock Priced Timed Automata. Logical Methods in Computer Science 4(2): (2008)
28		François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL. Logical Methods in Computer Science 4(2): (2008)
	2007
27		Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby: Timed Concurrent Game Structures. CONCUR 2007: 445-459
26		Patricia Bouyer, Nicolas Markey: Costs Are Expensive! FORMATS 2007: 53-68
25		Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey: Model-Checking One-Clock Priced Timed Automata. FoSSaCS 2007: 108-122
24		François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL. FoSSaCS 2007: 243-257
23		Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell: The Cost of Punctuality. LICS 2007: 109-120
	2006
22		François Laroussinie, Nicolas Markey, Ghassan Oreiby: Model-Checking Timed. FORMATS 2006: 245-259
21		Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen: Almost Optimal Strategies in One Clock Priced Timed Games. FSTTCS 2006: 345-356
20		Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier: Robust Model-Checking of Linear-Time Properties in Timed Automata. LATIN 2006: 238-249
19		Nicolas Markey, Ph. Schnoebelen: Mu-calculus path checking. Inf. Process. Lett. 97(6): 225-230 (2006)
18		Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98(5): 188-194 (2006)
17		François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Efficient timed model checking for discrete-time systems. Theor. Comput. Sci. 353(1-3): 249-271 (2006)
16		Nicolas Markey, Jean-François Raskin: Model checking restricted sets of timed paths. Theor. Comput. Sci. 358(2-3): 273-292 (2006)
	2005
15		Patricia Bouyer, Fabrice Chevalier, Nicolas Markey: On the Expressiveness of TPTL and MTL. FSTTCS 2005: 432-443
	2004
14		François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Model Checking Timed Automata with One or Two Clocks. CONCUR 2004: 387-401
13		Nicolas Markey, Jean-François Raskin: Model Checking Restricted Sets of Timed Paths. CONCUR 2004: 432-447
12		Nicolas Markey, Ph. Schnoebelen: Symbolic Model Checking for Simply-Timed Systems. FORMATS/FTRTFT 2004: 102-117
11		Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133
10		Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor: Non-deterministic Temporal Logics for General Flow Systems. HSCC 2004: 280-295
9		Nicolas Markey, Ph. Schnoebelen: TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. QEST 2004: 330-331
8		Nicolas Markey: Past is for free: on the complexity of verifying linear temporal properties with past. Acta Inf. 40(6-7): 431-458 (2004)
7		Nicolas Markey, Ph. Schnoebelen: A PTIME-complete matching problem for SLP-compressed words. Inf. Process. Lett. 90(1): 3-6 (2004)
	2003
6		Nicolas Markey, Ph. Schnoebelen: Model Checking a Path. CONCUR 2003: 248-262
5		Nicolas Markey: Temporal logic with past is exponentially more succinct, Concurrency Column. Bulletin of the EATCS 79: 122-128 (2003)
	2002
4		François Laroussinie, Nicolas Markey, Ph. Schnoebelen: On Model Checking Durational Kripke Structures. FoSSaCS 2002: 264-279
3		François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Temporal Logic with Forgettable Past. LICS 2002: 383-392
2		Nicolas Markey: Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
	2001
1		François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Model Checking CTL+ and FCTL is Hard. FoSSaCS 2001: 318-331

Coauthor Index

1	Nathalie Bertrand	[36]
2	Patricia Bouyer	[15] [18] [20] [21] [23] [25] [26] [29] [31] [33] [35] [36] [37] [38] [39] [41]
3	Thomas Brihaye	[18] [27] [34] [36] [40]
4	Fabrice Chevalier	[15]
5	Vaughan Coulthard	[10]
6	Jennifer M. Davoren	[10]
7	Laurent Doyen	[11] [30]
8	Marie Duflot	[41]
9	Ulrich Fahrenberg	[39]
10	Mohamed Ghannem	[34]
11	François Laroussinie	[1] [3] [4] [14] [17] [22] [24] [27] [28] [32] [40]
12	Kim Guldstrand Larsen	[21] [25] [29] [31] [39]
13	Arnaud Da Costa Lopes	[40]
14	Thomas Moor	[10]
15	Ghassan Oreiby	[22] [24] [27] [28] [32]
16	Joël Ouaknine	[23] [33] [35] [37]
17	Jean-François Raskin	[11] [13] [16] [30]
18	Jacob Illum Rasmussen	[21]
19	Gabriel Renault	[41]
20	Pierre-Alain Reynier	[20] [38]
21	Lionel Rieg	[34]
22	Ph. Schnoebelen	[1] [3] [4] [6] [7] [9] [12] [14] [17] [19] [33] [35]
23	Jirí Srba	[39]
24	James Worrell	[23] [33] [35] [37]
25	Martin De Wulf	[11] [30]

Colors in the list of coauthors