Abstraction quasi-Synchrone  Accélération Abstraite  Analyse comportemental  Analyse des Relations Linéaires  Analyse statique  Apprentissage automatique en ligne  Architecture LTTA  Aspic  Automate  Automaton  Chemin de données  Circuits d'horloge  Circuits intégrés numériques  Circuits prédiffusés programmables  Classification  Compilateurs  Compilation  Conception de circuit  Concurrence  Contenu des tableaux  Criminalité informatique  Data flow  Denotational semantics  Flot de données  Flot donnée  Génération d'invariants polynomiaux  Interprétation abstraite  Langage procédural  Langage programmation  Langage synchrone  Langages de programmation -- Sémantique  Langages synchrones  Language processing  Logiciel malveillant  Logiciels -- Vérification  Méthodes formelles  Méthodes formelles  Non-égalités numériques  Ompilation  Optimisation mathématique  Ordinateurs -- Programmation  Outils de cao  Parallélisme  Procedural language  Programmation système  Programmes réactifs  Programming language  Real time system  Simulation symbolique  Structures de données  Synthèse de propriétés  System programming  Système sur puce  Système temps réel  Systèmes GALS  Systèmes distribués temps-Réels synchrones  Systèmes embarqués  Systèmes embarqués  Systèmes multi-Horloges  Sémantique dénotationnelle  Sémantique opérationnelle  Tableaux  Techniques de descriptions formelles  Temps réel  Thèses et écrits académiques  Traitement langage  Validation functionnelle  Verification basée sur les modèles  Virus informatiques  Vérification de modèles  Vérification de propriétés numériques  Élargissement  Électronique numérique  

Nicolas Halbwachs dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 09-09-2016
Thèse en préparation


Nicolas Halbwachs a dirigé les 9 thèses suivantes :

Informatique
Soutenue en 1997
Thèse soutenue


Nicolas Halbwachs a été président de jury des 3 thèses suivantes :

Nano electronique et nano technologies
Soutenue le 28-03-2018
Thèse soutenue

Nicolas Halbwachs a été rapporteur de la thèse suivante :