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. H1 - SP2MI
11 Bd Marie et Pierre Curie
TSA 41123
86073 Poitiers Cedex 9

GPS : 86360 Futuroscope Chasseneuil

Recherche

Mot(s) clé(s)

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

Publications saisies sur le serveur HAL

Afficher la liste complète ci-dessous dans un nouvel onglet

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

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 mars 2022 - Fin de page