Logo XLIM

Site de Poitiers



Agnès ARNOULD

 
Statut :Maître de Conférences
Equipe :Informatique Graphique
Email :
Téléphone :+33 (0)5 49 49 68 64
Télécopie :+33 (0)5 49 49 65 70
  
Bureau :3/E35
Laboratoire XLIM
UMR CNRS 7252
Bât. SP2MI, Téléport 2,
11 Bd Marie et Pierre Curie, BP 30179
86962 Futuroscope Chasseneuil Cedex
France

Recherche

Mot(s) clé(s)

Thème Modélisation Géométrique et Animation, Méthodes formelles.

Publications saisies sur le serveur HAL -- Laboratoire XLIM ou SIC

Liste complète des publications de Agnès Arnould pour le laboratoire XLIM ou SIC

Dernière mise à jour le 11/03/2016 à 10:46:06

Nombre total de publications : 23

Article dans des revues

[ART-003]Transformations de graphes pour les opérations topologiques en modélisation géométrique
Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall.
Revue Electronique Francophone d'Informatique Graphique, Association Française d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77. <http://www.irit.fr/REFIG/index.php/refig/article/view/77>
[ART-002]PDFSpécifications formelles du chanfreinage
Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall.
Techniques et Sciences Informatiquess, Editions Hermès, 2002, 21 (8), pp.1-26
[ART-001]PDFTest de conformité : une approche algébrique
Agnès Arnould, Pascale Le Gall.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2002, 21 (9), pp.1219-1242

Communication dans un congrès

[COMM-017]Évaluation de la modélisation à base de transformation de graphes avec Jerboa
Valentin Gauthier, Hakim Belhaouari, Agnès Arnould.
Journées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France
[COMM-016]Jerboa: un modeleur géométrique à base de règles de transformations de graphes
Hakim Belhaouari, Agnès Arnould.
Journées de l'Association Française Graphique (AFIG), Nov 2014, Reims, France. 2014, <http://reimsimage2014.univ-reims.fr/>
[COMM-015]Jerboa : a graph transformation library for topology-base geometric modeling
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet.
Holger Giese, Barbara König. International Conference on Graph Transformations, Jul 2014, York, United Kingdom. Springer, 2014, Graph Transformation - 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
[COMM-014]JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet.
7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. Springer, 8571, 2014
[COMM-013]PDFJERBOA : un modeleur géométrique à base de règles
Thomas Bellet, Agnès Arnould, Pascale Le Gall.
Approches Formelles dans l'Assistance au Développement de Logiciels (AFDL), Jan 2012, Grenoble, France. 2012
[COMM-012]Rule-based transformations for geometric modeling
Thomas Bellet, Agnès Arnould, Pascale Le Gall.
6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Part of ETAPS 2011, Apr 2011, Saarbrücken, Germany. 20p, 2011
[COMM-011]Designing a Topological Modeler Kernel: A Rule-Based Approach
Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall.
Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France. 2010
[COMM-010]Polyhedral embedding of a topological structure
Thomas Bellet, Agnès Arnould, Laurent Fuchs.
Applied Geometric Algebras in Computer Science and Engineering (AGACSE 2010), Jun 2010, Amsterdam, Netherlands
[COMM-009]Transformations de graphes pour les opérations topologiques en modélisation géométrique
Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall.
22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France
[COMM-008]Modélisation nD à base d'algèbres géométriques
Thomas Bellet, Agnès Arnould, Sylvain Charneau, Laurent Fuchs.
21ème journées de l'AFIG (AFIG 2008), Nov 2008, Toulouse, France
[COMM-007]Graph Transformation for Topology Modelling.
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall.
 4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. Springer, 5214, pp.147-161, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-87405-8_11>
