Farid Ouabdesselam

According to our database, Farid Ouabdesselam authored at least 18 papers between 1974 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

From diagnosis to diagnosability: axiomatization, measurement and application.

Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry

J. Syst. Softw., 2003

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Proceedings of the Synchronous Languages, Applications and Programming, 2003

An Environment for Interactive Service Specification.

Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2000

Feature interaction detection using a synchronous approach and testing.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Comput. Networks, 2000

Analyzing Testability on Data Flow Designs.

Yves Le Traon, Farid Ouabdesselam, Chantal Robach

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

1999

Lutess: A Specification-Driven Testing Environment for Synchronous Software.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Lutess: a testing environment for synchronous software.

Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon

Proceedings of the International Workshop Tool Support for System Specification, 1998

Software diagnosability.

Yves Le Traon, Farid Ouabdesselam, Chantal Robach

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Expressing and implementing operational profiles for reactive software validation.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Incremental Feature Validation: a Synchronous Point of View.

Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1996

Specification-based Testing of Synchronous Software.

Ioannis Parissis, Farid Ouabdesselam

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

1995

Constructing operational profiles for synchronous critical software.

Farid Ouabdesselam, Ioannis Parissis

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Testing Techniques for Data-Flow Synchronous Programs.

Farid Ouabdesselam, Ioannis Parissis

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Testing synchronous critical software.

Farid Ouabdesselam, Ioannis Parissis

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1989

Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.

Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1985

Prolog avec égalité.

Farid Ouabdesselam

Proceedings of the SPLT'85, 1985

1980

Système de déduction automatique : application à la construction de programmes.

Farid Ouabdesselam

PhD thesis, 1980

1974

S. V. P., Un système interactif pour la validation et la préparation de programmes.

B. Amy, Farid Ouabdesselam

Proceedings of the Programming Symposium, 1974