
Agnès Arnould
47
Documents
Publications
Publications
|
Reevaluation in Rule-Based Graph Transformation Modeling SystemsWSCG 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 Platform85th 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
|
|
|
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-04185658
v1
|
|
Automatic detection of topological changes in modeling operationsComputer Graphics & Visual Computing, Sep 2023, Aberystwyth, Wales, United Kingdom. pp.9-18, ⟨10.2312/cgvc20231186⟩
Communication dans un congrès
hal-04228069
v1
|
|
Transparent Parallelization of Enrichment Operations in Geometric Modeling15th 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 SpecificationWSCG, 2018, Plzen, Czech Republic
Communication dans un congrès
hal-01883832
v1
|
|
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-01817827
v1
|
|
|
A general physical-topological framework using rule-based language for physical simulation12th 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 Reservoir15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV), Aug 2016, Amsterdam, Netherlands
Communication dans un congrès
hal-01789851
v1
|
|
|
Préservation de la cohérence des transformations topologiques et géométriques15è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
|
|
Simulation de modèles mécaniques à base topologique à l'aide de règles de transformation de graphes29e 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 JerboaJourné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 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-01012851
v1
|
|
Jerboa: un modeleur géométrique à base de règles de transformations de graphesJournées de l'Association Française Graphique (AFIG), Nov 2014, Reims, France
Communication dans un congrès
hal-01286540
v1
|
|
|
JERBOA : un modeleur géométrique à base de règlesApproches 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 modeling6th 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 ApproachShape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France
Communication dans un congrès
hal-00488171
v1
|
|
Polyhedral embedding of a topological structureApplied 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étrique22es 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. 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étriques21ème journées de l'AFIG (AFIG 2008), Nov 2008, Toulouse, France
Communication dans un congrès
hal-00354183
v1
|
|
|
Exploring Topological Modelling to Discriminate Models of Golgi Apparatus DynamicsEuropean Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Communication dans un congrès
hal-00348154
v1
|
|
Topology-based Geometric Modelling for Biological Cellular ProcessesInternational 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 specifications2nd 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
|
|
|
Automatic generation of functional programs from CASL specificationsInternational 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
|
|
Testing from algebraic specifications: test data set selection by unfolding axioms5th 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 Modeleurs18è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
|
|
Inference of geometric modeling operationsJournées Nationales de l’Informatique Mathématique, Apr 2023, Paris, France.
Poster de conférence
hal-04068329
v1
|
|
Model reevaluation based on graph transformation rules41st Computer Graphics and Visual Computing 2023, Sep 2023, Aberystwyth, Wales, United Kingdom.
Poster de conférence
hal-04228104
v1
|
|
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-03664618
v1
|
|
A Topological Approach for Automated Unstructured Meshing of Complex Reservoir15th European Conference on the Mathematics of Oil Recovery 2016 (ECMOR XV) , Aug 2016, Amsterdam, Netherlands
Poster de conférence
hal-01789860
v1
|
|
Génération de modeleurs géométriques à base topologique à l'aide de JerboaGDR GPL, Jun 2014, Paris, France. 2014
Poster de conférence
hal-01789875
v1
|
|
Inferring topological operations on generalized maps: application to subdivision schemesGraphics and Visual Computing, 2022, ⟨10.1016/j.gvc.2022.200049⟩
Article dans une revue
hal-03491856
v2
|
|
Preserving consistency in geometric modeling with graph transformationsMathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩
Article dans une revue
hal-03821122
v1
|
|
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-03380327
v1
|
|
Persistent Naming Based on Graph Transformation Rules to Reevaluate Parametric SpecificationComputer-Aided Design and Applications, 2019, 16 (5), pp.985-1002. ⟨10.14733/cadaps.2019.985-1002⟩
Article dans une revue
hal-01992678
v1
|
|
A Modular Approach Based on Graph Transformation to Simulate Tearing and Fractures on Various Mechanical ModelsJournal of WSCG, 2017, 25 (1), pp.39-48
Article dans une revue
hal-01525488
v1
|
Exhaustive test sets for algebraic specification correctnessJournal 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étriqueRevue 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
|
|
|
Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi ApparatusTheorie in den Biowissenschaften / Theory in Biosciences, 2008, 127 (2), pp.79-88
Article dans une revue
hal-00352003
v1
|
|
Spécifications formelles du chanfreinageRevue 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
|
|
Test de conformité : une approche algébriqueRevue 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
|
|
Constraint-preserving labeled graph transformations for topology-based geometric modeling[Research Report] XLIM. 2017
Rapport
(rapport de recherche)
hal-01476860
v1
|
|
Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)[Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
Rapport
(rapport de recherche)
hal-01509832
v1
|
Toward a computer-aided methodology for topology-based simulation of the Golgi apparatusProc. 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
|
Cartes Combinatoires Ouvertes2007
Autre publication scientifique
hal-00353772
v1
|
Chargement...
Chargement...