6LoWPAN  802.15.4  Accès multiple par répartition dans le temps  Adversaire cyber-physique  Algorithmes de streaming  Algorithmes intelligents  Analyse des traces  Analyse informatique  Applications Web  Applications opportunistes  Applications web  Apprentissage Automatique  Architecture client-serveur  Architecture des réseaux d'ordinateurs  Architecture orientée services  Attaque de routage  Automate temporisé  Autonomique  BigData  Bluetooth  Bluetooth  C  Cloud Computing  CoAPS  Collecte des traces  Commande, Théorie de la  Commutation de paquets  Composition de services web  Concurrence  Condition de détection de vulnérabilité  Confiance  Conformité  Consommation énergétique  Contrats électronique  Contrôle d'accès basé sur l'organisation  Coopération  Criticité  Crédibilité  Cyberdéfense  DI-OrBAC  DTN  Design patterns  Données massives  Dynamique  Détection automatique  Détection d'intrusion  Détection d’attaques  Equité  Essais  Essais  Exécution symbolique  Formalisme  Formation en ligne  Gestion de la confiance  Génie logiciel  Génération de cas de test  Génération de cas de test temporisé  Génération de test  IEEE 802.15.4  IMS  IOSTS  IOrBAC  IPv6  Impôt  Ims  Information Réseaux Orientés Information  Informatique  Informatique autonome  Informatique dans les nuages  Informatique mobile  Infrastructures critiques  Infrastructures d'informations critiques  Inférence de modèles  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Injection de fautes  Interconnexion de réseaux  Interfonctionnement de protocoles  Internet -- Logiciels  Internet  Internet des objets  Interopérabilité  Invariants  Langages de programmation  Langages formels  Logiciels -- Compatibilité  Logiciels -- Essais  Logique temporelle  Lte-A  Machine temporisée à états finis  Machine virtuelle  Machine à états finis étendues temporisés  Machines séquentielles, Théorie des  Marches aléatoires  Marches aléatoires  Model checking  Modèle OrBAC  Modèle d’adversaire  Modèles formels  Modélisation  Modélisation intégratrice  Monitorage  Monitorage de réseaux distribués  Monitoring  Méthodes de streaming adaptatif  Méthodes formelles  Méthodes subjectives  Niveaux d'intégrité  Optimisation  Optimisation multi critères  Orchestration  Orchestration de services web  Ordinateurs -- Accès -- Contrôle  Ordonnancement  Ordre partiel causal  PPP  Plan de connaissance  Politique de sécurité  Protocole  Protocole de routage  Protocoles de réseaux d'ordinateurs  QdE  QdS  Qualité d'affaires  Qualité d'expérience  Qualité d'expérience  Qualité de Service  Qualité de service  Qualité d’Expérience  Qualité d’expérience  Radiocommunications mobiles  Raisonnement par cas  Raisonnement à base de cas  Relation d'implantation  Responsabilisation  Responsabilité  Routage  Routage  Routage et acheminement  Routage informatique  Routeurs  Règles de sécurité  Réaction, Temps de  Réduction de l’énergie  Réseau de télécommunication  Réseau sans fil  Réseau tolérant aux délais  Réseaux Ad hoc  Réseaux Orientés Contenus  Réseaux ad hoc  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux d'ordinateurs  Réseaux de capteurs  Réseaux de capteurs  Réseaux de processus  Réseaux de télécommunication  Réseaux locaux industriels  Réseaux locaux sans fil  Réseaux maillés sans fil  Réseaux opportuniste  Réseaux temporelles  Réseaux électriques intelligents  SDL  SIP  SIP  SMT solver  SOA  Service IMS  Service Web  Services  Services Multimédia  Services OTT  Services Web  Services mobiles de données  Services web  Simulation, Méthodes de  Slicing des traces d'exécution  SmartGrid  Solveurs  Supervision de réseaux  Surveillance  Surveillance de sécurité  Surveillance électronique  Synchronisation  SysML  SysML  Système autonome  Système de production  Système de transitions  Systèmes de télécommunications  Systèmes informatiques -- Mesures de sûreté  Sécurité  Temps réel  Test actif  Test de conformité  Test passif  Tests  Tests fonctionnels  Thèses et écrits académiques  Télécommunications  UML  

Ana Cavalli a dirigé les 39 thèses suivantes :

Réseaux, information et communications
Soutenue le 19-09-2016
Thèse soutenue

Réseaux informatiques
Soutenue le 10-02-2011
Thèse soutenue

Informatique
Soutenue en 2001
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue


Ana Cavalli a été président de jury des 3 thèses suivantes :

Réseaux, Télécommunications, Systèmes et Architecture
Soutenue le 06-12-2016
Thèse soutenue

Ana Cavalli a été rapporteur des 7 thèses suivantes :

Réseaux, Télécommunications, Systèmes et Architecture
Soutenue le 23-04-2016
Thèse soutenue
Informatique
Soutenue le 16-12-2011
Thèse soutenue
Informatique
Soutenue le 06-12-2010
Thèse soutenue

Ana Cavalli a été membre de jury des 2 thèses suivantes :