- 4
- 1
- 1
- 1
- 1
Pascale LE GALL
Professor in Computer Sciences
Laboratory MICS
CentraleSupélec
University of Paris-Saclay
8
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
- 8
- 7
- 5
- 2
- 2
- 1
- 2
- 3
- 2
- 1
|
Topological consistency preservation with graph transformation schemesScience of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩
Article dans une revue
hal-03380327v1
|
|
Preserving consistency in geometric modeling with graph transformationsMathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩
Article dans une revue
hal-03821122v1
|
|
Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique22è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 SubstitutionsInternational 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 Modeling7th 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
|
|
Inference of geometric modeling operationsPoster de conférence hal-04068329v1 |
|
A first step towards the inference of geological topological operationsEurographics 2022, Apr 2022, Reims, France. 2022, ⟨10.2312/egp.20221005⟩
Poster de conférence
hal-03664618v1
|
|
Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)[Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
Rapport
hal-01509832v1
|