Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto Multilevel coupled model transformations for precise and reusable definition of model behaviour. (English) Zbl 1423.68105 J. Log. Algebr. Methods Program. 106, 167-195 (2019). MSC: 68N30 PDFBibTeX XMLCite \textit{F. Macías} et al., J. Log. Algebr. Methods Program. 106, 167--195 (2019; Zbl 1423.68105) Full Text: DOI arXiv
da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila Theorem proving graph grammars with attributes and negative application conditions. (English) Zbl 1371.68139 Theor. Comput. Sci. 686, 25-77 (2017). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{S. A. da Costa Cavalheiro} et al., Theor. Comput. Sci. 686, 25--77 (2017; Zbl 1371.68139) Full Text: DOI
de Lara, Juan; Guerra, Esther Towards the flexible reuse of model transformations: a formal approach based on graph transformation. (English) Zbl 1371.68055 J. Log. Algebr. Methods Program. 83, No. 5-6, 427-458 (2014). MSC: 68N99 68Q42 PDFBibTeX XMLCite \textit{J. de Lara} and \textit{E. Guerra}, J. Log. Algebr. Methods Program. 83, No. 5--6, 427--458 (2014; Zbl 1371.68055) Full Text: DOI
Bergmann, Gábor; Horváth, Ákos; Ráth, István; Varró, Dániel A benchmark evaluation of incremental pattern matching in graph transformation. (English) Zbl 1175.68215 Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 396-410 (2008). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{G. Bergmann} et al., Lect. Notes Comput. Sci. 5214, 396--410 (2008; Zbl 1175.68215) Full Text: DOI
Varró, Dániel; Balogh, András The model transformation language of the VIATRA2 framework. (English) Zbl 1131.68040 Sci. Comput. Program. 68, No. 3, 214-234 (2007). MSC: 68N30 PDFBibTeX XMLCite \textit{D. Varró} and \textit{A. Balogh}, Sci. Comput. Program. 68, No. 3, 214--234 (2007; Zbl 1131.68040) Full Text: DOI