- 2
- 1
- 1
Pascale LE GALL
Professor in Computer Sciences
Laboratory MICS
CentraleSupélec
University of Paris-Saclay
4
Documents
Identifiants chercheurs
- pascale-le-gall
- 0000-0002-8955-6835
- IdRef : 081059310
Présentation
Professeur en Informatique, CentraleSupélec, CNU 27, laboratoire MICS
**Thèmes de recherche :**
Génie logiciel, Méthodes formelles, Validation et Vérification, Test de conformité, Modélisation des systèmes communicants temps-réel distribués, Modélisation géométrique à base topologique, Transformations de graphes
**Enseignenments :**
Théorie des jeux, Sémantique des langages de programmation, Logique, Automates, Bio-informatique
Publications
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 3
|
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosaRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩
Article dans une revue
hal-01819818v1
|
|
Formal analysis of the Wnt/β-catenin pathway through statistical model checkingInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece
Communication dans un congrès
hal-01819866v1
|
|
An LTL Model Checking Approach for Biological Parameter InferenceInternational Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Communication dans un congrès
hal-01819841v1
|
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
Communication dans un congrès
hal-01110747v1
|