Agnès Arnould

Publications

Communication dans un congrès (28)

Program Synthesis for Geometric Modeling Romain Pascual,Pascale Le Gall,Hakim Belhaouari,Agnès Arnould 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Sep 2025, Rende, Italy. pp.135-153, ⟨10.1007/978-3-032-04848-6_9⟩ Communication dans un congrès hal-05269368v1
Reevaluation in Rule-Based Graph Transformation Modeling Systems Maxime Gaide,David Marcheix,Agnès Arnould,Xavier Skapin,Hakim Belhaouariet al. WSCG 2024 32. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2024, Václav Skala, Jun 2024, Pilsen, Czech Republic. ⟨10.24132/CSRN.3401.13⟩ Communication dans un congrès hal-04607231v1
Driving Collaboration between OSDU/Energistics Business Activity Services by a Cloud-Native Geoscientific Workflow Platform Jean-François Rainaud,Valentin Gauthier,Lionel Untereiner,Hakim Belhaouari,Charles Lepaireet al. 85th EAGE Annual Conference & Exhibition (2024 EAGE Annual) : Technology and Talent for a Secure and Sustainable Energy Future, European Association of Geoscientists and Engineers (EAGE), Jun 2024, Oslo, France. pp.1-5, ⟨10.3997/2214-4609.202410801⟩ Communication dans un congrès hal-04733160v1
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
Automatic detection of topological changes in modeling operations Maxime Gaide,David Marcheix,Agnès Arnould,Xavier Skapin,Hakim Belhaouariet al. Computer Graphics & Visual Computing, Sep 2023, Aberystwyth, Wales, United Kingdom. pp.9-18, ⟨10.2312/cgvc20231186⟩ Communication dans un congrès hal-04228069v1
Transparent Parallelization of Enrichment Operations in Geometric Modeling Pierre Bourquat,Hakim Belhaouari,Philippe Meseure,Valentin Gauthier,Agnès Arnould 15th international conference on Computer Graphics Theory and Applications (VISIGRAPP/GRAPP), Feb 2020, La Valette, Malta Communication dans un congrès hal-02421408v1
A Persistent Naming System Based on Graph Transformation Rules to Reevaluate Parametric Specification Anaïs Cardot,David Marcheix,Xavier Skapin,Agnès Arnould,Hakim Ferrier-Belhaouari WSCG, 2018, Plzen, Czech Republic Communication dans un congrès hal-01883832v1
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
A general physical-topological framework using rule-based language for physical simulation Fatma Ben Salah,Hakim Belhaouari,Agnès Arnould,Philippe Meseure 12th International Conference on Computer Graphics Theory and Application (VISIGRAPP/GRAPP 2017), Feb 2017, Porto, Portugal. ⟨10.5220/0006119802200227⟩ Communication dans un congrès hal-01482733v1
Préservation de la cohérence des transformations topologiques et géométriques Valentin Gauthier,Thomas Bellet,Hakim Belhaouari,Agnès Arnould 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France Communication dans un congrès hal-01817884v1
A Topological Approach for Automated Unstructured Meshing of Complex Reservoir Valentin Gauthier,Agnès Arnould,Hakim Belhaouari,Sébastien Horna,Michel Perrinet al. 15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV), Aug 2016, Amsterdam, Netherlands Communication dans un congrès hal-01789851v1
Simulation de modèles mécaniques à base topologique à l'aide de règles de transformation de graphes Fatma Ben Salah,Hakim Belhaouari,Agnès Arnould,Philippe Meseure 29e Journées Françaises d'Informatique Graphique, Nov 2016, Grenoble, France Communication dans un congrès hal-01457731v1
Évaluation de la modélisation à base de transformation de graphes avec Jerboa Valentin Gauthier,Hakim Belhaouari,Agnès Arnould Journées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France Communication dans un congrès hal-01286541v1
Jerboa: un modeleur géométrique à base de règles de transformations de graphes Hakim Belhaouari,Agnès Arnould Journées de l'Association Française Graphique (AFIG), Nov 2014, Reims, France Communication dans un congrès hal-01286540v1
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
Polyhedral embedding of a topological structure Thomas Bellet,Agnès Arnould,Laurent Fuchs Applied Geometric Algebras in Computer Science and Engineering (AGACSE 2010), Jun 2010, Amsterdam, Netherlands Communication dans un congrès hal-00488183v1
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 istex hal-00341176v1
Modélisation nD à base d'algèbres géométriques Thomas Bellet,Agnès Arnould,Sylvain Charneau,Laurent Fuchs 21ème journées de l'AFIG (AFIG 2008), Nov 2008, Toulouse, France Communication dans un congrès hal-00354183v1
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 Arnouldet al. European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany Communication dans un congrès hal-00348154v1
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
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 istex hal-00353787v1
Automatic generation of functional programs from CASL specifications Agnès Arnould,Marc Aiguier,Laurent Fuchs,Thibaud Brunet International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), ⟨10.1109/ICSEA.2006.261290⟩ Communication dans un congrès hal-00341983v1
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
Un Générateur de Noyaux de Modeleurs Mathieu Poudret,Agnès Arnould,Yves Bertrand 18èmes Journées de l'Association Française d'Informatique Graphique et de l'Association Chapitre Français d'Eurographics (AFIG'05), Nov 2005, Strasbourg, France Communication dans un congrès hal-00354148v1

Logiciel (1)

Jerboa-Rebuild Maxime Gaide,David Marcheix,Agnès Arnould,Xavier Skapin,Hakim Belhaouariet al. 2025, ⟨swh:1:dir:71b1105db2a4af72bd2c201fde940012913d1442;origin=https://github.com/lias-laboratory/jerboa-rebuild;visit=swh:1:snp:e8f299d1694d4aa9f9b8c83f73ba28d25a2a9c4c;anchor=swh:1:rev:f29c9d3477098e58cd8c72bcdbd618dd1e14ab54⟩ Logiciel hal-04953649v1

Poster de conférence (5)

Model reevaluation based on graph transformation rules Maxime Gaide,David Marcheix,Agnès Arnould,Xavier Skapin,Hakim Belhaouariet al. 41st Computer Graphics and Visual Computing 2023, Sep 2023, Aberystwyth, Wales, United Kingdom. Poster de conférence hal-04228104v1
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
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
A Topological Approach for Automated Unstructured Meshing of Complex Reservoir Valentin Gauthier,Agnès Arnould,Hakim Belhaouari,Sébastien Horna,Michel Perrinet al. 15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV) , Aug 2016, Amsterdam, Netherlands Poster de conférence hal-01789860v1
Génération de modeleurs géométriques à base topologique à l'aide de Jerboa Hakim Belhaouari,Agnès Arnould GDR GPL, Jun 2014, Paris, France. 2014 Poster de conférence hal-01789875v1

