graph transformation

Dynamic constraint satisfaction problems over models

Horváth, Á., and Varró, D., "Dynamic constraint satisfaction problems over models", Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012.

PDF:

Kovács, Máté, Gönczy, L., and Varró, D., "Formal analysis of BPEL workflows with compensation by model checking", International Journal of Computer Systems and Engineering, vol. 23, no. 5, 2008.

Varró, D., and Balogh, A., "The Model Transformation Language of the {VIATRA2} Framework", Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007.

Gönczy, L., and Varró, D., "Modeling Reliable Messaging in {Service Oriented Architecture}", International Workshop on Web Services –- Modeling and Testing, Palermo, Italy, June, 2006.

Darabos, A., Pataricza, A., and Varró, D., "Towards Testing the Implementation of Graph Transformations", Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006.

Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., and Taentzer, G., "Termination Analysis of Model Transformations by {Petri} Nets", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.

Balogh, A., Varró, G., Varró, D., and Pataricza, A., "Compiling Model Transformations to {EJB3}-Specific Transformer Plugins", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1288-1295, April, 2006.

Varró, G., Varró, D., and Friedl, K., "Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006.