dblp.uni-trier.dewww.uni-trier.de

Farid Ouabdesselam

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004
12EELydie 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
10EEYves 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
9EEYves Le Traon, Farid Ouabdesselam, Chantal Robach: Analyzing Testability on Data Flow Designs. ISSRE 2000: 162-173
8EELydie 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
7EELydie 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
5EEIoannis 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

Coauthor Index

1B. Amy [1]
2Benoit Baudry [10]
3Karim Berkani [11]
4Lydie du Bousquet [6] [7] [8] [12]
5Rémy Cave [11]
6Sophie Coudert [11]
7Pascale Le Gall [11]
8A.-C. Glory [3]
9Nicolas Halbwachs [3]
10Francis Klay [11]
11Ioannis Parissis [4] [5]
12Daniel Pilaud [3]
13Jean-Luc Richier [6] [7] [8] [11] [12]
14Chantal Robach [9] [10]
15Yves Le Traon [9] [10]
16Nicolas Zuanon [6] [7] [8] [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)