Article dans une revue (10)

Inferring topological operations on generalized maps: application to subdivision schemes Romain Pascual,Hakim Belhaouari,Agnès Arnould,Pascale Le Gall Graphics and Visual Computing, 2022, ⟨10.1016/j.gvc.2022.200049⟩ Article dans une revue hal-03491856v2
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
Persistent Naming Based on Graph Transformation Rules to Reevaluate Parametric Specification Anaïs Cardot,David Marcheix,Xavier Skapin,Agnès Arnould,Hakim Belhaouari Computer-Aided Design and Applications, 2019, 16 (5), pp.985-1002. ⟨10.14733/cadaps.2019.985-1002⟩ Article dans une revue hal-01992678v1
A Modular Approach Based on Graph Transformation to Simulate Tearing and Fractures on Various Mechanical Models Fatma Ben Salah,Hakim Belhaouari,Agnès Arnould,Philippe Meseure Journal of WSCG, 2017, 25 (1), pp.39-48 Article dans une revue hal-01525488v1
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 istex 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 Meseureet al. Theorie in den Biowissenschaften / Theory in Biosciences, 2008, 127 (2), pp.79-88 Article dans une revue hal-00352003v1
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
Spécifications formelles du chanfreinage Franck Ledoux,Jean-Marc Mota,Agnès Arnould,Catherine Dubois,Pascale Le Gallet al. 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

Rapport (2)

Constraint-preserving labeled graph transformations for topology-based geometric modeling Thomas Bellet,Agnès Arnould,Pascale Le Gall [Research Report] XLIM. 2017 Rapport (rapport de recherche) hal-01476860v1
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 (rapport de recherche) hal-01509832v1

Chapitre d'ouvrage (1)

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 Arnouldet al. 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

Autre publication scientifique (1)

Cartes Combinatoires Ouvertes Mathieu Poudret,Agnès Arnould,Yves Bertrand,Pascal Lienhardt 2007 Autre publication scientifique hal-00353772v1