Agnès Arnould

According to our database, Agnès Arnould authored at least 23 papers between 1995 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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., March, 2022

Topological consistency preservation with graph transformation schemes.

Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari

Sci. Comput. Program., 2022

Inferring topological operations on generalized maps: Application to subdivision schemes.

Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall

Graph. Vis. Comput., 2022

2020

Transparent Parallelization of Enrichment Operations in Geometric Modeling.

Pierre Bourquat, Hakim Belhaouari, Philippe Meseure, Valentin Gauthier, Agnès Arnould

Proceedings of the 15th International Joint Conference on Computer Vision, 2020

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

A General Physical-topological Framework using Rule-based Language for Physical Simulation.

Fatma Ben Salah, Hakim Belhaouari, Agnès Arnould, Philippe Meseure

Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 1: GRAPP, Porto, Portugal, February 27, 2017

Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions.

Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

Exhaustive test sets for algebraic specifications.

Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet

Softw. Test. Verification Reliab., 2016

2014

Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling.

Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet

Proceedings of the Graph Transformation - 7th International Conference, 2014

2011

Rule-based transformations for geometric modelling

Thomas Bellet, Agnès Arnould, Pascale Le Gall

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

2010

Designing a Topological Modeler Kernel: A Rule-Based Approach.

Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall

Proceedings of the SMI 2010, 2010

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

Graph Transformation for Topology Modelling.

Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

Topology-based Geometric Modelling for Biological Cellular Processes.

Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

Test Selection Criteria for Quantifier-Free First-Order Specifications.

Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

Automatic Generation of Functional Programs from CASL Specifications.

Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

2005

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.

Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

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

Test de conformité : une approche algébrique.

Agnès Arnould, Pascale Le Gall

Tech. Sci. Informatiques, 2002

2001

Geometric Modelling with CASL.

Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000

Test Sequences Generation from LUSTRE Descriptions: GATeL.

Bruno Marre, Agnès Arnould

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1996

Dynamic Testing from Bounded Data Type Specifications.

Agnès Arnould, Pascale Le Gall, Bruno Marre

Proceedings of the Dependable Computing, 1996

1995

Formal Specifications and Test: Correctness and Oracle.

Pascale Le Gall, Agnès Arnould

Proceedings of the Recent Trends in Data Type Specification, 1995