F. Ouabdesselam

Publications

232

Citations

H-Index

1996

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Laboratoire de Conception et d'Intégration des Systèmes

Translational Innovation in Medicine and Complexity

F. Ouabdesselam is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, computer science, and software testing.

Top concepts

EngineeringComputer ScienceSoftware TestingFormal MethodsSystem SoftwareProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

1996–2003

Publications

Lutess

Lydie du Bousquet, F. Ouabdesselam, Jean-Luc Richier et al. · 1999 · 66 citations · Full text

Specification-based testing of synchronous software

Ioannis Parissis, F. Ouabdesselam · 1996 · 39 citations

Software Maintenance, Engineering, Verification +22

Testing synchronous critical software

F. Ouabdesselam, Ioannis Parissis · 2002 · 27 citations

Software Maintenance, Engineering, Verification +23

Analyzing testability on data flow designs

Yves Le Traon, F. Ouabdesselam, C. Robach · 2002 · 26 citations

Software Maintenance, Engineering, Verification +24

Constructing operational profiles for synchronous critical software

F. Ouabdesselam, Ioannis Parissis · 2002 · 23 citations

Software Maintenance, Event-driven Architecture, Engineering +22

Rows per page

1–5 of 9