Agnès Arnould

47
Documents

Publications

Publications

Image document

Reevaluation in Rule-Based Graph Transformation Modeling Systems

Maxime Gaide , David Marcheix , Agnès Arnould , Xavier Skapin , Hakim Belhaouari et 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-04607231 v1

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 Lepaire et 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-04733160 v1
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-04185658 v1
Image document

Automatic detection of topological changes in modeling operations

Maxime Gaide , David Marcheix , Agnès Arnould , Xavier Skapin , Hakim Belhaouari et al.
Computer Graphics & Visual Computing, Sep 2023, Aberystwyth, Wales, United Kingdom. pp.9-18, ⟨10.2312/cgvc20231186⟩
Communication dans un congrès hal-04228069 v1
Image document

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-02421408 v1

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-01883832 v1

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

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-01482733 v1

A Topological Approach for Automated Unstructured Meshing of Complex Reservoir

Valentin Gauthier , Agnès Arnould , Hakim Belhaouari , Sébastien Horna , Michel Perrin et al.
15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV), Aug 2016, Amsterdam, Netherlands
Communication dans un congrès hal-01789851 v1
Image document

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

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-01457731 v1

É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-01286541 v1

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-01012851 v1

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

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-00936743 v1

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-00865432 v1

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-00488171 v1

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-00488183 v1

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-00488533 v1

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-00341176 v1

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

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 et al.
European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Communication dans un congrès hal-00348154 v1
Image document

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-00348152 v1

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

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

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-00341964 v1

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-00354148 v1
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-04068329 v1
Image document

Model reevaluation based on graph transformation rules

Maxime Gaide , David Marcheix , Agnès Arnould , Xavier Skapin , Hakim Belhaouari et al.
41st Computer Graphics and Visual Computing 2023, Sep 2023, Aberystwyth, Wales, United Kingdom.
Poster de conférence hal-04228104 v1
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-03664618 v1
Image document

A Topological Approach for Automated Unstructured Meshing of Complex Reservoir

Valentin Gauthier , Agnès Arnould , Hakim Belhaouari , Sébastien Horna , Michel Perrin et al.
15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV) , Aug 2016, Amsterdam, Netherlands
Poster de conférence hal-01789860 v1
Image document

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

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-03491856 v2
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-03821122 v1
Image document

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-03380327 v1

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

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-01525488 v1

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-01318362 v1

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

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 et al.
Theorie in den Biowissenschaften / Theory in Biosciences, 2008, 127 (2), pp.79-88
Article dans une revue hal-00352003 v1
Image document

Spécifications formelles du chanfreinage

Franck Ledoux , Jean-Marc Mota , Agnès Arnould , Catherine Dubois , Pascale Le Gall et 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-00352083 v1
Image document

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-00352131 v1

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 et 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-00353755 v1