The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Agnès Arnould: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pascale Le Gall, Agnès Arnould
    Formal Specifications and Test: Correctness and Oracle. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:342-358 [Conf]
  2. Agnès Arnould, Pascale Le Gall, Bruno Marre
    Dynamic Testing from Bounded Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    EDCC, 1996, pp:285-302 [Conf]
  3. Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
    Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:203-217 [Conf]
  4. Bruno Marre, Agnès Arnould
    Test Sequences Generation from LUSTRE Descriptions: GATeL. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:229-0 [Conf]
  5. Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
    Geometric Modelling with CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:176-200 [Conf]
  6. Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet
    Automatic Generation of Functional Programs from CASL Specifications. [Citation Graph (0, 0)][DBLP]
    ICSEA, 2006, pp:34- [Conf]
  7. Agnès Arnould, Pascale Le Gall
    Test de conformité : une approche algébrique. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1219-1242 [Journal]
  8. Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand
    Spécifications formelles du chanfreinage. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:8, pp:1073-1098 [Journal]
  9. Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
    Test Selection Criteria for Quantifier-Free First-Order Specifications. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:144-159 [Conf]

  10. Graph Transformation for Topology Modelling. [Citation Graph (, )][DBLP]


  11. Designing a Topological Modeler Kernel: A Rule-Based Approach. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002