AADL  Agilité  Analyse d'impact  Analyse statique  Arbres  Automate temporisé  Automates  Automates temporisés  Automaton  Bogue  Canaux multiutilisateurs  Certification  Chorégraphie  Chorégraphie de services  Codage  Cohérence  Cohérence  Compatibilité  Composition de services web  Conformité  Contraintes de temps  Contrôle d'accès  Contrôle de puissance  Description d'architecture  Diagnostic  Diagnosticabilité  Diagramme de séquence UML  Déclaration de conformité  Détection d'intrusion  Enforcement à l’exécution  Fausse alarme  Génération de cas de test temporisé  Génération de test  Génération de tests guidée par les alarmes  Information, Théorie de l'  Ingénierie dirigée par les modèles  Interchangeabilité  Interconnexion de réseaux  Invariants  Jeux  Jeux non coopératifs  Jeux répétés avec observation imparfaite  Langages de programmation  Langages formels  Logiciels -- Vérification  Machine temporisée à états finis  Machine à états finis étendues temporisés  Machines séquentielles, Théorie des  Model checking  Modèles formels  Mémoire partagée répartie  Méthodes formelles  Méthodes formelles  Niveaux min-max  Optimisation  Orchestration de services web  Ordinateurs -- Accès -- Contrôle  Outils  Passage de valeurs  Programmation parallèle  Projection  Protocole de cohérence de cache  Protocoles d'affaires  Protocoles de réseaux d'ordinateurs  Qualité d'affaires  Qualité d'expérience  Qualité de Service  Qualité de service  Qualité d’expérience  Réalisabilité  Réseaux d'ordinateurs -- Mesures de sûreté  Résolution de problème -- Logiciels  SDL  STM  Service Web  Service web  Services OTT  Services Web  Slicing  Spécification des message  Statistique -- Méthodes graphiques  Supervision de réseaux  Surveillance de sécurité  Surveillance électronique  Système de transitions symboliques  Système sur puce  Systèmes Distribués  Systèmes de télécommunications  Systèmes informatiques -- Mesures de sûreté  Systèmes paramétrés  Systèmes sur puce  Systèmes à Evénements Discret  Systèmes échantillonnés  Sécurité  Temps  Test actif/passif  Test de robustesse  Test en-ligne  Test passif  Test structurel, erreur à l’exécution  Testabilité  Tests  Tests fonctionnels  Thèses et écrits académiques  Théorie de l’information  Théorie des jeux  Théorie du codage  Théorème Folk  Théorèmes -- Démonstration automatique  Traitement réparti  Transformation de modèles  Traçabilité  Télécommunications  Vérification d’exécution en-ligne  Vérification à l’exécution  WSDL  

Fatiha Zaïdi a rédigé la thèse suivante :


Fatiha Zaïdi a dirigé les 4 thèses suivantes :


Fatiha Zaïdi a été rapporteur des 4 thèses suivantes :

Informatique
Soutenue le 09-01-2012
Thèse soutenue

Fatiha Zaïdi a été membre de jury des 7 thèses suivantes :

Informatique
Soutenue le 06-12-2010
Thèse soutenue