| 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 | 178 | 2015 |
| 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 | 143 | 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 |
| 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 | 96 | 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 | 95 | 2015 |
| 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 |
| Quick fix generation for DSMLs A Hegedus, A Horváth, I Ráth, MC Branco, D Varro Visual Languages and Human-Centric Computing (VL/HCC), 2011 IEEE Symposium …, 2011 | 78 | 2011 |
| 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 |
| Generation of Sierpinski triangles: A case study for graph transformation tools G Taentzer, E Biermann, D Bisztray, B Bohnet, I Boneva, A Boronat, ... Applications of Graph Transformations with Industrial Relevance: Third …, 2008 | 51 | 2008 |
| Generic search plans for matching advanced graph patterns Á Horváth, G Varró, D Varró Electronic Communications of the EASST 6, 2007 | 48 | 2007 |
| 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 |
| 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 |
| Dynamic constraint satisfaction problems over models Á Horváth, D Varró Software & Systems Modeling 11 (3), 385-408, 2012 | 36 | 2012 |
| 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 | 32 | 2010 |
| 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 |
| 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 |
| 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 |
| 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 | 23 | 2015 |
| Integrating efficient model queries in state-of-the-art EMF tools G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró Objects, Models, Components, Patterns: 50th International Conference, TOOLS …, 2012 | 23 | 2012 |
| Anti-pattern detection with model queries: A comparison of approaches Z Ujhelyi, Á Horváth, D Varró, NI Csiszár, G Szőke, L Vidács, R Ferenc 2014 Software Evolution Week-IEEE Conference on Software Maintenance …, 2014 | 22 | 2014 |
| Query-driven soft traceability links for models Á Hegedüs, Á Horváth, I Ráth, RR Starr, D Varró Software & Systems Modeling 15, 733-756, 2016 | 21 | 2016 |
| Efficient model transformations by combining pattern matching strategies G Bergmann, A Horváth, I Ráth, D Varró Theory and Practice of Model Transformations: Second International …, 2009 | 20 | 2009 |
| Query-driven soft interconnection of EMF models Á Hegedüs, Á Horváth, I Ráth, D Varró International Conference on Model Driven Engineering Languages and Systems …, 2012 | 17 | 2012 |
| CSP (M): Constraint satisfaction problem over models Á Horváth, D Varró Model Driven Engineering Languages and Systems: 12th International …, 2009 | 16 | 2009 |
| Massif-the love child of Matlab Simulink and Eclipse Á Horváth, I Ráth, RR Starr EclipseCon NA, 2015 | 14 | 2015 |
| Towards dynamic backward slicing of model transformations Z Ujhelyi, Á Horváth, D Varró 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 13 | 2011 |
| Implementing efficient model validation in EMF tools G Bergmann, Á Hegedüs, Á Horváth, I Ráth, Z Ujhelyi, D Varró 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 11 | 2011 |
| Parallel saturation based model checking A Horv 2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011 | 11 | 2011 |
| Towards guided trajectory exploration of graph transformation systems Á Hegedüs, Á Horváth, D Varró Electronic Communications of the EASST 40, 2011 | 11 | 2011 |
| Hardware-software allocation specification of ima systems for early simulation Á Horváth, Á Hegedüs, M Búr, D Varró, RR Starr, S Mirachi 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC), 4D3-1-4D3-15, 2014 | 10 | 2014 |
| Applying incremental graph transformation to existing models in relational databases G Bergmann, D Horváth, Á Horváth International Conference on Graph Transformation, 371-385, 2012 | 10 | 2012 |
| Validation of Derived Features and Well-Formedness Constraints in DSLs: By Mapping Graph Queries to an SMT-Solver O Semeráth, Á Horváth, D Varró Model-Driven Engineering Languages and Systems: 16th International …, 2013 | 8 | 2013 |
| A generic static analysis framework for model transformation programs Z Ujhelyi, A Horváth, D Varró Budapest Univ. of Technology and Economics, Tech. Rep, 246, 2009 | 8 | 2009 |
| Tool support for engineering certifiable software L Gönczy, I Majzik, A Horváth, D Varró, A Balogh, Z Micskei, A Pataricza Electronic Notes in Theoretical Computer Science 238 (4), 79-85, 2009 | 7 | 2009 |
| Incremental evaluation of model queries over emf models: A tutorial on emf-incquery G Bergmann, Á Horváth, I Ráth, D Varró Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 …, 2011 | 6 | 2011 |
| Static type checking of model transformations by constraint satisfaction programming Z Ujhelyi, A Horváth, D Varró Technical report, Budapest University of Technology and Economics, 2009 | 5 | 2009 |
| Static analysis of model transformations Z Ujhelyi, A Horváth, D Varró Master’s thesis, Budapest University of Technology and Economics, 2009 | 5 | 2009 |
| Experimental assessment of combining pattern matching strategies with VIATRA2 G Bergmann, A Horváth, I Ráth, D Varró Journal of Software Tools in Technology Transfer, 2009 | 5 | 2009 |
| Automatic generation of platform-specific transformation Á Horváth, D Varró, G Varró Info-Communications-Technology 61 (7), 40-45, 2006 | 4 | 2006 |
| Search-based techniques in model-driven engineering Á Horváth PQDT-Global, 2013 | 2 | 2013 |
| Ontology driven design of EMF metamodels and well-formedness constraints B Izsó, Z Szatmári, G Bergmann, Á Horváth, I Ráth, D Varró Proceedings of the 12th Workshop on OCL and Textual Modelling, 37-42, 2012 | 2 | 2012 |
| Ecore to Genmodel case study solution using the Viatra2 framework Á Hegedüs, Z Ujhelyi, G Bergmann, Á Horváth Transformation Tool Contest 2010 1-2 July 2010, Malaga, Spain, 187, 2010 | 2 | 2010 |
| Towards a two layered verification approach for compiled graph transformation A Horváth Graph Transformations: 4th International Conference, ICGT 2008, Leicester …, 2008 | 2 | 2008 |
| Automatic generation of platform specific model transformation A Horváth Master’s thesis, Budapest University of Technology and Economics, Budapest, 2006 | 2 | 2006 |
| BPMN to BPEL case study solution in VIATRA2 G Bergmann, A Horváth GraBaTs, 2009 | 1 | 2009 |
| Visualization of Traceability Models with Domain-specific Layouting Á Hegedüs, Z Ujhelyi, I Ráth, Á Horváth Electronic Communications of the EASST 32, 2010 | | 2010 |
| Recursive Graph Pattern Matching, Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12 … G Varró, Á Horváth, D Varró Springer-Verlag, Berlin, Heidelberg, 2008 | | 2008 |
| Automatic Generation of Compiled Model Transformations Á Horváth CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 54, 2006 | | 2006 |
| Modelltranszfomrációk implementációjainak automatikus, transzformáció alapú generálása Á Horváth Erdélyi Múzeum-Egyesület, 2006 | | 2006 |
| Visualization of traceability models Á Hegedüs, Z Ujhelyi, Á Horváth, I Ráth | | |
| Graph Transformation with Incremental Pattern Matching on a Relational Database G Bergmann, D Horváth, Á Horváth | | |
| Generating the Sierpinski Triangles Using Viatra Á Horváth, M Kovács | | |
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillVerified email at liu.se
