The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Farid Ouabdesselam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Farid Ouabdesselam, Ioannis Parissis
    Testing Techniques for Data-Flow Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:249-260 [Conf]
  2. Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory
    Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:213-231 [Conf]
  3. Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
    An Environment for Interactive Service Specification. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:25-41 [Conf]
  4. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
    Incremental Feature Validation: a Synchronous Point of View. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:262-275 [Conf]
  5. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
    Lutess: A Specification-Driven Testing Environment for Synchronous Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:267-276 [Conf]
  6. Yves Le Traon, Farid Ouabdesselam, Chantal Robach
    Analyzing Testability on Data Flow Designs. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:162-173 [Conf]
  7. Farid Ouabdesselam
    Prolog avec égalité. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
  8. B. Amy, Farid Ouabdesselam
    S. V. P., Un système interactif pour la validation et la préparation de programmes. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:41-58 [Conf]
  9. Ioannis Parissis, Farid Ouabdesselam
    Specification-based Testing of Synchronous Software. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:127-134 [Conf]
  10. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
    Feature interaction detection using a synchronous approach and testing. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2000, v:32, n:4, pp:419-431 [Journal]
  11. Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry
    From diagnosis to diagnosability: axiomatization, measurement and application. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:65, n:1, pp:31-50 [Journal]

  12. Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. [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