Analyse combinatoire  Analyse de robustesse  Apprentissage machine  Apprentissage supervisé  Assembleur  Attaques en faute  Attaques par injection de fautes  Automates mathématiques, Théorie des  Automates temporisés paramétrés  Automates temporisés probabilistes  Calcul des propositions  Chemins asynchrones  Chiffrement  Circuits d'horloge  Circuits intégrés numériques  Cloud computing  Codage  Compilation  Compilation  Composition par contraintes  Contre-Mesures vérifiées  Coq  Dynamique holomorphe  Détection des anomalies  Exploration de données  Fiabilité  Financement de l'innovation  Flot de vérification  Flots  Fonction de routage  Fouille de données  Graphe de dépencance  Graphes de flot de contrôle  Hyperviseur  Informatique -- Appareils et matériel  Informatique dans les nuages  Injection électromagnétique  Interblocage  Langages de programmation  Logiciels -- Vérification  Logique temporelle  Mesures de sûreté  Modèle de calcul  Modèle de fautes  Modèle formel  Mémoire  Mémoires flash  Méthodes formelles  Méthodes formelles  Méthodologies  NUMA  NUMA  Outil  Outils  Partitionnement  Partitionnement de graphes  Processeurs  Programmation  Programmation Réactive  Programmation par contraintes  Programmation spatio-temporelle  Programmation sur Internet  Programmation synchrone  Propriétés linéaires  Protection de l'information  Protocoles de c ommunication  Prototypage  Prototypage virtuel  Raffinement formel  Rupture de symétrie dynamique  Rupture de symétrie statique  Réduction de dimension  Réduction par symétrie  Réseau sur puce  Réseaux d'ordinateurs  Résolution de problème -- Informatique  SAT  Satisfaisabilité booléenne  Saut d'instruction  Sclérose latérale amyotrophique  Simulation  Simulation, Méthodes de  Solveurs linéaires parallèles  Stratégie d'exploration  Synchrone  Synthèse de paramètres  Systemc  Système  Système hétérogène  Système multidisciplinaire  Système sur puce  Systèmes de commande  Systèmes de détection d'intrusion  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes virtuels  Systèmes, Conception de  Sécurité  Temps réel  Treillis  Treillis, Théorie des  Virtualisation  Vulnérabilités  Vérification  Vérification de circuits  Vérification formelle  Vérification matérielle  Web  Wormhole  Électronique numérique  

Emmanuelle Encrenaz a rédigé la thèse suivante :


Emmanuelle Encrenaz dirige actuellement la thèse suivante :

Electronique, microelectronique, optique et lasers, optoelectronique microondes robotique
En préparation depuis le 23-09-2016
Thèse en préparation


Emmanuelle Encrenaz a dirigé les 6 thèses suivantes :


Emmanuelle Encrenaz a été président de jury des 4 thèses suivantes :


Emmanuelle Encrenaz a été rapporteur de la thèse suivante :


Emmanuelle Encrenaz a été membre de jury des 3 thèses suivantes :

Informatique
Soutenue le 08-03-2018
Thèse soutenue