Agnès Arnould

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