Accéder directement au contenu

Pascale LE GALL

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

hakim-belhaouari
Image document

Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique

Romain Pascual , Pascale Le Gall , Hakim Belhaouari , Agnès Arnould
22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France
Communication dans un congrès hal-04185658v1

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions

Thomas Bellet , Agnès Arnould , Hakim Belhaouari , Pascale Le Gall
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Communication dans un congrès hal-01817827v1

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
Image document

Inference of geometric modeling operations

Romain Pascual , Hakim Belhaouari , Agnès Arnould , Pascale Le Gall
Journées Nationales de l’Informatique Mathématique, Apr 2023, Paris, France.
Poster de conférence hal-04068329v1
Image document

A first step towards the inference of geological topological operations

Romain Pascual , Hakim Belhaouari , Agnès Arnould , P Le Gall
Eurographics 2022, Apr 2022, Reims, France. 2022, ⟨10.2312/egp.20221005⟩
Poster de conférence hal-03664618v1