dblp.uni-trier.dewww.uni-trier.de

Nicolas Markey Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)