8 papers:
GT-VMT-2013-MaximovaEE #analysis #graph transformation- Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (MM, HE, CE).
- GT-VMT-2012-KhanRH #contract #testing #visual notation
- Visual Contracts as Test Oracle in AGG 2.0 (TAK, OR, RH).
AGTIVE-2011-RungeET #algebra #graph transformation #specification- AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations (OR, CE, GT), pp. 81–88.
WICSA-ECSA-2009-BucchiaronePVR #modelling #self #using #verification- Self-Repairing systems modeling and verification using AGG (AB, PP, CV, OR), pp. 181–190.
- GT-VMT-2007-FussMRS #comparison
- The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES (CF, CM, UR, ES).
- AGTIVE-2003-Taentzer #graph transformation #modelling #named #validation
- AGG: A Graph Transformation Environment for Modeling and Validation of Software (GT), pp. 446–453.
- AGTIVE-1999-Taentzer #algebra #graph transformation #named
- AGG: A Tool Environment for Algebraic Graph Transformation (GT), pp. 481–488.
RTA-1993-LoweB #algebra #graph grammar #implementation #named- AGG — An Implementation of Algebraic Graph Rewriting (ML, MB), pp. 451–456.
