Pascale Le gall
Pascale Le gall a rédigé la thèse suivante :
Les algebres etiquetees : une semantique pour les specifications algebriques fondee sur une utilisation systematique des termes. application au test de logiciel avec traitement d'exceptions
par Pascale Le Gall sous la direction de Marie-Claude Gaudel - Paris 11
Sciences appliquées
Soutenue en 1993
Pascale Le gall dirige actuellement les 3 thèses suivantes :
Aide à la conception dopérations de modélisation géométrique par techniques dIA et de test
par Romain Pascual sous la direction de Pascale Le gall - université Paris-Saclay
Informatique
En préparation depuis le 01-11-2019
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
Automatisation de tests de conformité de systèmes distribués
par Erwan Mahe sous la direction de Pascale Le gall - université Paris-Saclay
Informatique
En préparation depuis le 01-01-2018
Pascale Le gall a dirigé les 20 thèses suivantes :
Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol
par Ngo Minh Thang Nguyen sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 16-12-2019
Relational properties for specification and verification of C programs in Frama-C
par Lionel Blatter sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 26-09-2019
Certified algorithms for program slicing
par Jean-Christophe Léchenet sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 19-07-2018
Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem
par Nassim Benharrat sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 14-02-2018
Model-Based Testing over IOSTS enriched with function calls
par Imen Boudhiba sous la direction de Pascale Le Gall - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 02-03-2017
Techniques de model-checking pour l’inférence de paramètres et l’analyse de réseaux biologiques
par Emmanuelle Gallet sous la direction de Pascale Le Gall , Paolo Ballarini et de Matthieu Manceny . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 08-12-2016
Transformations de graphes pour la modélisation géométrique à base topologique
par Thomas Bellet sous la direction de Yves Bertrand , Pascale Le Gall et de Agnès Arnould . - Poitiers
Informatique et applications
Soutenue le 10-07-2012
Vers un environnement générique pour la prise en compte de la topologie des structures cellulaires dans les modèles de processus biologiques
par Anasthasie Joëlle Compaoré sous la direction de Pascale Le Gall et de Blaise Some . - Evry-Val d'Essonne
Informatique
Soutenue le 07-03-2012
Critères de test et génération de séquences de tests pour des systèmes réactifs synchrones modélisés par des équations flots de données et contrôlés par des automates étendus,
par Christophe Junke sous la direction de Pascale Le Gall - Châtenay-Malabry, Ecole centrale de Paris
Informatique
Soutenue le 09-01-2012
Etude de la préservation des propriétés temporelles des réseaux de régulation génétique au travers du plongement : vers une caractérisation des systèmes complexes par l'émergence de propriétés
par Mbarka Mabrouki sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue le 13-12-2010
Symbolic test case generation for testing orchestrators in context
par José Pablo Escobedo Del Cid sous la direction de Ana Cavalli et de Pascale Le Gall . - Evry, Institut national des télécommunications
Informatique
Soutenue le 25-11-2010
Transformations de graphes pour les opérations topologiques en modélisation géométrique : application à l'étude de la dynamique de l'appareil de Golgi
par Mathieu Poudret sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue le 15-10-2009
Automatisation du test de tous-les-chemins en présence d'appels de fonction
par Patricia Mouy sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue en 2007
Systèmes multi-agents adaptatifs avec contraintes temps-réel : De la spécification formelle à la vérification et à la génération de code
par Dong Hue Wang sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue en 2005
Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques
par Fabrice Barbier sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue en 2005
Validation de spécifications à base d'automates par des techniques de dépliage et d'exécution
par Nicolas Rapin sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue en 2004
Un cadre méthodologique pour l'intégration de services par évitement des interactions
par Karim Berkani sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue en 2003
Caractérisation et détection automatique d'interactions de services à partir de spécifications graphiques
par Hélène Jouve sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue en 2003
Etude et spécifications formelles de l'arrondi d'objets géométriques
par Franck Ledoux sous la direction de Pascale Le Gall et de Yves Bertrand . - Evry-Val d'Essonne
Informatique
Soutenue en 2002
Une description générique formelle des systèmes à base de services : Application du raffinement et de l' enrichissement algébrique au problème des interactions de services
par Christophe Gaston sous la direction de Pascale Le Gall - Evry-Val d'Essonne
Informatique
Soutenue en 2002
Pascale Le gall a été président de jury des 7 thèses suivantes :
Automotive embedded software design using formal methods
par Vassil Todorov sous la direction de Frédéric Boulanger - université Paris-Saclay
Informatique
Soutenue le 09-12-2020
Analyse des voies métaboliques au cours du cycle cellulaire : application au métabolisme du cancer
par Cécile Moulin sous la direction de Sabine Pérès - université Paris-Saclay
Informatique
Soutenue le 05-11-2020
The Reliability Assessment and Optimization of Arbitrary-State Monotone Systems under Epistemic Uncertainty
par Muxia Sun sous la direction de Enrico Zio - Université Paris-Saclay (ComUE)
Sciences et technologies industrielles
Soutenue le 03-07-2019
Neurone abstrait : une formalisation de l’intégration dendritique et ses propriétés algébriques
par Ophélie Guinaudeau sous la direction de Gilles Bernot - Université Côte d'Azur (ComUE)
Informatique
Soutenue le 11-01-2019
Vers un langage de haut niveau pour une ingénierie des exigences agile dans le domaine des systèmes embarqués avioniques
par Benoit Lebeaupin sous la direction de Antoine Rauzy et de Jean-Marc Roussel . - Université Paris-Saclay (ComUE)
Sciences et technologies industrielles
Soutenue le 18-12-2017
Système informatique d'aide à la modélisation mathématique basé sur un langage de programmation dédié pour les systèmes dynamiques discrets stochastiques.Application aux modèles de croissance de plantes.
par Benoit Bayol sous la direction de Paul-Henry Cournède - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 08-07-2016
Approche calculatoire pour la déconvolution en aveugle : application à l'imagerie SIMS
par François Letierce sous la direction de Jean-Marc Delosme - Evry-Val d'Essonne
Informatique
Soutenue le 20-12-2007
Pascale Le gall a été rapporteur des 9 thèses suivantes :
Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests
par Guillaume Voiron sous la direction de Jacques Julliand et de Pierre-Alain Masson . - Bourgogne Franche-Comté
Informatique
Soutenue le 27-09-2019
Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks
par Xinwei Chai sous la direction de Olivier Roux - Ecole centrale de Nantes
Informatique
Soutenue le 24-05-2019
Neurone abstrait : une formalisation de l’intégration dendritique et ses propriétés algébriques
par Ophélie Guinaudeau sous la direction de Gilles Bernot - Université Côte d'Azur (ComUE)
Informatique
Soutenue le 11-01-2019
Runtime Enforcement of (Timed) Properties with Uncontrollable Events
par Matthieu Renard sous la direction de Mohamed Mosbah et de Antoine Rollet . - Bordeaux
Informatique
Soutenue le 11-12-2017
Hoare-like verification of graph transformation
par Jon Haël Brenas sous la direction de Rachid Echahed - Université Grenoble Alpes (ComUE)
Mathématiques et informatique
Soutenue le 13-10-2016
Contribution à la vérification de programmes C par combinaison de tests et de preuves.
par Guillaume Petiot sous la direction de Jacques Julliand , Alain Giorgetti et de Nikolaï Kosmatov . - Besançon
Informatique
Soutenue le 04-11-2015
Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications
par Truong Giang Le sous la direction de Renaud Rioboo , Olivier Hermant , Matthieu Manceny et de Renaud Pawlak . - Paris, CNAM
Informatique
Soutenue le 30-09-2013
Fastest : improving and supporting the Test Template Framework
par Maximiliano Cristia sous la direction de Claudia Frydman - Aix-Marseille
Informatique
Soutenue le 13-04-2012
Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes
par Omar Chebaro sous la direction de Jacques Julliand , Alain Giorgetti , Nikolaï Kosmatov et de Fatiha Zaïdi . - Besançon
Informatique
Soutenue le 13-12-2011
Pascale Le gall a été membre de jury des 3 thèses suivantes :
Modélisation et estimation des valeurs apportées au pays hôte pour aider à la décision dans l’élaboration des stratégies In-Country-Value
par Mathieu Dernis sous la direction de Franck Marle et de Pascal Da Costa . - Université Paris-Saclay (ComUE)
Sciences et technologies industrielles
Soutenue le 29-03-2019
Semantics-Based Testing for Circus
par Abderrahmane Feliachi sous la direction de Marie-Claude Gaudel - Paris 11
Informatique
Soutenue le 12-12-2012
Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing
par Boutheina Bannour sous la direction de Marc Aiguier - Châtenay-Malabry, Ecole centrale de Paris
Informatique
Soutenue le 14-06-2012
