The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olivier H. Roux: [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. 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]
  5. Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
    Using Zone Graph Method for Computing the State Space of a Time Petri Net. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:246-259 [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. Franck Cassez, Olivier H. Roux
    Structural Translation from Time Petri Nets to Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:145-160 [Journal]
  9. 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]
  10. Franck Cassez, Claire Pagetti, Olivier H. Roux
    A Timed Extension for ALTARICA. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:62, n:3-4, pp:291-332 [Journal]
  11. Franck Cassez, Olivier H. Roux
    Structural translation from Time Petri Nets to Timed Automata. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:10, pp:1456-1468 [Journal]
  12. Guillaume Gardey, Olivier H. Roux, Olivier F. Roux
    State space computation and analysis of Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:3, pp:301-320 [Journal]
  13. M. Boyer, Olivier H. Roux
    Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:63-82 [Conf]
  14. Guillaume Gardey, John Mullins, Olivier H. Roux
    Non-Interference Control Synthesis for Security Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:35-53 [Journal]
  15. El-Ghazali Talbi, Olivier H. Roux, Cyril Fonlupt, D. Robillard
    Parallel Ant Colonies for the quadratic assignment problem. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2001, v:17, n:4, pp:441-449 [Journal]
  16. 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]

  17. Time Arc Petri Nets and Their Analysis. [Citation Graph (, )][DBLP]


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


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


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


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


  22. A Study of the AADL Mode Change Protocol. [Citation Graph (, )][DBLP]


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


  24. Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. [Citation Graph (, )][DBLP]


  25. State Space Computation and Analysis of Time Petri Nets [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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