The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nicolas Markey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. François Laroussinie, Nicolas Markey, Ph. Schnoebelen
    Model Checking Timed Automata with One or Two Clocks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:387-401 [Conf]
  2. Nicolas Markey, Jean-François Raskin
    Model Checking Restricted Sets of Timed Paths. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:432-447 [Conf]
  3. Nicolas Markey, Ph. Schnoebelen
    Model Checking a Path. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:248-262 [Conf]
  4. Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin
    Robustness and Implementability of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:118-133 [Conf]
  5. François Laroussinie, Nicolas Markey, Ghassan Oreiby
    Model-Checking Timed. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:245-259 [Conf]
  6. Nicolas Markey, Ph. Schnoebelen
    Symbolic Model Checking for Simply-Timed Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:102-117 [Conf]
  7. François Laroussinie, Nicolas Markey, Ph. Schnoebelen
    Model Checking CTL+ and FCTL is Hard. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:318-331 [Conf]
  8. François Laroussinie, Nicolas Markey, Ph. Schnoebelen
    On Model Checking Durational Kripke Structures. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:264-279 [Conf]
  9. Patricia Bouyer, Fabrice Chevalier, Nicolas Markey
    On the Expressiveness of TPTL and MTL. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:432-443 [Conf]
  10. Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey, Jacob Illum Rasmussen
    Almost Optimal Strategies in One Clock Priced Timed Games. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:345-356 [Conf]
  11. Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor
    Non-deterministic Temporal Logics for General Flow Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:280-295 [Conf]
  12. Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier
    Robust Model-Checking of Linear-Time Properties in Timed Automata. [Citation Graph (0, 0)][DBLP]
    LATIN, 2006, pp:238-249 [Conf]
  13. François Laroussinie, Nicolas Markey, Ph. Schnoebelen
    Temporal Logic with Forgettable Past. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:383-392 [Conf]
  14. Nicolas Markey, Ph. Schnoebelen
    TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:330-331 [Conf]
  15. Nicolas Markey
    Past is for free: on the complexity of verifying linear temporal properties with past. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2004, v:40, n:6-7, pp:431-458 [Journal]
  16. Nicolas Markey
    Temporal logic with past is exponentially more succinct, Concurrency Column. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2003, v:79, n:, pp:122-128 [Journal]
  17. Nicolas Markey
    Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  18. Nicolas Markey, Ph. Schnoebelen
    A PTIME-complete matching problem for SLP-compressed words. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:90, n:1, pp:3-6 [Journal]
  19. Nicolas Markey, Ph. Schnoebelen
    Mu-calculus path checking. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:97, n:6, pp:225-230 [Journal]
  20. Patricia Bouyer, Thomas Brihaye, Nicolas Markey
    Improved undecidability results on weighted timed automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:5, pp:188-194 [Journal]
  21. François Laroussinie, Nicolas Markey, Ph. Schnoebelen
    Efficient timed model checking for discrete-time systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:249-271 [Journal]
  22. Nicolas Markey, Jean-François Raskin
    Model checking restricted sets of timed paths. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:358, n:2-3, pp:273-292 [Journal]
  23. Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby
    Timed Concurrent Game Structures. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:445-459 [Conf]
  24. Patricia Bouyer, Nicolas Markey
    Costs Are Expensive! [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:53-68 [Conf]
  25. François Laroussinie, Nicolas Markey, Ghassan Oreiby
    On the Expressiveness and Complexity of ATL. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:243-257 [Conf]
  26. Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey
    Model-Checking One-Clock Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:108-122 [Conf]
  27. Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell
    The Cost of Punctuality. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:109-120 [Conf]

  28. Measuring Permissivity in Finite Games. [Citation Graph (, )][DBLP]


  29. Nash Equilibria for Reachability Objectives in Multi-player Timed Games. [Citation Graph (, )][DBLP]


  30. Infinite Runs in Weighted Timed Automata with Energy Constraints. [Citation Graph (, )][DBLP]


  31. Robust Analysis of Timed Automata via Channel Machines. [Citation Graph (, )][DBLP]


  32. Timed automata with observers under energy constraints. [Citation Graph (, )][DBLP]


  33. On Expressiveness and Complexity in Real-Time Model Checking. [Citation Graph (, )][DBLP]


  34. ATL with Strategy Contexts and Bounded Memory. [Citation Graph (, )][DBLP]


  35. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. [Citation Graph (, )][DBLP]


  36. On Termination for Faulty Channel Machines. [Citation Graph (, )][DBLP]


  37. Good Friends are Hard to Find! [Citation Graph (, )][DBLP]


  38. On Termination for Faulty Channel Machines [Citation Graph (, )][DBLP]


  39. On the Expressiveness and Complexity of ATL [Citation Graph (, )][DBLP]


  40. Model Checking One-clock Priced Timed Automata [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002