Acheminement  Acquisition des connaissances  Adaptation  Analyse des pointeurs  Analyse statique  Architecture dirigée par les modèles  Automates temporisés  Bases de données -- Gestion  C++  Catégories  Cd  Compilation  Compilation  Configuration  Distributed programming  Distributed system  Double pushout  Evaluateurs  Fonction partielle  Fonctionnement multitâche  Gestion des connaissances  Grammaires attribuées  Grammaires attribuées  Graphes attribués  Graphes, Théorie des  Heritage  Informatique  Ingénierie dirigée par les modèles  Intelligence artificielle  Interprétation abstraite  Isomorphismes  Java  Java  Langage C  Langages de programmation  Mda  Model checking  Modèle utilisateur  Modèles mathématiques  Modélisation utilisateur  Mof  Méthodes formelles  Object oriented  Ontologie  Optimisation de code  Optimisation mathématique  Oriente objet  Parallel programming  Parallelisation  Parallelization  Parallélisme  Personalisation  Programmation logique  Programmation parallele  Programmation parallèle  Pullback  Qvt  Représentation de connaissance agents  Représentation des connaissances  Reuse  Reutilisation  Routing  Réécriture de graphes  Réécriture, Systèmes de  Synchronisation  Systeme reparti  Système abstrait  Systèmes de gestion des connaissances  Systèmes embarqués  Systèmes experts  Systèmes, Théorie des  Sémantique  Temps continu  Temps réel  Temps-réel  Théorie de systèmes  Théorie des types  Trajectoire globale  Transformation de modèles  UML  Uml  Vérification formelle  Web sémantique  

Louis Féraud a rédigé la thèse suivante :


Louis Féraud a dirigé les 7 thèses suivantes :

Sureté de logiciel et calcul de haute performance
Soutenue en 2014
Thèse soutenue