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

Search the dblp DataBase

Title:
Author:
Olivier Roux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Olivier Roux, Cyril Fonlupt, Denis Robilliard
    Co-operative Improvement for a Combinatorial Optimization Algorithm. [Citation Graph (0, 0)][DBLP]
    Artificial Evolution, 1999, pp:231-241 [Conf]
  2. Michaël Adélaïde, Olivier Roux
    A Class of Decidable Parametric Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:132-146 [Conf]
  3. Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez
    Effective Recognizability and Model Checking of Reactive Fiffo Automata. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:106-123 [Conf]
  4. Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales
    Execution Environment for ELECTRE Applications. [Citation Graph (0, 0)][DBLP]
    ESEC, 1991, pp:147-165 [Conf]
  5. Michaël Adélaïde, Olivier Roux
    Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:252-263 [Conf]
  6. Martin Richard, Olivier Roux
    An Attempt to Confront Asynchronous Reality to Synchronous Modelization in the ESTEREL Language. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:429-450 [Conf]
  7. Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu
    Analysis of Slope-Parametric Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:75-80 [Conf]
  8. Olivier Roux, Vlad Rusu
    Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:405-416 [Conf]
  9. El-Ghazali Talbi, Olivier Roux, Cyril Fonlupt, Denis Robilliard
    Parallel Ant Colonies for Combinatorial Optimization Problems. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1999, pp:239-247 [Conf]
  10. Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre
    Verification of Embedded Reactive Fiffo Systems. [Citation Graph (0, 0)][DBLP]
    LATIN, 2002, pp:400-414 [Conf]
  11. Olivier Roux, Vlad Rusu
    Uniformity for the Decidability of Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:301-316 [Conf]
  12. Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux
    Extending the Translation from SDL to Promela. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:79-94 [Conf]
  13. J. P. Elloy, Olivier Roux
    Electre: A Language for Control Structuring in Real Time. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1986, v:29, n:3, pp:229-234 [Journal]
  14. Olivier Roux, Vlad Rusu, Franck Cassez
    Hybrid Verifications of Reactive Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:4, pp:448-471 [Journal]
  15. Jean Bézivin, Olivier Roux, Jean-Claude Royer
    Teaching object-oriented programming or using the object model to teach software engineering. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1993, v:4, n:2, pp:269-276 [Journal]
  16. Olivier Roux
    Another proposal for a concurrency control level in concurrent object-oriented languages. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1991, v:2, n:2, pp:104-108 [Journal]
  17. Frédéric Herbreteau, Franck Cassez, Olivier Roux
    Application of Partial-Order Methods to Reactive Programs with Event Memorization. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2001, v:20, n:3, pp:287-316 [Journal]
  18. Armelle Prigent, Olivier Roux
    Testing Real-Time Parameterized Systems. [Citation Graph (0, 0)][DBLP]
    Stud. Inform. Univ., 2004, v:3, n:2, pp:193-253 [Journal]
  19. Franck Cassez, Olivier Roux
    Compilation of the ELECTRE Reactive Language into Finite Transition Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:109-143 [Journal]
  20. Jean Perraud, Olivier Roux, Marc Huou
    Operational Semantics of a Kernel of the Language ELECTRE. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:97, n:1, pp:83-103 [Journal]
  21. Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier Roux
    Semantics of Biological Regulatory Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:3, pp:3-14 [Journal]

  22. Splitting reachability analysis in hybrid automata. [Citation Graph (, )][DBLP]


  23. Invariance Kernel of Biological Regulatory Networks. [Citation Graph (, )][DBLP]


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