Search

Now showing items 1-10 of 19

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

Bergmann, Gábor; Horváth, Ákos; Ráth, István Zoltán; Varró, Dániel (2008)

Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2

Horváth, Ákos; Bergmann, Gábor; Ráth, István Zoltán; Varró, Dániel (2010)

Static Type Checking of Model Transformation Programs

Ujhelyi, Zoltán; Horváth, Ákos; Varró, Dániel (2010)

Quick fix generation for DSMLs

Hegedüs, Ábel; Horváth, Ákos; Ráth, István Zoltán; Moisés Castelo Branco; Varró, Dániel (IEEE Computer Society Press, 2011)

Tool Support for Engineering Certifiable Software

Gönczy, László; Majzik, István; Horváth, Ákos; Varró, Dániel; Balogh András; Micskei, Zoltán Imre; Pataricza, András (2008)

Dynamic Backwards Slicing of Model Transformations

Ujhelyi, Zoltán; Horváth, Ákos; Varró, Dániel (IEEE Computer Society Press, 2012)

CSP(M): Constraint Satisfaction Problem over Models

Horváth, Ákos; Varró, Dániel (2009)

Query-driven soft interconnection of EMF models

Hegedüs, Ábel; Horváth, Ákos; Ráth, István Zoltán; Varró, Dániel (2012)

Efficient Model Transformations by Combining Pattern Matching Strategies

Bergmann, Gábor; Horváth, Ákos; Ráth, István Zoltán; Varró, Dániel (2009)

Anti-pattern detection with model queries: A comparison of approaches

Ujhelyi, Zoltán; Horváth, Ákos; Varró, Dániel; Csiszár Norbert István; Szőke Gábor; Vidács, László; Ferenc, Rudolf (IEEE Computer Society Press, 2014)