Agnès Arnould

Most-cited papers

Test sequences generation from LUSTRE descriptions: GATEL
B. Marre, Agnès Arnould
2000Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering147 citations
Semantic Scholar
Formal Specifications and Test: Correctness and Oracle
P. Le Gall, Agnès Arnould
1995COMPASS/ADT42 citations
Semantic Scholar
Exhaustive test sets for algebraic specification correctness
M. Aiguier, Agnès Arnould, P. Le Gall
200727 citations
Semantic Scholar
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling
Hakim Belhaouari, Agnès Arnould, P. Le Gall, Thomas Bellet
2014International Conference on Graph Transformation26 citations
Semantic Scholar
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
M. Aiguier, Agnès Arnould, Clément Boin, P. Le Gall +1 more
2005International Workshop on Formal Approaches to Testing of Software18 citations
Semantic Scholar
Designing a Topological Modeler Kernel: A Rule-Based Approach
Thomas Bellet, M. Poudret, Agnès Arnould, Laurent Fuchs +1 more
2010Shape Modeling International Conference15 citations
Semantic Scholar
Graph Transformation for Topology Modelling
M. Poudret, Agnès Arnould, J. Comet, P. Le Gall
2008International Conference on Graph Transformation13 citations
Semantic Scholar
Persistent Naming Based on Graph Transformation Rules to Reevaluate Parametric Specification
A. Cardot, D. Marcheix, Xavier Skapin, Agnès Arnould +1 more
2018Computer-Aided Design and Applications11 citations Open access
Semantic Scholar
Topology-based Geometric Modelling for Biological Cellular Processes
M. Poudret, J. Comet, P. Le Gall, Agnès Arnould +1 more
2007Language and Automata Theory and Applications10 citations
Semantic Scholar
Dynamic Testing from Bounded Data Type Specifications
Agnès Arnould, P. Le Gall, B. Marre
1996European Dependable Computing Conference10 citations
Semantic Scholar
Topological consistency preservation with graph transformation schemes
Romain Pascual, P. Le Gall, Agnès Arnould, Hakim Belhaouari
2022Science of Computer Programming9 citations Open access
Semantic Scholar
A General Physical-topological Framework using Rule-based Language for Physical Simulation
F. Ben Salah, Hakim Belhaouari, Agnès Arnould, P. Meseure
2017VISIGRAPP9 citations Open access
Semantic Scholar
Rule-based transformations for geometric modelling
Thomas Bellet, Agnès Arnould, P. Le Gall
2011TERMGRAPH8 citations Open access
Semantic Scholar
Test selection criteria for quantifier-free first-order specifications
M. Aiguier, Agnès Arnould, P. Le Gall, D. Longuet
2007Fundamentals of Software Engineering8 citations Open access
Semantic Scholar
Preserving consistency in geometric modeling with graph transformations
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, P. Le Gall +1 more
2022Mathematical Structures in Computer Science7 citations Open access
Semantic Scholar
Geometric Modelling with CASL
F. Ledoux, Agnès Arnould, P. Le Gall, Y. Bertrand
2001Workshop on Recent Trends in Algebraic Development Techniques5 citations
Semantic Scholar
A Topological Approach for Automated Unstructured Meshing of Complex Reservoir
Valentine Gauthier, Agnès Arnould, Hakim Belhaouari, S. Horna +3 more
20164 citations Open access
Semantic Scholar
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, P. Le Gall
2017International Conference on Graph Transformation3 citations
Semantic Scholar
Inferring topological operations on generalized maps: Application to subdivision schemes
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P. Le Gall
2022Graphics and Visual Computing2 citations Open access
Semantic Scholar
Transparent Parallelization of Enrichment Operations in Geometric Modeling
Pierre Bourquat, Hakim Belhaouari, P. Meseure, Valentine Gauthier +1 more
2020VISIGRAPP2 citations Open access
Semantic Scholar
Exhaustive test sets for algebraic specifications
M. Aiguier, Agnès Arnould, P. Le Gall, D. Longuet
2016Software testing, verification & reliability2 citations
Semantic Scholar
Polyhedral embedding of a topological structure
Thomas Bellet, Agnès Arnould, Laurent Fuchs
20102 citations
Semantic Scholar
A Modular Approach Based on Graph Transformation to Simulate Tearing and Fractures on Various Mechanical Models
F. Ben Salah, Hakim Belhaouari, Agnès Arnould, P. Meseure
2017International Conference in Central Europe on Computer Graphics and Visualization1 citations
Semantic Scholar
Constraint-preserving labeled graph transformations for topology-based geometric modeling
Thomas Bellet, Agnès Arnould, P. Le Gall
20171 citations
Semantic Scholar
Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics
M. Poudret, J. Comet, P. Le Gall, F. Képès +2 more
20071 citations
Semantic Scholar
Automatic Generation of Functional Programs from CASL Specifications
Agnès Arnould, Laurent Fuchs, M. Aiguier, Thibaud Brunet
2006International Conference on Software Engineering Advances1 citations Open access
Semantic Scholar
Program Synthesis for Geometric Modeling
Romain Pascual, P. Le Gall, Hakim Belhaouari, Agnès Arnould
2025International Workshop/Symposium on Logic-based Program Synthesis and Transformation0 citations
Semantic Scholar
A First Step Towards the Inference of Geological Topological Operations
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P. Le Gall
2022Eurographics0 citations Open access
Semantic Scholar
Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus
M. Poudret, J. Comet, P. Le Gall, F. Képès +4 more
20080 citations
Semantic Scholar
Graphics and Visual Computing
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P. Le Gall
0 citations
Semantic Scholar