Search

Now showing items 1-10 of 38

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)

Contextual Graph Triggers

Bergmann, Gábor; Varró, Dániel (2010)

Automatic Refinement of Transformation by Examples

Guta, Gábor; Schreiner, Wolfgang; Varró, Dániel (2010)

Static Analysis of Model Transformations

Ujhelyi, Zoltán; Varró, Dániel (2010)

BPEL Verification: The Back-annotation Problem

Hegedűs, Ábel; Varró, Dániel (2010)

Graph Triggers and Incrementally Evaluated Queries over EMF Models

Bergmann, Gábor; Varró, Dániel (2011)

Criteria Evaluation-driven State Space Exploration of Graph Transformation Systems

Hegedüs, Ábel; Varró, Dániel (2011)

Def-Use Analysis of Model Transformation Programs with Program Slicing

Ujhelyi, Zoltán; Varró, Dániel (2011)

Dynamic Backward Slicing of Model Transformations

Ujhelyi, Zoltán; Varró, Dániel (2012)

A Model-Driven Framework for Guided Design Space Exploration

Hegedüs, Ábel; Varró, Dániel (2012)

1
2
3
4