Abstraction de modèles  Abstraction de systèmes  Aide à la décision  Algorithmes  Algorithmes parallèles  Algorithmique distribuée  Allocation de fiabilité  Ambiguité  Ambiguïté  Analyse de logs distribués  Analyse dynamique  Analyse et exploration de modèles  Analyse formelle de réseaux biologiques  Analyse paramétrique  Analyse statique  Appareil de Golgi  Applications sensibles au contexte  Approche multi capitale  Approche systémique  Arbres  Architecture des ordinateurs  Architecture orientée services  Assistants de preuve  Automates  Automates de modes  Automates programmables  Automates temporisés  Automobiles -- Systèmes d'aide à la conduite  Bioinformatique  Biologie des systèmes  Biologie systémique  Bogue  C  Calibration des capteurs  Cancer  Cartes généralisées  Composition  Concurrence  Contenu local  Contrainte  Contraintes de temps  Contrats  Coq  Couverture structurelle  Critères de couverture  Création de valeur  Cycle cellulaire  Data visualisation  Dendrites  Dendrites  Diagramme de séquence UML  Délai  Délais  Enforcement à l’exécution  Environnement générique  Espaces topologiques  Euler vers Lagrange  Exploration de l’espace de conception  Exécution symbolique  FPGA  FRAMA-C  Fastest  Fausse alarme  Fonctions  Fractions volumiques  Frama-C  Fusion multi-capteurs  Gradient conjugué, Méthode du  Graphes  Graphes topologiques, Théorie des  Graphes, Théorie des  Grilles  Génie logiciel  Génération de cas de test  Génération de tests  Génération de tests guidée par les alarmes  Génération de tests pertinents  Géométrie  Heuristique  Hexaédrique  IOSTS  In-Country Value  Incertitude épistémique  Industrie -- Informatique  Informatique  Inférence de paramètres  Ingénierie basée sur les modèles  Ingénierie des exigences  Ingénierie des systèmes  Ingénierie des systèmes complexes  Ingénierie dirigée par les modèles  Intelligence artificielle répartie  Intercode  Interfaces de programmation d'applications  Internet  Internet des objets  Interprétation Abstraite  Interprétation abstraite  Intersection de grille  Jeux  LUSTRE  Langage de programmation  Langage formel  Langages de programmation -- Sémantique  Langages de programmation  Langages formels  Langages à base de règles  Language de spécification  Langue naturelle  Logiciels -- Développement  Logiciels -- Essais  Logiciels -- Vérification  Logiciels  Logique  Logique de Hoare  Logique épistémique  Lustre  Maillage  Model checking  Model-based testing  Model-checking HASL  Model-checking LTL  Modèle discret de Thomas  Modèle gaussien  Modèles biologiques  Modèles géométriques  Modèles mathématiques  Modélisation  Modélisation de la croissance des plantes  Modélisation des données  Modélisation formelle  Modélisation géométrique  Modélisation stochastique  Modélisation à base topologique  Métabolisme  Métabolisme du cancer  Méthode VOF  Méthodes formelles  Méthodes formelles  Neurone  Neurones  Observation partielle  Optimisation mathématique  Optimisation multi-Objectifs  Oracle  Ordinateurs -- Programmation  Parallélisme  Partitionnement de graphes  Petri, Réseaux de  Plantes -- Croissance  Preuve  Preuve déductive  Preuve formelle  Preuves de théorèmes  Problème de Satisfaction de Contraintes  Processus stochastiques  Programmation concurrente  Programmation de robots  Programmation dynamique  Programmation embarquée  Programmation fonctionnelle  Programmation logique  Programmation logique contrainte  Programmation parallèle  Programmation à base de règles  Programmation événementielle  Propiétés algébriques  Propriétés relationnelles  Propriétés émergentes  Protocole MPL  Prototypage rapide  Reconfiguration  Reconnaissance d'objets  Robots -- Programmation  Robots mobiles autonomes  Régulation  Régulation génétique  Réseau de régulation biologique  Réseau de régulation génétique  Réseaux d'ordinateurs  Réseaux métaboliques  Résolution de problème -- Informatique  Révision de modèles  Réécriture  Réécriture de terme  SOA  Services Web  Services web  Slicing  Smart Computing  Spectrométrie de masse des ions secondaires  Spectroscopie -- Déconvolution  Systèmes, Analyse de  Temps réel  Test à base de modèles  Tests fonctionnels  Traitement réparti  Transformation de graphes  Transformations de graphes  Télécommunications  Vérification de modèles  

Pascale Le gall a rédigé la thèse suivante :


Pascale Le gall dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 01-11-2019
Thèse en préparation


Pascale Le gall a dirigé les 23 thèses suivantes :


Pascale Le gall a été président de jury des 11 thèses suivantes :


Pascale Le gall a été rapporteur des 10 thèses suivantes :

Mathématiques et informatique
Soutenue le 13-10-2016
Thèse soutenue


Pascale Le gall a été membre de jury des 4 thèses suivantes :

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