ACSL  Acquisition automatique des données  Agent mobile  Agents  Agents mobiles  Algorithmes parallèles  Alloy  Analyse des besoins  Applications à base de composants  Architecture -- Informatique  Architectures hiérarchiques, hybrides et hétérogènes  Assistant de preuve  Assistants de preuve  Atomicité  BSP  Bases de données -- Gestion  Bonne synchronisation  C  C plus-plus  C++  CHATS  Cell BE  Collecte des données  Communauté  Communication  Compilation  Compilation  Concurrence  Coq  Coq  Courtage informatique  DSELs  Distribution des données  Débogage  Déséquilibre des données  Effort de programmation  Equilibrage dynamique de charges  Exceptions  Expressivité  FATMA  FRAMA-C  Graphes, Théorie des  Grilles informatiques  Génération automatique  Homomorphismes  Homomorphismes  IDS  Informatique dans les nuages  Ingénierie dirigée par les modèles  Jini  Jointures parallèles  Langages de programmation -- Sémantique  Langages de programmation  Logiciels -- Vérification  MPI  Microprocesseurs multi-coeurs  Mobiles  Modularité  Modèle de corrélation  Modèles de haut niveau,  Modèles mémoire faible  Multi-jointure  Méta-calcul  Méta-ordinateurs  Méthode formelle  Méthodes formelles  Nuage informatique  OpenMP  Orchestration  Organisation  Outils et modèles de programmation parallèle haut niveau  Parallélisation automatique  Parallélisme  Parallélisme  Parallélisme quasi-synchrone  Preuves de programmes  Processus léger  Programmation  Programmation asynchrone  Programmation de haut niveau  Programmation fonctionnelle  Programmation fonctionnelle  Programmation générative  Programmation générique  Programmation parallèle  Programmation parallèle  Préservation de la sémantique  Prévision et portabilité des performances  Réseaux d'ordinateurs -- Mesures de sûreté  Section atomique  Slicing  Spécification  Squelettes algorithmiques  Structures de données  Surveillance logicielle  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Sécurité  Sémantique  Sémantique  Sémantique formelle  Sémantique opérationnelle  Sûreté des langages  Thèses et écrits académiques  Théorie des graphes  Trace de programme  Traitement réparti  Transcodage  Transformation de code  Typage  Verrou  Vérification  Vérification formelle  Vérification formelle, dépendances de contrôle  Why3  XPU  

Frédéric Loulergue a rédigé la thèse suivante :


Frédéric Loulergue a dirigé les 10 thèses suivantes :


Frédéric Loulergue a été rapporteur des 5 thèses suivantes :

Signal, Image, Automatique
Soutenue le 29-11-2014
Thèse soutenue

Frédéric Loulergue a été membre de jury des 2 thèses suivantes :