Search the dblp DataBase

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]