Abstraction de modèles  Abstraction de systèmes  Aide à la décision  Algorithmes  Allocation de fiabilité  Ambiguité  Ambiguïté  Analyse dynamique  Analyse et exploration de modèles  Analyse formelle de réseaux biologiques  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  Bioinformatique  Biologie systémique  Bogue  C  Cancer  Cartes généralisées  Contenu local  Contraintes de temps  Contrats  Coq  Couverture structurelle  Critères de couverture  Création de valeur  Cycle cellulaire  Dendrites  Dendrites  Diagramme de séquence UML  Délais  Enforcement à l’exécution  Environnement générique  Espaces topologiques  Exécution symbolique  FRAMA-C  Fastest  Fausse alarme  Fonctions  Frama-C  Gradient conjugué, Méthode du  Graphes  Graphes topologiques, Théorie des  Graphes, Théorie des  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  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  Internet  Internet des objets  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  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 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 d'apprentissage  Méthodes formelles  Méthodes formelles  Neurone  Neurones  Optimisation mathématique  Optimisation multi-Objectifs  Oracle  Ordinateurs -- Programmation  Plantes -- Croissance  Preuve  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  Robots -- Programmation  Régulation  Régulation génétique  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  SOA  Services Web  Services web  Slicing  Smart Computing  Spectrométrie de masse des ions secondaires  Spectroscopie -- Déconvolution  Spécification et vérification de logiciels  Statistique -- Méthodes graphiques  Stochasticité  Structures topologiques combinatoires  Surfaces  Systemes reactifs  Système d'équations différentielles  Système hybride  Système multi-états  Systèmes biologiques  Systèmes cellulaires de fabrication  Systèmes complexes  Systèmes d'aide à la décision  Systèmes de Transition Symbolique Temporisé avec des Entrées et Sorties  Systèmes de Transition Symboliques Temporisés à Entrée Sortie  Systèmes de télécommunications  Systèmes distribués  Systèmes dynamiques  Systèmes dynamiques hybrides  Systèmes dynamiques non linéaires  Systèmes informatiques  Systèmes réactifs sychrones  Systèmes, Analyse de  Sûreté  Temps réel  Test  Test Distribué Temporisé  Test Off-line  Test formel  Test logiciel  Test structurel, erreur à l’exécution  Test template framework  Test à base de Contraintes  Test à base de Modèles  Test à base de modèles  Test àpartir de modèles  Tests fonctionnels  Théorie des catégories  Théorie des graphes  Théorèmes -- Démonstration automatique  Topologie  Traitement automatique du langage naturel  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 :

Spécification et vérification de propriétés de haut niveau pour les programmes C

par Virgile Robles sous la direction de Pascale Le gall , Nikolay Kosmatov et de Virgile Prevosto . - université Paris-Saclay

Informatique
En préparation depuis le 15-10-2018
Thèse en préparation


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


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


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

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


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

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