Abstraction  Accessibilité  Algorithme  Algorithme réparti  Algorithmes  Analyse algorithmique  Analyse d’ordonnancement  Analyse temporelle  Appariement structurel  Appel par valeur  Application automobiles  Apprentissage à partir d'exemples  Arbre d'ordonnancement  Arbre de couverture  Architecture système  Certification  Code source  Compilation  Compilation  Complexité  Conception hétérogène  Configurations combinatoires  Connexité  Contre-exemple  Contrôle de sérialisation  Cycles  Diamètre  Domaine à théorie forte  Dominant  Décidabilité  Délai de bout-en-bout  Déterminisme  Développement dirigé par les modèles  Ensemble partiellement ordonné  Espace d'accueil  Evaluation de la qualité  Extension  Exécution multitâche  F-facteurs  Fiabilité  Files d'attente, Théorie des  Files fifo  Fonctionnement multitâche  Formule Intégrale  Framework  Funarg  Graffiti  Graphe aléatoire  Graphes  Graphes orientés  Généralité d'une description  Génération d'interfaces  Génération de code  HIS Automotive SPICE  Hamiltonien  Hypergraphes  Hétérogénéité des modèles  ISO26262  Incomplétude  Inconsistance  Inde  Index chromatique  Informatique théorique  Ingénierie Dirigée par les Modèles  Ingénierie des exigences  Ingénierie des processus  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Ingénierie logicielle  Intelligence artificielle  Interfaces graphiques  Interfaces utilisateur  Inéquation quasi-linéaire  Inéquations Quasi linéaires Variationnelles  LISP  Langage de modélisation  Langages de modélisation  Langages de programmation -- Sémantique  Langages formels  Largeur de bande  Logiciel de détection d'inconsistance et d'incomplétudes  Logiciels -- Validation  Logiciels -- Vérification  MARTE  Mise en correspondance structurelle  Modèle de Plate-forme  Modèle de calcul  Modèles de cacul  Modèles mathématiques  Modélisation hétérogène  Méthodes formelles  Optimisation  Ordinateurs MIMD  Outils d’analyse d’ordonnancement  Parallélisme  Petri, Réseaux de  Portée lexicale  Processus d’analyse temporelle dirigé par les modèles  Programmation entière  Programmation orientée objets  Programmes multitâches  Protocoles de réseaux d'ordinateurs  Raffinement  Rayon des graphes  Règles de conception  Règles de production  Réarrangement relatif  Régularité  Réseau de Pétri  Réseau à files structuré  Réseaux d'ordinateurs  Réseaux multi-étages  Réseaux par bus  Réseaux à files linéaires  Réseaux à files à choix libre  Résistance aux pannes  Simulation, Méthodes de  Spécification formelle  Stabilité  Support à la certification  Système de réécriture  Système embarqué  Système informatique interactif  Système réparti  Système temps-réel  Systèmes automobiles  Systèmes d'addition de vecteurs  Systèmes d'exploitation  Systèmes embarqués  Systèmes embarqués  Systèmes experts  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes parallèles  Systèmes synchrones  Systèmes transactionnels  Sécurité fonctionelle  Sémantique  Sûreté de fonctionnement  Temps réel  Temps-réel dur  Tests conditionnels  Traitement réparti  Transactions itérées  Transformation de modèle  Traçabilité  Type abstrait algébrique  UML  UML  Vulnérabilité  Web sémantique  Équations Dégénérées  Équations Quasi linéaires Elliptiques  Équations aux dérivées partielles  Équations et Inéquations Paraboliques  Équivalence topologique  Évaluation de performances  

Guy Vidal-Naquet a dirigé les 25 thèses suivantes :

Informatique
Soutenue en 2004
Thèse soutenue

Sciences appliquées
Soutenue en 1993
Thèse soutenue

Sciences appliquées
Soutenue en 1992
Thèse soutenue

Sciences appliquées
Soutenue en 1991
Thèse soutenue

Reseaux et logique

par ELISABETH PELZ sous la direction de Guy Vidal-Naquet - Paris 11

Sciences appliquées
Soutenue en 1990
Thèse soutenue


Guy Vidal-Naquet a été président de jury des 9 thèses suivantes :

Informatique
Soutenue le 12-12-2011
Thèse soutenue


Guy Vidal-Naquet a été membre de jury des 8 thèses suivantes :

Informatique
Soutenue en 1987
Thèse soutenue