S. V. P., Un système interactif pour la validation et la préparation de programmes. - B. Amy; Farid Ouabdesselam (Symposium on Programming, 1974)

Système de déduction automatique : application à la construction de programmes. - Farid Ouabdesselam (1980)

Prolog avec égalité. - Farid Ouabdesselam (SPLT, 1985)

Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. - Nicolas Halbwachs; Daniel Pilaud; Farid Ouabdesselam; Anne-Cecile Glory (Automatic Verification Methods for Finite State Systems, 1989)

Testing synchronous critical software. - Farid Ouabdesselam; Ioannis Parissis (ISSRE, 1994)

Testing Techniques for Data-Flow Synchronous Programs. - Farid Ouabdesselam; Ioannis Parissis (AADEBUG, 1995)

Constructing operational profiles for synchronous critical software. - Farid Ouabdesselam; Ioannis Parissis (ISSRE, 1995)

Specification-based Testing of Synchronous Software. - Ioannis Parissis; Farid Ouabdesselam (SIGSOFT FSE, 1996)

Incremental Feature Validation: a Synchronous Point of View. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (FIW, 1998)

Expressing and implementing operational profiles for reactive software validation. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier (ISSRE, 1998)

Software diagnosability. - Yves Le Traon; Farid Ouabdesselam; Chantal Robach (ISSRE, 1998)

Lutess: a testing environment for synchronous software. - Lydie du Bousquet; Farid Ouabdesselam; Ioannis Parissis; Jean-Luc Richier; Nicolas Zuanon (Tool Support for System Specification, Development and Verification, 1998)

Lutess: A Specification-Driven Testing Environment for Synchronous Software. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (ICSE, 1999)

Analyzing Testability on Data Flow Designs. - Yves Le Traon; Farid Ouabdesselam; Chantal Robach (ISSRE, 2000)

Feature interaction detection using a synchronous approach and testing. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (Comput. Networks, 2000)

An Environment for Interactive Service Specification. - Karim Berkani; Rémy Cave; Sophie Coudert; Francis Klay; Pascale Le Gall; Farid Ouabdesselam; Jean-Luc Richier (FIW, 2003)

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (SLAP, 2003)

From diagnosis to diagnosability: axiomatization, measurement and application. - Yves Le Traon; Farid Ouabdesselam; Chantal Robach; Benoit Baudry (J. Syst. Softw., 2003)