Contains the keyword graph transformation

Horváth Á, Varró D. Dynamic constraint satisfaction problems over models. Software and Systems Modeling. 2012;11(3):385-408. Abstract
Kovács Má, Gönczy L, Varró D. Formal analysis of BPEL workflows with compensation by model checking. International Journal of Computer Systems and Engineering. 2008;23. Abstract
Darabos A, Pataricza A, Varró D. Towards Testing the Implementation of Graph Transformations. In: Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques. Elsevier; 2006. (ENTCS). Abstract
Varró D, Varró-Gyapay S, Ehrig H, Prange U, Taentzer G. Termination Analysis of Model Transformations by {Petri} Nets. In: Corradini A, Ehrig H, Montanari U, Ribeiro L, Rozenberg G, editors. Proc. Third International Conference on Graph Transformation (ICGT 2006). Vol 4178. Natal, Brazil: Springer; 2006. p. 260-74. (LNCS; vol 4178). Abstract
Acceptance rate: 45%
Balogh A, Varró G, Varró D, Pataricza A. Compiling Model Transformations to {EJB3}-Specific Transformer Plugins. In: ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006). Dijon, France: ACM Press; 2006. p. 1288-95. Abstract
Acceptance rate: 32%
Mens T, Gorp P, Karsai G, Varró D. Applying a Model Transformation Taxonomy to Graph Transformation Technology. In: Karsai G, Taentzer G, editors. GraMot 2005, International Workshop on Graph and Model Transformations. Vol 152. Elsevier; 2006. p. 143-59. (ENTCS; vol 152). Abstract
Varró G, Varró D, Friedl K. Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. In: Karsai G, Taentzer G, editors. GraMot 2005, International Workshop on Graph and Model Transformations. Vol 152. Elsevier; 2006. p. 191-205. (ENTCS; vol 152). Abstract
Gönczy L, Varró D. Modeling Reliable Messaging in {Service Oriented Architecture}. In: International Workshop on Web Services –- Modeling and Testing. Palermo, Italy; 2006. Abstract
Varró-Gyapay S, Varró D. Optimization in Graph Transformation Systems Using Petri Net Based Techniques. Electronic Communications of the EASST (ECEASST). 2006;2. Abstract
Selected papers of Workshop on Petri Nets and Graph Transformations
Tartalom átvétel