A Formal Graph-Transformation Based Language for Model-to-Model Transformations, 2004. ,
Term Rewriting Systems, chapter Term Graph Rewriting, 2003. ,
The ATL Transformationbased Model Management Framwork, 2003. ,
Verifying red-black trees, Proc. of COSMICAH '05, 2005. Proceedings available as report RR-05-04 ,
ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION ??? PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH, 1996. ,
DOI : 10.1142/9789812384720_0003
ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION ??? PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH, Handbook of Graph Grammars and Computing by Graph Transformations, pp.247-312, 1997. ,
DOI : 10.1142/9789812384720_0004
Shape types, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, 1997. ,
DOI : 10.1145/263699.263706
Graph types, POPL, pp.196-205, 1993. ,
DOI : 10.7146/dpb.v21i421.7952
Tool Integration with Triple Graph Grammars - A Survey, Proceedings of the SegraVis School on Foundations of Visual Modelling Techniques, pp.113-150, 2006. ,
DOI : 10.1016/j.entcs.2005.12.015
On executable meta-languages applied to model transformations, Proc. Model Transformations In Practice Workshop, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000381
A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002. ,
TERM GRAPH REWRITING, Handbook of Graph Grammars and Computing by Graph Transformation, 1999. ,
DOI : 10.1142/9789812815149_0001
AGG: A graph transformation environment for system modeling and validation, Proc. Tool Exihibition at Formal Methods, 2003. ,