ABV  Algorithmes  Analyse de la trace d'exécution  Analyse des exigences  Analyse dynamique  Analyse temporelle  Appareils électroniques -- Protection  Apprentissage profond  Arbres de Merkle  Architecture  Architecture des ordinateurs  Architecture matérielle  Architectures  Assertion-Based Verification  Attaques par rejeu  Capacité de traitement  Cartes à mémoire  Circuits intégrés à la demande  Circuits électroniques  Cloud  Co-conception matérielle/logicielle  Codage  Code source  Codes de contrôle à parité de faible intensité  Confidentialité  Consommation d'énergie  Cryptographie  Cybercriminalité  Décodage itératif  Exploration d'architecture  Exécution symbolique  FPGAs  Flot de données  Gestion mémoire  Graphes de dépendance  Ingénierie des modèles  Ingénierie dirigée par les modèles  Intelligence Artificielle  JavaCard  Logiciels -- Vérification  Matériel  Mesures de sûreté  Mémoire  Mémoire cache  Méthodes formelles  Ordonnancement  Ordonnancement  Partitionnement materiel/logiciel  Pirates informatiques  Programmation par contraintes  Radio logicielle  Réseaux ad hoc de véhicules  Réseaux logiques programmables par l'utilisateur  SDR  Satisfiability Modulo Theories  Simulation  SoC  SoCLib  SysML  SysML  SystemC  Systèmes de communication sans fil  Systèmes désagrégés  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes sur puce  Systèmes virtuels  Sécurité  Sécurité embarquée  TLM  Test  UML / SysML  UML  Validation et vérification  Virtualisation  Vision artificielle  Vérification  ZedBoard  

Renaud Pacalet dirige actuellement la thèse suivante :


Renaud Pacalet a dirigé les 12 thèses suivantes :

Electronique et communications
Soutenue en 2011
Thèse soutenue

Electronique et communications
Soutenue en 2010
Thèse soutenue


Renaud Pacalet a été président de jury de la thèse suivante :

Sciences et technologie industrielles
Soutenue le 11-07-2011
Thèse soutenue

Renaud Pacalet a été membre de jury des 6 thèses suivantes :

Electronique et Communications
Soutenue le 04-10-2012
Thèse soutenue