Farid Ouabdesselam

18 papers A* 1A 5Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2003 — conf
An Environment for Interactive Service Specification.
FIW
Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
2003 J jnl
From diagnosis to diagnosability: axiomatization, measurement and application.
J. Syst. Softw.
Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry
2003 — conf
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.
SLAP
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
2000 A conf
Analyzing Testability on Data Flow Designs.
ISSRE
Yves Le Traon, Farid Ouabdesselam, Chantal Robach
2000 J jnl
Feature interaction detection using a synchronous approach and testing.
Comput. Networks
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
1999 A* conf
Lutess: A Specification-Driven Testing Environment for Synchronous Software.
ICSE
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
1998 A conf
Expressing and implementing operational profiles for reactive software validation.
ISSRE
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier
1998 — conf
Incremental Feature Validation: a Synchronous Point of View.
FIW
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
1998 — conf
Lutess: a testing environment for synchronous software.
Tool Support for System Specification, Development and Verification
Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon
1998 A conf
Software diagnosability.
ISSRE
Yves Le Traon, Farid Ouabdesselam, Chantal Robach
1996 — conf
Specification-based Testing of Synchronous Software.
SIGSOFT FSE
Ioannis Parissis, Farid Ouabdesselam
1995 A conf
Constructing operational profiles for synchronous critical software.
ISSRE
Farid Ouabdesselam, Ioannis Parissis
1995 — conf
Testing Techniques for Data-Flow Synchronous Programs.
AADEBUG
Farid Ouabdesselam, Ioannis Parissis
1994 A conf
Testing synchronous critical software.
ISSRE
Farid Ouabdesselam, Ioannis Parissis
1989 — conf
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.
Automatic Verification Methods for Finite State Systems
Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory
1985 — conf
Prolog avec égalité.
SPLT
Farid Ouabdesselam
1980 — —
Système de déduction automatique : application à la construction de programmes.
Farid Ouabdesselam
1974 — conf
S. V. P., Un système interactif pour la validation et la préparation de programmes.
Symposium on Programming
B. Amy, Farid Ouabdesselam