Accéder directement au contenu

Pascale LE GALL

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

957773
Image document

Preserving consistency in geometric modeling with graph transformations

 Agnès Arnould , Hakim Belhaouari , Thomas Bellet , Pascale Le Gall , Romain Pascual
Mathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩
Article dans une revue hal-03821122v1

JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling

 Hakim Belhaouari , Agnès Arnould , Pascale Le Gall , Thomas Bellet
7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
Communication dans un congrès hal-01012851v1