Accéder directement au contenu

Pascale LE GALL

Professor in Computer Sciences Laboratory MICS CentraleSupélec University of Paris-Saclay
4
Documents
Identifiants chercheurs

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

paolo-ballarini
Image document

Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa

 Emmanuelle Gallet , Matthieu Manceny , Pascale Le Gall , Paolo Ballarini
Revue 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
Image document

An LTL Model Checking Approach for Biological Parameter Inference

 E Gallet , M Manceny , P Le Gall , Paolo Ballarini
International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Communication dans un congrès hal-01819841v1
Image document

Formal analysis of the Wnt/β-catenin pathway through statistical model checking

 Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece
Communication dans un congrès hal-01819866v1

Formal Analysis of the Wnt/β-catenin through Statistical Model Checking

 Paolo Ballarini , Emmanuelle Gallet , Pascale Le Gall , Matthieu Manceny
6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
Communication dans un congrès hal-01110747v1