Accéder directement au contenu

Pascale LE GALL

Professor in Computer Sciences Laboratory MICS CentraleSupélec University of Paris-Saclay
7
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

855912
Image document

Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus

 Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Pascale Le Gall , Philippe Meseure
Theorie in den Biowissenschaften / Theory in Biosciences, 2008, 127 (2), pp.79-88
Article dans une revue hal-00352003v1

Designing a Topological Modeler Kernel: A Rule-Based Approach

 Thomas Bellet , Mathieu Poudret , Agnès Arnould , Laurent Fuchs , Pascale Le Gall
Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France
Communication dans un congrès hal-00488171v1

Transformations de graphes pour les opérations topologiques en modélisation géométrique

 Mathieu Poudret , Thomas Bellet , Agnès Arnould , Pascale Le Gall
22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France
Communication dans un congrès hal-00488533v1

Graph Transformation for Topology Modelling.

 Mathieu Poudret , Agnès Arnould , Jean-Paul Comet , Pascale Le Gall
 4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. pp.147-161, ⟨10.1007/978-3-540-87405-8_11⟩
Communication dans un congrès hal-00341176v1
Image document

Topology-based Geometric Modelling for Biological Cellular Processes

 Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , Agnès Arnould , Philippe Meseure
International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragone, Spain. pp.497-508
Communication dans un congrès hal-00348152v1
Image document

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

 Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould
European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Communication dans un congrès hal-00348154v1

Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus

 Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould
Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008
Chapitre d'ouvrage hal-00353755v1