Agnès Arnould

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 8

Top Topics

Specification Language

Geometric Modeling

Maintaining Consistency

Mesh Generation

Top Venues

VISIGRAPP (1: GRAPP)

Math. Struct. Comput. Sci.

Softw. Test. Verification Reliab.

Publications

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall
Inferring topological operations on generalized maps: Application to subdivision schemes. Graph. Vis. Comput. 6 (2022)
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual
Preserving consistency in geometric modeling with graph transformations. Math. Struct. Comput. Sci. 32 (3) (2022)
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari
Topological consistency preservation with graph transformation schemes. Sci. Comput. Program. 214 (2022)
Pierre Bourquat, Hakim Belhaouari, Philippe Meseure, Valentin Gauthier, Agnès Arnould
Transparent Parallelization of Enrichment Operations in Geometric Modeling. VISIGRAPP (1: GRAPP) (2020)
Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure
A Modular Approach Based On Graph Transformation To Simulate Tearing And Fractures On Various Mechanical Models. J. WSCG 25 (1) (2017)
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. ICGT (2017)
Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure
A General Physical-topological Framework using Rule-based Language for Physical Simulation. VISIGRAPP (1: GRAPP) (2017)
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Exhaustive test sets for algebraic specifications. Softw. Test. Verification Reliab. 26 (4) (2016)
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. ICGT (2014)
Thomas Bellet, Agnès Arnould, Pascale Le Gall
Rule-based transformations for geometric modelling TERMGRAPH (2011)
Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall
Designing a Topological Modeler Kernel: A Rule-Based Approach. Shape Modeling International (2010)
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
Graph Transformation for Topology Modelling. ICGT (2008)
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès
Topology-based abstraction of complex biological systems: application to the Golgi apparatus. Theory Biosci. 127 (2) (2008)
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN (2007)
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure
Topology-based Geometric Modelling for Biological Cellular Processes. LATA (2007)
Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet
Automatic Generation of Functional Programs from CASL Specifications. ICSEA (2006)
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES (2005)
Agnès Arnould, Pascale Le Gall
Test de conformité : une approche algébrique. Tech. Sci. Informatiques 21 (9) (2002)
Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand
Spécifications formelles du chanfreinage. Tech. Sci. Informatiques 21 (8) (2002)
Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
Geometric Modelling with CASL. WADT (2001)
Bruno Marre, Agnès Arnould
Test Sequences Generation from LUSTRE Descriptions: GATeL. ASE (2000)
Agnès Arnould, Pascale Le Gall, Bruno Marre
Dynamic Testing from Bounded Data Type Specifications. EDCC (1996)
Pascale Le Gall, Agnès Arnould
Formal Specifications and Test: Correctness and Oracle. COMPASS/ADT (1995)