•         Strengthening UML Collaboration Diagrams by State Transformations

•         Towards Symbolic Analysis of Visual Modeling Languages

•         Application of Graph Transformation to Visual Languages

•         Domain Model Evolution in Visual Languages Using Graph Transformations