5g  AADL  Agilité  Algorithmes bio-inspirés  Analyse d'impact  Analyse de risques  Analyse des données  Analyse statique  Arbres  Architecture -- Informatique  Association Flux/Interface  Automate temporisé  Automates  Automates temporisés  Automaton  Bogue  Canaux multiutilisateurs  Certification  Chorégraphie  Chorégraphie de services  Cloud  Codage  Cohérence  Cohérence  Compatibilité  Composition de services web  Conformité  Conformité de Modèles  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  Formal monitoring  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'  Informatique -- Recherche  Informatique dans les nuages  Ingénierie dirigée par les modèles  Interchangeabilité  Interconnexion de réseaux  Interfaces  Invariants  Jeux  Jeux non coopératifs  Jeux répétés avec observation imparfaite  Langages de programmation  Langages formels  Logiciels -- Vérification  Logiciels  Machine temporisée à états finis  Machine à états finis étendues temporisés  Machines séquentielles, Théorie des  Model checking  Modèles formels  Monitorage continu  Monitorage fonctionnel  Multihoming  Mémoire faible  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  Partitionnement  Passage de valeurs  Process Mining  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é de service  Qualité d’Expérience  Qualité d’expérience  Réalisabilité  Réflexivité  Réseaux ad hoc  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux sans Fil Hétérogènes  Résolution de problème  SDL  STM  Service Web  Service web  Services OTT  Services Web  Slicing  Spécification des message  Statistique -- Méthodes graphiques  Supervision  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 distribués  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é  Sélection d'Interface Réseau  Temps  Test actif/passif  Test de robustesse  Test en-ligne  Test passif  Test structurel, erreur à l’exécution  Testabilité  Tests  Tests fonctionnels  Tests passifs  Théorie de l’information  Théorie des jeux  Théorie du codage  Théorème Folk  Théorèmes -- Démonstration automatique  Tolérance aux attaques  Traitement réparti  Transformation de modèles  Traçabilité  Télécommunications  Vérification  Vérification de modèles  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 dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 16-08-2021
Thèse en préparation


Fatiha Zaïdi a dirigé les 6 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 10 thèses suivantes :

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