Agnès Arnould

	2011
13		Thomas Bellet, Agnès Arnould, Pascale Le Gall: Rule-based transformations for geometric modelling TERMGRAPH 2011: 20-37
	2010
12		Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall: Designing a Topological Modeler Kernel: A Rule-Based Approach. Shape Modeling International 2010: 100-112
	2008
11		Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall: Graph Transformation for Topology Modelling. ICGT 2008: 147-161
	2007
10		Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet: Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159
9		Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure: Topology-based Geometric Modelling for Biological Cellular Processes. LATA 2007: 497-508
	2006
8		Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet: Automatic Generation of Functional Programs from CASL Specifications. ICSEA 2006: 34
	2005
7		Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre: Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217
	2002
6		Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand: Spécifications formelles du chanfreinage. Technique et Science Informatiques 21(8): 1073-1098 (2002)
5		Agnès Arnould, Pascale Le Gall: Test de conformité : une approche algébrique. Technique et Science Informatiques 21(9): 1219-1242 (2002)
	2001
4		Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand: Geometric Modelling with CASL. WADT 2001: 176-200
	2000
3		Bruno Marre, Agnès Arnould: Test Sequences Generation from LUSTRE Descriptions: GATeL. ASE 2000: 229-
	1996
2		Agnès Arnould, Pascale Le Gall, Bruno Marre: Dynamic Testing from Bounded Data Type Specifications. EDCC 1996: 285-302
	1995
1		Pascale Le Gall, Agnès Arnould: Formal Specifications and Test: Correctness and Oracle. COMPASS/ADT 1995: 342-358

Coauthor Index

1	Marc Aiguier	[7] [8] [10]
2	Thomas Bellet	[12] [13]
3	Yves Bertrand	[4] [6]
4	Clément Boin	[7]
5	Thibaud Brunet	[8]
6	Jean-Paul Comet	[9] [11]
7	Catherine Dubois	[6]
8	Laurent Fuchs	[8] [12]
9	Pascale Le Gall	[1] [2] [4] [5] [6] [7] [9] [10] [11] [12] [13]
10	Franck Ledoux	[4] [6]
11	Delphine Longuet	[10]
12	Bruno Marre	[2] [3] [7]
13	Philippe Meseure	[9]
14	Jean-Marc Mota	[6]
15	Mathieu Poudret	[9] [11] [12]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page