The model transformation language of the VIATRA2 framework D Varró, A Balogh Science of Computer Programming 68 (3), 214-234, 2007 | 301 | 2007 |
VIATRA-visual automated transformations for formal verification and validation of UML models G Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D Varró Automated Software Engineering, 2002. Proceedings. ASE 2002. 17th IEEE …, 2002 | 289 | 2002 |
Designing the Automatic Transformation of Visual Language D Varró, A Varró, Gergely Pataricza Science of Computer Programming 44 (2), 205-227, 2002 | 242 | 2002 |
Modeling and validation of service-oriented architectures: Application vs. style L Baresi, R Heckel, S Thöne, D Varró ACM SIGSOFT Software Engineering Notes 28 (5), 68-77, 2003 | 225 | 2003 |
Model transformation by example D Varró International Conference on Model Driven Engineering Languages and Systems …, 2006 | 198 | 2006 |
Generic and meta-transformations for model transformation engineering D Varró, A Pataricza International Conference on the Unified Modeling Language, 290-304, 2004 | 189 | 2004 |
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics) D Varró, A Pataricza Software & Systems Modeling 2 (3), 187-210, 2003 | 189 | 2003 |
Advanced model transformation language constructs in the VIATRA2 framework A Balogh, D Varró Proceedings of the 2006 ACM symposium on Applied computing, 1280-1287, 2006 | 177 | 2006 |
Termination criteria for model transformation H Ehrig, K Ehrig, J De Lara, G Taentzer, D Varró, S Varró-Gyapay International Conference on Fundamental Approaches to Software Engineering …, 2005 | 172 | 2005 |
Automated formal verification of visual modeling languages by model checking D Varró Software & Systems Modeling 3 (2), 85-113, 2004 | 164 | 2004 |
A formal semantics of UML statecharts by model transition systems D Varró International Conference on Graph Transformation, 378-392, 2002 | 160 | 2002 |
Model transformation by graph transformation: A comparative study G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ... | 159 | 2005 |
A research roadmap towards achieving scalability in model driven engineering DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ... Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013 | 158 | 2013 |
Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró International Conference on Graph Transformation, 226-241, 2004 | 153 | 2004 |
EMF-IncQuery: An integrated development environment for live model queries Z Ujhelyi, G Bergmann, Á Hegedüs, Á Horváth, B Izsó, I Ráth, Z Szatmári, ... Science of Computer Programming 98, 80-99, 2015 | 149 | 2015 |
Benchmarking for graph transformation G Varró, A Schurr, D Varró 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005 | 125 | 2005 |
Incremental evaluation of model queries over EMF models G Bergmann, Á Horváth, I Ráth, D Varró, A Balogh, Z Balogh, A Ökrös International Conference on Model Driven Engineering Languages and Systems …, 2010 | 123 | 2010 |
CheckVML: A tool for model checking visual modeling languages A Schmidt, D Varró International Conference on the Unified Modeling Language, 92-95, 2003 | 116 | 2003 |
Automated formal verification of model transformations D Varró, A Pataricza TUM, 63, 2003 | 115 | 2003 |
Incremental pattern matching in the VIATRA model transformation system G Bergmann, A Ökrös, I Ráth, D Varró, G Varró Proceedings of the third international workshop on Graph and model …, 2008 | 110 | 2008 |