Accélérateur matériel  Analyse  Architecture  Architecture des ordinateurs  Architecture reconfigurable  Assertion  CAO électronique  Calcul  Calcul distribué  Calcul en périphériques  Chiffrement homomorphe  Circuits intégrés -- Conception assistée par ordinateur  Circuits intégrés -- Simulation par ordinateur  Circuits intégrés  Circuits intégrés numériques  Circuits prédiffusés  Cloud  Communication  Compatibilité des bitstreams  Composants électroniques  Compression  Conception assistée par ordinateur  Conception orientée objet  Conception orientée objets  Configuration  Contexte  Copule  Cryptographie  Debug  Distribué  Dsml  Débogage  Décision en ligne  Détection d'anomalies  Détection des anomalies  Embarqué  Erreur  Erreurs  Exploration de l’espace de conception  FPGA  Fiabilité  Fiabilité de données  Flot de contrôle  Fpga  Gestion des zones reconfigurables  Gnu  H-mpsocs  HLS  Hétérogène  Informatique dans les nuages  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Ingénierie système  Internet des objets  Mbse  Microélectronique  Migration de tâches matérielles  Model-based systems engineering  Modèles mathématiques  Modélisation  Modélisation objet  Moniteur  Moniteur sur puce  Multiprocesseurs  Mécanismes de communication  Méthodes formelles  NOC  Nanotechnologie  Noeuds capteurs défaillants  Noeuds frontières  Objets distribués  Ordonnancement  Ordonnancement de tâches matérielles  Ordonnancement des tâches  Overlay FPGA  Processeur  Programmable  Propriété formelle  Propriétés  Prévision, Théorie de la  Rapport  Reconfiguration  Réseaux de capteurs  Réseaux de capteurs sans fil  Réseaux logiques programmables  Réseaux logiques programmables par l'utilisateur  Rôles  Simulation  Simulation, Méthodes de  Smalltalk  Solveurs  Symbolique  Synthèse  Synthèse de haut niveau  Synthèse de haut niveau  Synthèse haut niveau  Synthèse physique  Système de systèmes  Systèmes adaptatifs  Systèmes embarqués  Systèmes sur puce  Systèmes, Conception de  Sémantique opérationnelle  Temps réel  Virtualisation matérielle  Vérification  Vérification de propriété  

Loïc Lagadec a rédigé la thèse suivante :


Loïc Lagadec a dirigé les 7 thèses suivantes :


Loïc Lagadec a été président de jury des 3 thèses suivantes :


Loïc Lagadec a été rapporteur des 6 thèses suivantes :

Nanoélectronique et nanotechnologie
Soutenue le 13-03-2014
Thèse soutenue
STIC (sciences et technologies de l'information et de la communication) - Cergy
Soutenue le 13-06-2013
Thèse soutenue