Knowledge Tree

researcher / Fatiha Zaïdi

Fatiha Zaïdi

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Contribution à la génération de tests pour les composants de service. Application aux services de réseau intelligent

Directed Thesis:

Attack tolerance for services-based applications in the Cloud

Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles

Inférence d'invariants pour le model checking de systèmes paramétrés

A symbolic approach for the verification and the test of service choreographies

Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes

Modélisation et test fonctionnel de l'orchestration de services Web