[COMM-006]PDFExploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould.
European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
[COMM-005]Test selection criteria for quantifier-free first-order specifications
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet.
2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. Springer, 4767, pp.144-159, 2007, Lecture Notes in Computer Science
[COMM-004]PDFTopology-based Geometric Modelling for Biological Cellular Processes
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure.
International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragone, Spain. pp.497-508, 2007
[COMM-003]PDFAutomatic generation of functional programs from CASL specifications
Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet.
International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), 2006, <10.1109/ICSEA.2006.261290>
[COMM-002]Un Générateur de Noyaux de Modeleurs
Mathieu Poudret, Agnès Arnould, Yves Bertrand.
18èmes Journées de l'Association Française d'Informatique Graphique et de l'Association Chapitre Français d'Eurographics (AFIG'05), Nov 2005, Strasbourg, France
[COMM-001]PDFTesting 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 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, United Kingdom. 3997, pp.203--217, 2005, Lecture Notes in Computer Science. <10.1007/11759744_14>

Chapitre d'ouvrage

[COUV-001]Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould.
Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008

Autre publication

[OTHER-002]Cartes Combinatoires Ouvertes
Mathieu Poudret, Agnès Arnould, Yves Bertrand, Pascal Lienhardt.
Rapport de recherche SIC. 2007
[OTHER-001]Testing from algebraic specifications: test data set selection by unfolding axioms
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre.
Testing from algebraic specifications: test data set selection by unfolding axioms. 2005

Publications saisies sur le serveur SIC

Liste complète des publications de Agnès Arnould pour le laboratoire SIC (antérieures à 2007)

Revues Nationales

[3] Spécifications formelles du chanfreinage
      Ledoux F., Mota J.-M., Arnould A., Dubois C., Le Gall P., Bertrand Y.
      Technique et Science Informatiques, Volume 21, n°8, p 1-26 - 2002

[2] Test de conformité : une approche algébrique
      Arnould A., Le Gall P.
      Technique et Science Informatiques, Volume 21, n°9, p 1219-1242, Test de logiciel - 2002

[1] Génération automatique de tests à partir de spécifications de structures de données bornées
      Arnould A., Marre B., Le Gall P.
      Technique et science informatique, Volume 18, n°3 - Mars 1999

Conférences Internationales avec Comité de Lecture

[4] Automatic generation of functional programs from CASL specifications
      Arnould A., Fuchs L., Aiguier M., Brunet T.
      International Conference on Software Engineering Advances (ICSEA 2006), à paraître - October 2006  pdf  ps 

[3] Testing from algebraic specifications: test data set selection by unfolding axioms
      Aiguier M., Arnould A., Boin C., Le Gall P., Marre B.
      Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Number 3997, Revised Selected Papers - 2006  pdf  ps 

[2] Geometric modeling with CASL
      Ledoux F., Arnould A., Le Gall P., Bertrand Y.
      Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, Selected Paper - Avril 2001

[1] Test Sequences Generation from LUSTRE Descriptions: GATEL
      Marre B., Arnould A.
      Proceedings of ASE-00: The 15th IEEE Conference on Automated Software Engineering, Grenoble, France, IEEE CS Press - Septembre 2000

Conférences Nationales avec Comité de Lecture

[2] Spécifications formelles du chanfreinage
      Ledoux F., Mota J.-M., Arnould A., Dubois C., Le Gall P., Bertrand Y.
      Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Nancy, France - Juin 2001

[1] Génération automatique de séquences de test à partir de descriptions LUSTRE : GATeL
      Marre B., Arnould A.
      Journées Francophones des Langages Applicatifs (JFLA00) - Janvier 2000

Conférences Nationales sans Comité de Lecture

[1] Un Générateur de Noyaux de Modeleurs
      Poudret M, Arnould A, Bertrand Y
      18èmes Journées de l'Association Française d'Informatique Graphique et de l'Association Chapitre Français d'Eurographics (AFIG'05) - November 2005  pdf  ps 

Autres Communications

[1] Testing and Proving Behavioural Refinement
      Arnould A., Le Gall P., Mossakowski T.
      June 2006  pdf  ps   ps 

Rapports Techniques

[5] Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
      Aiguier M., Arnould A., Boin C., Le Gall P., Marre B.
      Rapport laMI n°110, Université d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - Janvier 2005

[4] Génération automatique de code O'Caml à partir de spécifications CASL
      Arnould A., Fuchs L., Aiguier M., Brunet T.
      Rapport de recherche 113, Université d'Évry-Val d'Essonne, Number 113 - 2005  pdf  ps   ps 

[3] Une approche topologique de l'opération d'arrondi d'objets 2D et 3D
      Ledoux F., Arnould A., Bertrand Y., Fuchs L., Le Gall P.
      Rapport LaMI, 95-2004, Université d'Évry-Val d'Essonne, Évry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - 2004

[2] A High-Level Operation in 3D Modeling: a CASL Case Study
      Ledoux F., Arnould A., Le Gall P., Bertrand Y.
      Rapport LaMI n°52, Université d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - 2000

[1] Formal specification for a mathematics-based application domain: geometric modeling
      Ledoux F., Mota J.-M., Arnould A., Dubois C., Le Gall P., Bertrand Y.
      Rapport LaMI n°51, Université d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - 2000

Crédits et mentions légales - Dernière mise à jour le 30 janvier 2017 - Fin de page