Farid Ouabdesselam

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
From diagnosis to diagnosability: axiomatization, measurement and application.
J. Syst. Softw., 2003

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.
Proceedings of the Synchronous Languages, Applications and Programming, 2003

An Environment for Interactive Service Specification.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

2000
Feature interaction detection using a synchronous approach and testing.
Comput. Networks, 2000

Analyzing Testability on Data Flow Designs.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

1999
Lutess: A Specification-Driven Testing Environment for Synchronous Software.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1998
Lutess: a testing environment for synchronous software.
Proceedings of the International Workshop Tool Support for System Specification, 1998

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

Expressing and implementing operational profiles for reactive software validation.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Incremental Feature Validation: a Synchronous Point of View.
Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1996
Specification-based Testing of Synchronous Software.
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

1995
Constructing operational profiles for synchronous critical software.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Testing Techniques for Data-Flow Synchronous Programs.
Proceedings of the Second International Workshop on Automated Debugging, 1995

1994
Testing synchronous critical software.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1989
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1985
Prolog avec égalité.
Proceedings of the SPLT'85, 1985

1980
Système de déduction automatique : application à la construction de programmes.
PhD thesis, 1980

1974
S. V. P., Un système interactif pour la validation et la préparation de programmes.
Proceedings of the Programming Symposium, 1974


  Loading...