-
Notifications
You must be signed in to change notification settings - Fork 1
Historic Papers
The following papers document the early foundations and evolution of the VIATRA2 framework (based on Eclipse VIATRA2 Research Papers):
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models
György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró
17th IEEE International Conference on Automated Software Engineering (ASE 2002), pp. 267-270, 2002
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML
Dániel Varró, András Pataricza
Software and Systems Modeling, Vol. 2, No. 3, pp. 187-210, 2003
Advanced model transformation language constructs in the VIATRA2 framework
András Balogh, Dániel Varró
ACM Symposium on Applied Computing (SAC 2006), pp. 1280-1287, 2006
The model transformation language of the VIATRA2 framework
Dániel Varró, András Balogh
Science of Computer Programming, Vol. 68, No. 3, pp. 214-234, 2007
Generic search plans for matching advanced graph patterns
Ákos Horváth, Gergely Varró, Dániel Varró
6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), ECEASST Vol. 6, 2007
Recursive Graph Pattern Matching With Magic Sets and Global Search Plans
Gergely Varró, Ákos Horváth, Dániel Varró
Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007), LNCS Vol. 5088, pp. 456-470, 2008
Incremental Graph Pattern Matching: Data Structures and Initial Experiments
Gergely Varró, Frederik Deckwerth, Martin Wieber, Andy Schürr
2nd International Workshop on Graph and Model Transformation (GraMoT 2006), ENTCS Vol. 152, pp. 199-211, 2006
Live model transformations driven by incremental pattern matching
István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró
Theory and Practice of Model Transformations (ICMT 2008), LNCS Vol. 5063, pp. 107-121, 2008
Efficient Model Transformations by Combining Pattern Matching Strategies
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Theory and Practice of Model Transformations (ICMT 2009), LNCS Vol. 5563, pp. 20-34, 2009
CSP(M): Constraint Satisfaction Problem over Models
Ákos Horváth, Dániel Varró
Model Driven Engineering Languages and Systems (MODELS 2009), LNCS Vol. 5795, pp. 107-121, 2009
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Graph Transformations (ICGT 2008), LNCS Vol. 5214, pp. 396-410, 2008
Benchmarking for graph transformation
Gergely Varró, Andy Schürr, Dániel Varró
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), pp. 79-88, IEEE, 2005
Note: These historic papers represent the foundational research and early development of the VIATRA framework and its pattern matching technologies. They provide important context for understanding the evolution of the current VIATRA and EMF-IncQuery technologies.
Generated: August 2025
Source: Eclipse VIATRA2 Research Papers (https://wiki.eclipse.org/VIATRA2/ResearchPapers)