Formal Specifications and Test: Correctness and Oracle. - Pascale Le Gall; Agnès Arnould (COMPASS/ADT, 1995)

Dynamic Testing from Bounded Data Type Specifications. - Agnès Arnould; Pascale Le Gall; Bruno Marre (EDCC, 1996)

Test Sequences Generation from LUSTRE Descriptions: GATeL. - Bruno Marre; Agnès Arnould (ASE, 2000)

Geometric Modelling with CASL. - Franck Ledoux; Agnès Arnould; Pascale Le Gall; Yves Bertrand (WADT, 2001)

Test de conformité : une approche algébrique. - Agnès Arnould; Pascale Le Gall (Tech. Sci. Informatiques, 2002)

Spécifications formelles du chanfreinage. - Franck Ledoux; Jean-Marc Mota; Agnès Arnould; Catherine Dubois; Pascale Le Gall; Yves Bertrand (Tech. Sci. Informatiques, 2002)

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. - Marc Aiguier; Agnès Arnould; Clément Boin 002; Pascale Le Gall; Bruno Marre (FATES, 2005)

Automatic Generation of Functional Programs from CASL Specifications. - Agnès Arnould; Laurent Fuchs; Marc Aiguier; Thibaud Brunet (ICSEA, 2006)

Test Selection Criteria for Quantifier-Free First-Order Specifications. - Marc Aiguier; Agnès Arnould; Pascale Le Gall; Delphine Longuet (FSEN, 2007)

Topology-based Geometric Modelling for Biological Cellular Processes. - Mathieu Poudret; Jean-Paul Comet; Pascale Le Gall; Agnès Arnould; Philippe Meseure (LATA, 2007)

Graph Transformation for Topology Modelling. - Mathieu Poudret; Agnès Arnould; Jean-Paul Comet; Pascale Le Gall (ICGT, 2008)

Topology-based abstraction of complex biological systems: application to the Golgi apparatus. - Mathieu Poudret; Agnès Arnould; Jean-Paul Comet; Pascale Le Gall; Philippe Meseure; François Képès (Theory Biosci., 2008)

Designing a Topological Modeler Kernel: A Rule-Based Approach. - Thomas Bellet; Mathieu Poudret; Agnès Arnould; Laurent Fuchs; Pascale Le Gall (Shape Modeling International, 2010)

Rule-based transformations for geometric modelling - Thomas Bellet; Agnès Arnould; Pascale Le Gall (TERMGRAPH, 2011)

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. - Hakim Belhaouari; Agnès Arnould; Pascale Le Gall; Thomas Bellet (ICGT, 2014)

Exhaustive test sets for algebraic specifications. - Marc Aiguier; Agnès Arnould; Pascale Le Gall; Delphine Longuet (Softw. Test. Verification Reliab., 2016)

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. - Thomas Bellet; Agnès Arnould; Hakim Belhaouari; Pascale Le Gall (ICGT, 2017)

A General Physical-topological Framework using Rule-based Language for Physical Simulation. - Fatma Ben Salah; Hakim Belhaouari; Agnès Arnould; Philippe Meseure (VISIGRAPP (1: GRAPP), 2017)

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 (J. WSCG, 2017)

Transparent Parallelization of Enrichment Operations in Geometric Modeling. - Pierre Bourquat; Hakim Belhaouari; Philippe Meseure; Valentin Gauthier; Agnès Arnould (VISIGRAPP (1: GRAPP), 2020)

Inferring topological operations on generalized maps: Application to subdivision schemes. - Romain Pascual; Hakim Belhaouari; Agnès Arnould; Pascale Le Gall (Graph. Vis. Comput., 2022)

Topological consistency preservation with graph transformation schemes. - Romain Pascual; Pascale Le Gall; Agnès Arnould; Hakim Belhaouari (Sci. Comput. Program., 2022)

Preserving consistency in geometric modeling with graph transformations. - Agnès Arnould; Hakim Belhaouari; Thomas Bellet; Pascale Le Gall; Romain Pascual (Math. Struct. Comput. Sci., 2022)