Farid Ouabdesselam

Publication Activity (10 Years)

Years Active: 1974-2004
Publications (10 Years): 0

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. Electron. Notes Theor. Comput. Sci. 88 (2004)
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)
Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry
From diagnosis to diagnosability: axiomatization, measurement and application. J. Syst. Softw. 65 (1) (2003)
Yves Le Traon, Farid Ouabdesselam, Chantal Robach
Analyzing Testability on Data Flow Designs. ISSRE (2000)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Feature interaction detection using a synchronous approach and testing. Comput. Networks 32 (4) (2000)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Lutess: A Specification-Driven Testing Environment for Synchronous Software. ICSE (1999)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier
Expressing and implementing operational profiles for reactive software validation. ISSRE (1998)
Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon
Lutess: a testing environment for synchronous software. Tool Support for System Specification, Development and Verification (1998)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Incremental Feature Validation: a Synchronous Point of View. FIW (1998)
Yves Le Traon, Farid Ouabdesselam, Chantal Robach
Software diagnosability. ISSRE (1998)
Ioannis Parissis, Farid Ouabdesselam
Specification-based Testing of Synchronous Software. SIGSOFT FSE (1996)
Farid Ouabdesselam, Ioannis Parissis
Constructing operational profiles for synchronous critical software. ISSRE (1995)
Farid Ouabdesselam, Ioannis Parissis
Testing Techniques for Data-Flow Synchronous Programs. AADEBUG (1995)
Farid Ouabdesselam, Ioannis Parissis
Testing synchronous critical software. ISSRE (1994)
Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. Automatic Verification Methods for Finite State Systems (1989)
Farid Ouabdesselam
Prolog avec égalité. SPLT (1985)
B. Amy, Farid Ouabdesselam
S. V. P., Un système interactif pour la validation et la préparation de programmes. Symposium on Programming (1974)

Farid Ouabdesselam.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Farid Ouabdesselam