Contains the keyword graph transformation
Dynamic constraint satisfaction problems over models. Software and Systems Modeling. 2012;11(3):385-408. Abstract
Formal analysis of BPEL workflows with compensation by model checking. International Journal of Computer Systems and Engineering. 2008;23. Abstract
The Model Transformation Language of the {VIATRA2} Framework. Science of Computer Programming. 2007;68:214-34. Abstract
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
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%
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%
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
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
Modeling Reliable Messaging in {Service Oriented Architecture}. In: International Workshop on Web Services –- Modeling and Testing. Palermo, Italy; 2006. Abstract
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