Nombre de documents

25

CV de Agnès Arnould


Communication dans un congrès17 documents

  • Valentin Gauthier, Hakim Belhaouari, Agnès Arnould. Évaluation de la modélisation à base de transformation de graphes avec Jerboa. Journées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France. <hal-01286541>
  • Hakim Belhaouari, Agnès Arnould. Jerboa: un modeleur géométrique à base de règles de transformations de graphes. Journées de l'Association Française Graphique (AFIG), Nov 2014, Reims, France. 2014, <http://reimsimage2014.univ-reims.fr/>. <hal-01286540>
  • Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet. Jerboa : a graph transformation library for topology-base geometric modeling. 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. <hal-01110743>
  • Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet. JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling. 7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. Springer, 8571, 2014. <hal-01012851>
  • Thomas Bellet, Agnès Arnould, Pascale Le Gall. JERBOA : un modeleur géométrique à base de règles. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France. 2012. <hal-00936743>
  • Thomas Bellet, Agnès Arnould, Pascale Le Gall. Rule-based transformations for geometric modeling. 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Part of ETAPS 2011, Apr 2011, Saarbrücken, Germany. 20p, 2011. <hal-00865432>
  • Thomas Bellet, Agnès Arnould, Laurent Fuchs. Polyhedral embedding of a topological structure. Applied Geometric Algebras in Computer Science and Engineering (AGACSE 2010), Jun 2010, Amsterdam, Netherlands. <hal-00488183>
  • Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall. Designing a Topological Modeler Kernel: A Rule-Based Approach. Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France. 2010. <hal-00488171>
  • Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall. Transformations de graphes pour les opérations topologiques en modélisation géométrique. 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France. <hal-00488533>
  • Thomas Bellet, Agnès Arnould, Sylvain Charneau, Laurent Fuchs. Modélisation nD à base d'algèbres géométriques. 21ème journées de l'AFIG (AFIG 2008), Nov 2008, Toulouse, France. <hal-00354183>
  • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall. Graph Transformation for Topology Modelling..  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>. <hal-00341176>
  • Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Test selection criteria for quantifier-free first-order specifications. 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. <hal-00353787>
  • Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, et al.. Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics. European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany. <hal-00348154>
  • Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure. Topology-based Geometric Modelling for Biological Cellular Processes. International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragone, Spain. pp.497-508, 2007. <hal-00348152>
  • Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet. Automatic generation of functional programs from CASL specifications. International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), 2006, <10.1109/ICSEA.2006.261290>. <hal-00341983>
  • Mathieu Poudret, Agnès Arnould, Yves Bertrand. Un Générateur de Noyaux de Modeleurs. 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. <hal-00354148>
  • Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms. 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>. <hal-00341964>

Autre publication2 documents

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

Article dans une revue5 documents

  • Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Exhaustive test sets for algebraic specification correctness. Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, 26 (4), pp.294-317. <http://onlinelibrary.wiley.com/doi/10.1002/stvr.1598/abstract>. <hal-01318362>
  • Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall. Transformations de graphes pour les opérations topologiques en modélisation géométrique. 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>. <hal-01137358>
  • Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, et al.. Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi Apparatus. Theory in Biosciences, 2008, 127 (2), pp.79-88. <hal-00352003>
  • Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, et al.. Spécifications formelles du chanfreinage. Techniques et Sciences Informatiquess, Editions Hermès, 2002, 21 (8), pp.1-26. <hal-00352083>
  • Agnès Arnould, Pascale Le Gall. Test de conformité : une approche algébrique. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2002, 21 (9), pp.1219-1242. <hal-00352131>

Chapitre d'ouvrage1 document

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