The model transformation language of the VIATRA2 framework D Varró, A Balogh Science of computer programming 68 (3), 214-234, 2007 | 333 | 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 | 319 | 2002 |
Designing the Automatic Transformation of Visual Language D Varró, A Varró, Gergely Pataricza Science of Computer Programming 44 (2), 205-227, 2002 | 244 | 2002 |
Model transformation by example D Varró Model Driven Engineering Languages and Systems: 9th International Conference …, 2006 | 230 | 2006 |
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 | 227 | 2003 |
Generic and meta-transformations for model transformation engineering D Varró, A Pataricza International Conference on the Unified Modeling Language, 290-304, 2004 | 210 | 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, 187-210, 2003 | 200 | 2003 |
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 | 199 | 2013 |
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 | 188 | 2006 |
Termination criteria for model transformation H Ehrig, K Ehrig, J De Lara, G Taentzer, D Varró, S Varró-Gyapay Fundamental Approaches to Software Engineering: 8th International Conference …, 2005 | 182 | 2005 |
Model transformation by graph transformation: A comparative study G Taentzer, K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, ... Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica, 17, 2005 | 181 | 2005 |
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 | 180 | 2015 |
Automated formal verification of visual modeling languages by model checking D Varró Software & Systems Modeling 3, 85-113, 2004 | 173 | 2004 |
A formal semantics of UML statecharts by model transition systems D Varró International Conference on Graph Transformation, 378-392, 2002 | 165 | 2002 |
Model checking graph transformations: A comparison of two approaches A Rensink, Á Schmidt, D Varró Graph Transformations: Second International Conference, ICGT 2004, Rome …, 2004 | 164 | 2004 |
Survey and classification of model transformation tools N Kahani, M Bagherzadeh, JR Cordy, J Dingel, D Varró Software & Systems Modeling 18, 2361-2397, 2019 | 158 | 2019 |
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework D Varró, G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi Software & Systems Modeling 15, 609-629, 2016 | 144 | 2016 |
Incremental evaluation of model queries over EMF models G Bergmann, Á Horváth, I Ráth, D Varró, A Balogh, Z Balogh, A Ökrös Model Driven Engineering Languages and Systems: 13th International …, 2010 | 139 | 2010 |
A model-driven framework for guided design space exploration Á Hegedüs, Á Horváth, D Varró Automated Software Engineering 22, 399-436, 2015 | 135 | 2015 |
A Model-driven Framework for Guided Design Space Exploration A Hegedüs, A Horváth, I Ráth, D Varró ASE 2011: 26th IEEE Int. Conf on Automated Software Engineering, 2011 | 135* | 2011 |
Benchmarking for graph transformation G Varró, A Schurr, D Varró 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005 | 135 | 2005 |
Termination analysis of model transformations by Petri nets D Varró, S Varró–Gyapay, H Ehrig, U Prange, G Taentzer Graph Transformations, 260-274, 2006 | 123 | 2006 |
Automated formal verification of model transformations D Varró, A Pataricza TUM, 63, 2003 | 121 | 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 | 118 | 2008 |
Applying a model transformation taxonomy to graph transformation technology T Mens, P Van Gorp, D Varró, G Karsai Electronic Notes in Theoretical Computer Science 152, 143-159, 2006 | 118 | 2006 |
CheckVML: A tool for model checking visual modeling languages A Schmidt, D Varró «UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003 | 117 | 2003 |
Model transformation by example using inductive logic programming Z Balogh, D Varró Software & Systems Modeling 8 (3), 347-364, 2009 | 111 | 2009 |
A graph query language for EMF models G Bergmann, Z Ujhelyi, I Ráth, D Varró Theory and Practice of Model Transformations: 4th International Conference …, 2011 | 105 | 2011 |
Adaptive graph pattern matching for model transformations using model-sensitive search plans G Varró, K Friedl, D Varró Electronic Notes in Theoretical Computer Science 152, 191-205, 2006 | 104 | 2006 |
Change-driven model transformations: Change (in) the rule to rule the change G Bergmann, I Ráth, G Varró, D Varró Software & Systems Modeling 11, 431-461, 2012 | 103 | 2012 |
Multi-objective optimization in rule-based design space exploration H Abdeen, D Varró, H Sahraoui, AS Nagy, C Debreceni, Á Hegedüs, ... Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 97 | 2014 |
Viatra 3: A Reactive Model Transformation Platform G Bergmann, I Dávid, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró Theory and Practice of Model Transformations: 8th International Conference …, 2015 | 96 | 2015 |
Style-based refinement of dynamic software architectures L Baresi, R Heckel, S Thone, D Varró Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture …, 2004 | 93 | 2004 |
Using graph transformation for practical model-driven software engineering L Grunske, L Geiger, A Zündorf, N Van Eetvelde, P Van Gorp, D Varro Model-driven Software Development, 91-117, 2005 | 83 | 2005 |
Live model transformations driven by incremental pattern matching I Ráth, G Bergmann, A Ökrös, D Varró Theory and Practice of Model Transformations: First International Conference …, 2008 | 82 | 2008 |
A benchmark evaluation of incremental pattern matching in graph transformation G Bergmann, Á Horváth, I Ráth, D Varró International Conference on Graph Transformation, 396-410, 2008 | 79 | 2008 |
The Train Benchmark: cross-technology performance evaluation of continuous model queries G Szárnyas, B Izsó, I Ráth, D Varró Software & Systems Modeling 17, 1365-1393, 2018 | 78 | 2018 |
Quick fix generation for DSMLs Á Hegedüs, Á Horváth, I Ráth, MC Branco, D Varró 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2011 | 78 | 2011 |
Model transformation by graph transformation: A comparative study K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, U Prange, ... MTiP, 2005 | 77 | 2005 |
Automating model transformation by example using inductive logic programming D Varró, Z Balogh Proceedings of the 2007 ACM symposium on Applied computing, 978-984, 2007 | 72 | 2007 |
IncQuery-D: A distributed incremental model query framework in the cloud G Szárnyas, B Izsó, I Ráth, D Harmath, G Bergmann, D Varró Model-Driven Engineering Languages and Systems: 17th International …, 2014 | 70 | 2014 |
Graph transformation with time: Causality and logical clocks S Gyapay, R Heckel, D Varró Graph Transformation: First International Conference, ICGT 2002 Barcelona …, 2002 | 69* | 2002 |
Non-functional properties in the model-driven development of service-oriented systems S Gilmore, L Gönczy, N Koch, P Mayer, M Tribastone, D Varró Software & Systems Modeling 10, 287-311, 2011 | 67 | 2011 |
Towards symbolic analysis of visual modeling languages D Varró Electronic Notes in Theoretical Computer Science 72 (3), 51-64, 2003 | 64 | 2003 |
A graph solver for the automated generation of consistent domain-specific models O Semeráth, AS Nagy, D Varró Proceedings of the 40th international conference on software engineering …, 2018 | 63 | 2018 |
Opportunities in intelligent modeling assistance G Mussbacher, B Combemale, J Kienzle, S Abrahão, H Ali, N Bencomo, ... Software and Systems Modeling 19, 1045-1053, 2020 | 60 | 2020 |
Back-annotation of simulation traces with change-driven model transformations Á Hegedüs, G Bergmann, I Ráth, D Varró 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 60 | 2010 |
Foundations for streaming model transformations by complex event processing I Dávid, I Ráth, D Varró Software & Systems Modeling 17, 135-162, 2018 | 57 | 2018 |
Transformation of UML models to CSP: A case study for graph transformation tools D Varró, M Asztalos, D Bisztray, A Boronat, DH Dang, R Geiß, J Greenyer, ... Applications of Graph Transformations with Industrial Relevance: Third …, 2008 | 54 | 2008 |
Formal validation of domain-specific languages with derived features and well-formedness constraints O Semeráth, Á Barta, Á Horváth, Z Szatmári, D Varró Software & Systems Modeling 16, 357-392, 2017 | 53 | 2017 |
Automated model transformations for the analysis of IT systems V Daniel, DR ANDR, PHD PATARICZA Ph. D Thesis, 2003 | 53 | 2003 |
Formalising openCypher graph queries in relational algebra J Marton, G Szárnyas, D Varró Advances in Databases and Information Systems: 21st European Conference …, 2017 | 50 | 2017 |
Synchronization of abstract and concrete syntax in domain-specific modeling languages: By mapping models and live transformations I Ráth, A Ökrös, D Varró Software & Systems Modeling 9, 453-471, 2010 | 50 | 2010 |
Change-Driven Model Transformations: Derivation and Processing of Change Histories I Ráth, G Varró, D Varró Model Driven Engineering Languages and Systems: 12th International …, 2009 | 50 | 2009 |
Towards testing the implementation of graph transformations A Darabos, A Pataricza, D Varró Electronic Notes in Theoretical Computer Science 211, 75-85, 2008 | 48 | 2008 |
Generic search plans for matching advanced graph patterns Á Horváth, G Varró, D Varró Electronic Communications of the EASST 6, 2007 | 48 | 2007 |
Graph transformation with incremental updates G Varró, D Varró Electronic Notes in Theoretical Computer Science 109, 71-83, 2004 | 43 | 2004 |
Iterative and incremental model generation by logic solvers O Semeráth, A Vörös, D Varró International Conference on Fundamental Approaches to Software Engineering …, 2016 | 42 | 2016 |
Teaching modeling: why, when, what? J Bezivin, R France, M Gogolla, O Haugen, G Taentzer, D Varro Models in Software Engineering: Workshops and Symposia at MODELS 2009 …, 2010 | 42 | 2010 |
Automated model merge by design space exploration C Debreceni, I Ráth, D Varró, X De Carlos, X Mendialdua, S Trujillo International Conference on Fundamental Approaches to Software Engineering …, 2016 | 41 | 2016 |
Model-driven development of ARINC 653 configuration tables Á Horváth, D Varró 29th Digital Avionics Systems Conference, 6. E. 3-1-6. E. 3-15, 2010 | 41 | 2010 |
Incremental graph pattern matching: Data structures and initial experiments G Varró, D Varró, A Schürr Electronic Communications of the EASST 4, 2006 | 41 | 2006 |
Implementing a graph transformation engine in relational databases G Varró, K Friedl, D Varró Software & Systems Modeling 5 (3), 313-341, 2006 | 41 | 2006 |
Query-driven incremental synchronization of view models C Debreceni, Á Horváth, Á Hegedüs, Z Ujhelyi, I Ráth, D Varró Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and …, 2014 | 40 | 2014 |
Towards system-level testing with coverage guarantees for autonomous vehicles I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ... 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 39 | 2019 |
Towards the automated generation of consistent, diverse, scalable and realistic graph models D Varró, O Semeráth, G Szárnyas, Á Horváth Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig …, 2018 | 39 | 2018 |
Experimental assessment of combining pattern matching strategies with VIATRA2 A Horváth, G Bergmann, I Ráth, D Varró International Journal on Software Tools for Technology Transfer 12, 211-230, 2010 | 37* | 2010 |
Parallelization of graph transformation based on incremental pattern matching G Bergmann, I Ráth, D Varró Electronic Communications of the EASST 18, 2009 | 37 | 2009 |
Design-time simulation of domain-specific models by incremental pattern matching I Ráth, D Vágó, D Varró 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, 219-222, 2008 | 37 | 2008 |
Automated program generation for and by model transformation systems D Varró, D Varr Applied Graph Transformation (AGT’02), 161-174, 2002 | 37 | 2002 |
The Gamma statechart composition framework: design, verification and code generation for component-based reactive systems V Molnár, B Graics, A Vörös, I Majzik, D Varró Proceedings of the 40th International Conference on Software Engineering …, 2018 | 36 | 2018 |
Dynamic constraint satisfaction problems over models Á Horváth, D Varró Software & Systems Modeling 11 (3), 385-408, 2012 | 36 | 2012 |
Metamodeling mathematics: A precise and visual framework for describing semantics domains of UML models D Varró, A Pataricza ≪ UML≫ 2002—The Unified Modeling Language: Model Engineering, Concepts …, 2002 | 36 | 2002 |
Graph constraint evaluation over partial models by constraint rewriting O Semeráth, D Varró Theory and Practice of Model Transformation: 10th International Conference …, 2017 | 32 | 2017 |
Recursive Graph Pattern Matching: (With Magic Sets and Global Search Plans) G Varró, A Horváth, D Varró International Symposium on Applications of Graph Transformations with …, 2007 | 32 | 2007 |
An open visualization framework for metamodel-based modeling languages P Domokos, D Varró Electronic Notes in Theoretical Computer Science 72 (2), 69-78, 2002 | 32 | 2002 |
Query-based access control for secure collaborative modeling using bidirectional transformations G Bergmann, C Debreceni, I Ráth, D Varró Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016 | 31 | 2016 |
Modeling and analysis of architectural styles based on graph transformation L Baresi, R Heckel, S Thöne, D Varró Proc. 6th ICSE Workshop on Component-Based Software Engineering (CBSE6 …, 2003 | 31 | 2003 |
Streaming model transformations by complex event processing I Dávid, I Ráth, D Varró Model-Driven Engineering Languages and Systems: 17th International …, 2014 | 30 | 2014 |
Workflow-driven tool integration using model transformations A Balogh, G Bergmann, G Csertán, L Gönczy, A Horváth, I Majzik, ... Graph Transformations and Model-Driven Engineering: Essays Dedicated to …, 2010 | 30 | 2010 |
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity M Wirsing, M Hölzl, L Acciai, F Banti, A Clark, A Fantechi, S Gilmore, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 30 | 2008 |
Joint optimization and reachability analysis in graph transformation systems with time S Gyapay, A Schmidt, D Varró Electronic Notes in Theoretical Computer Science 109, 137-147, 2004 | 30 | 2004 |
Performance comparison of query-based techniques for anti-pattern detection Z Ujhelyi, G Szőke, Á Horváth, NI Csiszár, L Vidács, D Varró, R Ferenc Information and Software Technology 65, 147-165, 2015 | 29 | 2015 |
Dynamic backward slicing of model transformations A Horv 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 28 | 2012 |
Formal analysis of BPEL workflows with compensation by model checking M Kovács, D Varró, L Gonczy Computer Systems Science and Engineering 23 (5), 349, 2008 | 28 | 2008 |
UML action semantics for model transformation systems D Varró, A Pataricza Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 167-186, 2003 | 28 | 2003 |
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. O Semeráth, D Varró FASE 18, 227-245, 2018 | 27 | 2018 |
Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics G Szárnyas, Z Kővári, Á Salánki, D Varró Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016 | 27 | 2016 |
IncQuery-D: incremental graph search in the cloud. B Izsó, G Szárnyas, I Ráth, D Varró BigMDE@ STAF, 4, 2013 | 26 | 2013 |
Lessons learned from building model-driven development tools RF Paige, D Varró Software & Systems Modeling 11, 527-539, 2012 | 26 | 2012 |
Modeling of Reliable Messaging in Service Oriented Architectures 3 L Gönczy, D Varró International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006), 35, 2006 | 26 | 2006 |
Towards formal verification of model transformations D Varró | 26 | 2002 |
Mixed-semantics composition of statecharts for the component-based design of reactive systems B Graics, V Molnár, A Vörös, I Majzik, D Varró Software and Systems Modeling 19 (6), 1483-1517, 2020 | 25 | 2020 |
Distributed graph queries for runtime monitoring of cyber-physical systems M Búr, G Szilágyi, A Vörös, D Varró Fundamental Approaches to Software Engineering: 21st International …, 2018 | 25 | 2018 |
An Eclipse-based framework for AIS service configurations A Kövi, D Varró Service Availability (ISAS 2007), 110-126, 2007 | 25 | 2007 |
Local Search-Based Pattern Matching Features in EMF-IncQuery M Búr, Z Ujhelyi, Á Horváth, D Varró Graph Transformation: 8th International Conference, ICGT 2015, Held as Part …, 2015 | 24 | 2015 |
Derived features for EMF by integrating advanced model queries I Ráth, Á Hegedüs, D Varró Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012 | 24 | 2012 |
Modeling and verification of reliable messaging by graph transformation systems L Gönczy, M Kovács, D Varró Electronic Notes in Theoretical Computer Science 175 (4), 37-50, 2007 | 24 | 2007 |
Distributed graph queries over models@ run. time for runtime monitoring of cyber-physical systems M Búr, G Szilágyi, A Vörös, D Varró International Journal on Software Tools for Technology Transfer 22 (1), 79-102, 2020 | 23 | 2020 |
Incremental pattern matching for the efficient computation of transitive closure G Bergmann, I Ráth, T Szabó, P Torrini, D Varró International Conference on Graph Transformation, 386-400, 2012 | 23 | 2012 |