Viatra

Quick fix generation for DSMLs

Hegedüs, Á., Horváth, Á., Ráth, I., Branco, M C., and Varró, D., "Quick fix generation for DSMLs", IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, Pittsbourgh, PA, USA, IEEE Computer Society, 09/2011.
PDF: 

Static Type Checking of Model Transformation Programs

Ujhelyi, Z., Horváth, Á., and Varró, D., "Static Type Checking of Model Transformation Programs", Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011.
PDF: 

Static Type Checking of Model Transformation Programs

Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", ICGT'10 Doctoral Symposium, University of Twente, Enschede, The Netherlands, Springer Berlin / Heidelberg, pp. 413-415, 10/2010.
PDF: 

Graph Transformation Based Constraint Solving

Horváth, Á., "Graph Transformation Based Constraint Solving", Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 2009.
Syndicate content