AADL  Algorithme de planification  Algorithme réparti  Algorithmes  Algorithmes distribués  Algorithmes globaux  Algorithmes incrémentaux  Allocation  Alphabets Infinis  Alphabets de grandes tailles  Alphabets infinis  Alternance  Alternance de codes  Analyse  Analyse Pire Cas  Analyse binaire dynamique  Analyse comportemental  Analyse d'atteignabilité  Analyse de performances  Analyse de programmes  Analyse de vulnérabilités  Analyse dynamique  Analyse formelle de concepts  Analyse interprocédurale  Analyse statique  Analyse statique de programmes  Analyse temporelle  Anonymat  Antémémoire  Appareils électroniques -- Alimentation en énergie  Applications temps réel  Apprentissage automatique  Apprentissage automatique en ligne  Approche par Composants  Approche à base de modèles  Architecture  Argent électronique  Arithmétique en virgule flottante  Assertions  Assistants de preuve  Augmentation des ressources  Authentification  Auto-Adaptatif  Auto-Configuration  Auto-stabilisation  Automate  Automates  Automates d'arbre  Automates sur les mots infinis  Automates temporisés  Autostabilisation  Autostabilisation  Aéronautique -- Recherche  BIP  Batteries  Binaire  Cache  Calcul en virgule flottante  Carte à puce  Certification  Chargement rapide  Circuits intégrés analogiques numériques  Circuits électroniques  Classification  Clock gating  Commande en temps réel  Communication  Commutation  Complexité  Composant  Composants  Composants électroniques  Compositionnel  Conception de hardware  Conception de systèmes  Conception electronique assistée par ordinateur  Construction d'arbre  Contenu des tableaux  Contracts  Contracts et Spécifications  Contrats  Contrôle de flux d'information  Contrôle distribué  Convergence sûre  Coq  Coq  Correct-par-construction  Correcte par construction  Criminalité informatique  Criticalité  Cryptographie  Des circuits analogiques  Design à base de composants  Determinisme  Distribué  Domaine abstrait  Dynamique  Débogage  Déobfuscation binaire  Ensemble k-dominant  Evaluation de Performance  Evaluation de la performance  Evaluation des performances  Examens  Exploitabilité  Expressions rationnelles  Exécution symbolique  Filtrage  Filtres  Flux d'information  Framework BIP  Fusion d'états  Génie logiciel  Génération d'invariants  Géométrie algorithmique  Hybride  Hybridisation  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  LUSTRE  La confidentialité  La réputation électronique  La vérifiabilité  La vérification de l’exécution  La vérification formelle  Lambda-calcul  Langage synchrone  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  Lru  Many-Core  MarQ  Matériel  Mesures de sûreté  Microprocesseurs multi-coeurs  Model  Model checking  Model checking régulier  Model checking statistique  Modelisation  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-Core  Multi-coeur processeurs  Méthode formelles  Méthodes formelles  Méthodes formelles  Ordonnancement  Polyèdres  Polyèdres convexes  Programmation en temps réel  Programmation linéaire  Simulation  Structures de données  Surveillance  Système distribué  Systèmes complexes  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  Temps réel  Temps-Réel  Tolérance aux fautes  Traitement réparti  Verification  Vérification  Vérification de modèles  

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

Mathématiques et Informatique
Soutenue le 27-01-2020
thèse

Mathématiques et Informatique
Soutenue le 15-01-2018
thèse

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