- 2
Pascale LE GALL
Professor in Computer Sciences
Laboratory MICS
CentraleSupélec
University of Paris-Saclay
2
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
- 2
- 2
- 2
- 1
- 1
- 1
Designing a Topological Modeler Kernel: A Rule-Based ApproachShape 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étrique22es 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
|