Travelled to:3 × United Kingdom
Collaborated with:P.L.Gall B.Marre M.Poudret J.Comet H.Belhaouari T.Bellet P.Meseure M.Aiguier C.Boin
Talks about:topolog (3) model (3) test (3) transform (2) geometr (2) graph (2) base (2) descript (1) cellular (1) sequenc (1)
Person: Agnès Arnould
DBLP: Arnould:Agn=egrave=s
Contributed to:
20142008
2007
2005
2000Wrote 5 papers:
- ICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named
- Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
- ICGT-2008-PoudretACG #graph transformation #modelling
- Graph Transformation for Topology Modelling (MP, AA, JPC, PLG), pp. 147–161.
- LATA-2007-PoudretCGAM #biology #geometry #modelling #process
- Topology-based Geometric Modelling for Biological Cellular Processes (MP, JPC, PLG, AA, PM), pp. 497–508.
- FATES-2005-AiguierABGM #algebra #axiom #specification #testing
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (MA, AA, CB, PLG, BM), pp. 203–217.
- ASE-2000-MarreA #generative #sequence #testing
- Test Sequences Generation from LUSTRE Descriptions: GATeL (BM, AA), p. 229–?.