The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Didier Lime: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Olivier H. Roux, Didier Lime
    Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:371-390 [Conf]
  2. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
    Comparison of Different Semantics for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:293-307 [Conf]
  3. Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux
    Romeo: A Tool for Analyzing Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:418-423 [Conf]
  4. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
    Efficient On-the-Fly Algorithms for the Analysis of Timed Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:66-80 [Conf]
  5. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
    Comparison of the Expressiveness of Timed Automata and Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:211-225 [Conf]
  6. Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux
    When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:273-284 [Conf]
  7. Didier Lime, Olivier H. Roux
    A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:187-196 [Conf]
  8. Morgan Magnin, Didier Lime, Olivier H. Roux
    An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:59-77 [Journal]
  9. Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
    Timed Control with Observation Based and Stuttering Invariant Strategies. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:192-206 [Conf]
  10. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
    UPPAAL-Tiga: Time for Playing Games! [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:121-125 [Conf]
  11. Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
    Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. [Citation Graph (0, 0)][DBLP]
    Discrete Event Dynamic Systems, 2007, v:17, n:2, pp:133-158 [Journal]

  12. Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). [Citation Graph (, )][DBLP]


  13. Symbolic Unfolding of Parametric Stopwatch Petri Nets. [Citation Graph (, )][DBLP]


  14. Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. [Citation Graph (, )][DBLP]


  15. Synthesis of Non-Interferent Timed Systems. [Citation Graph (, )][DBLP]


  16. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002