AADL  Algorithme réparti  Algorithmes  Algorithmes distribués  Allocation  Alphabets de grandes tailles  Alphabets infinis  Analyse Pire Cas  Analyse comportemental  Analyse d'atteignabilité  Analyse de performances  Analyse de programmes  Analyse dynamique  Analyse formelle de concepts  Analyse interprocédurale  Analyse statique  Analyse statique de programmes  Analyse temporelle  Anonymat  Appareils électroniques -- Alimentation en énergie  Applications temps réel  Apprentissage automatique  Apprentissage automatique en ligne  Approche par Composants  Argent électronique  Assertions  Assistants de preuve  Augmentation des ressources  Authentification  Auto-stabilisation  Automate  Automates  Automates d'arbre  Automates sur les mots infinis  Automates temporisés  Autostabilisation  Autostabilisation  BIP  Binaire  Carte à puce  Certification  Circuits intégrés analogiques numériques  Circuits électroniques  Classification  Clock gating  Commande en temps réel  Communication  Commutation  Composant  Composants  Composants électroniques  Compositionnel  Conception de hardware  Conception electronique assistée par ordinateur  Contenu des tableaux  Contracts  Contracts et Spécifications  Contrôle de flux d'information  Contrôle distribué  Convergence sûre  Coq  Coq  Correct-par-construction  Correcte par construction  Criminalité informatique  Cryptographie  Des circuits analogiques  Design à base de composants  Domaine abstrait  Dynamique  Ensemble k-dominant  Evaluation de Performance  Evaluation de la performance  Examens  Exploitabilité  Expressions rationnelles  Filtrage  Filtres  Flux d'information  Génération d'invariants  Géométrie algorithmique  Hybride  Inference Statistique  Infrastructures à clés publiques  Injection de fautes  Interférences sur ressources partagées  Interprétation Abstraite  Interprétation abstraite  Invariant  Itération de politiques  K-partitionnement  L'auteur n'a pas fourni de mots-clés en français  La confidentialité  La réputation électronique  La vérifiabilité  La vérification de l’exécution  La vérification formelle  Lambda-calcul  Langages de spécification matériel  Langages formels  Langages rationnels  Langages reguliers  Langages temporisés  Logiciel malveillant  Logiciels -- Exactitude  Logiciels -- Vérification  Logique de séparation  Logique informatique  Logique temporelle  MarQ  Matériel  Mesures de sûreté  Microprocesseurs multi-coeurs  Model checking  Model checking régulier  Modèle calculatoire  Modèle de faute  Modèle haut niveau  Modèle à base de composants  Modèle à taille de mémoire borné  Modèles mathématiques  Modèles transactionnels  Modélisation  Modélisation au Niveau Transactionnel  Modélisation des données  Modélisation des systèmes  Motifs  Mpsoc  Multi-coeur processeurs  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Niveaux d'abstraction  Non-Interference  Non-égalités numériques  Objective Caml  Optimisation  Optimisation mathématique  Optimisation multi-Objectifs  Ordinateurs -- Mémoires  Ordinateurs -- Programmation  Ordonnancement  Ordonnancement  Paradigme time-triggered  Parallélisme  Parallélisme  Partitionnement de graphes  Pointeurs  Polytopes  Polyèdres  Preuve  Preuve de programme  Preuve formelle  Priorités  ProVerif  Processeurs pluri-Cœurs  Procédure de décision  Procédures récursives  Programmation Linéaire Paramétrique  Programmation automatique  Programmation fonctionnelle  Programmation linéaire  Programmation récursive  Propriétés temporelles  Protection de l'information  Protocoles  Protocoles de réseaux d'ordinateurs  QEA  RTL  Recherche opérationnelle  Rewriting  Routage  Route validité  Réduction de consommation  Réseaux ad hoc  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux de capteurs sans fils  Réseaux de communication  Réseaux dynamiques  Résistance aux intrusions  SAT/SMT  SMT  Saisie des données  Satisfiabilité modulo théorie  Structures de données  Surveillance  Système distribué  Systèmes distribués  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes sur puce  Sécurité  Tas  Temps réel  Thèses et écrits académiques  Tolérance aux fautes  Traitement réparti  Vérification  Vérification de modèles  

49 thèses soutenues ayant pour partenaire de recherche Laboratoire Verimag (Grenoble)
Extrait des plus récentes :

Informatique
Soutenue le 28-06-2018
thèse
Mathématiques Appliquées
Soutenue le 07-05-2018
thèse
Mathématiques et Informatique
Soutenue le 15-01-2018
thèse

Mathématiques et Informatique
Soutenue le 10-10-2017
thèse
Mathématiques et Informatique
Soutenue le 28-10-2016
thèse