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