Documentation
Français (FR)

Anglais (EN)

Pascale LE GALL

Professor in Computer Sciences Laboratory MICS CentraleSupélec University of Paris-Saclay

23

Documents

Identifiants chercheurs

pascale-le-gall
0000-0002-8955-6835
IdRef : 081059310

Présentation

Publications

agnes-arnould

	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
	Topological consistency preservation with graph transformation schemes Romain Pascual , Pascale Le Gall , Agnès Arnould , Hakim Belhaouari Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩ Article dans une revue hal-03380327v1
	Exhaustive test sets for algebraic specification correctness Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩ Article dans une revue hal-01318362v1
	Transformations de graphes pour les opérations topologiques en modélisation géométrique Mathieu Poudret , Thomas Bellet , Agnès Arnould , Pascale Le Gall Revue Electronique Francophone d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77 Article dans une revue hal-01137358v1
	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
	Spécifications formelles du chanfreinage Franck Ledoux , Jean-Marc Mota , Agnès Arnould , Catherine Dubois , Pascale Le Gall Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (8), pp.1-26 Article dans une revue hal-00352083v1
	Test de conformité : une approche algébrique Agnès Arnould , Pascale Le Gall Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (9), pp.1219-1242 Article dans une revue hal-00352131v1

	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
	JERBOA : un modeleur géométrique à base de règles Thomas Bellet , Agnès Arnould , Pascale Le Gall Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France Communication dans un congrès hal-00936743v1
	Rule-based transformations for geometric modeling Thomas Bellet , Agnès Arnould , Pascale Le Gall 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Part of ETAPS 2011, Apr 2011, Saarbrücken, Germany. 20p Communication dans un congrès hal-00865432v1
	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
	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
	Test selection criteria for quantifier-free first-order specifications Marc Aiguier , Agnès Arnould , Pascale Le Gall , Delphine Longuet 2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩ Communication dans un congrès hal-00353787v1
	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
	Testing from algebraic specifications: test data set selection by unfolding axioms Marc Aiguier , Agnès Arnould , Clément Boin , Pascale Le Gall , Bruno Marre 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩ Communication dans un congrès hal-00341964v1

	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

	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

	Geometric modeling: consistency preservation using two-layered variable substitutions (extended version) Thomas Bellet , Agnès Arnould , Hakim Belhaouari , Pascale Le Gall [Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017 Rapport hal-01509832v1
	Constraint-preserving labeled graph transformations for topology-based geometric modeling Thomas Bellet , Agnès Arnould , Pascale Le Gall [Research Report] XLIM. 2017 Rapport hal-01476860v1