Logo XLIM

Poitiers site



Agnès ARNOULD

 
Status:Senior Lecturer / Researcher
Team:Computer Graphics
E-mail:
Phone number:+33 (0)5 49 49 68 64
Fax number:+33 (0)5 49 49 65 70
  
Office number:3/E35
Laboratoire XLIM UMR CNRS 7252
Bât. H1 - SP2MI
11 Bd Marie et Pierre Curie
TSA 41123
86073 Poitiers Cedex 9

GPS : 86360 Futuroscope Chasseneuil

Research activities

Keyword(s)

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

Publications entered on HAL server

See the full list below in a new tab

Complete list of Agnès Arnould's publications for XLIM laboratory

Publications entered on SIC server

Complete list of Agnès Arnould's publications for SIC laboratory

National Journals

[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

International Conferences with Reading Committee

[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

National Conferences with Reading Committee

[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

National Conferences without Reading Committee

[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 

Others Communications

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

Technical Reports

[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.
      Research report 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

Credits and legal notices - Dernière mise à jour le 25 février 2019 - Fin de page