-
Notifications
You must be signed in to change notification settings - Fork 1
Comprehensive list of publications
This document contains a comprehensive list of publications related to VIATRA and IncQuery from the BME FTSRG research group, organized by year with academic URLs and local PDF links.
Total Publications: 70
The Train Benchmark: Cross-Technology Performance Evaluation of Continuous Model Queries [PDF] - Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró
Software and Systems Modeling, Vol. 17, No. 4, pp. 1365-1393, 2018
Effects of Graph Transformation Rules to Design Space Exploration Problems [PDF] - András Nagy, Dániel Varró
Proceedings of the 24th PhD Mini-Symposium, Budapest University of Technology and Economics, 2017
Incremental Queries and Transformations: From Concepts to Industrial Applications - Dániel Varró
SOFSEM 2016: Theory and Practice of Computer Science, LNCS Vol. 9587, pp. 51-59, Springer, 2016
Rete Network Slicing for Model Queries - Zoltán Ujhelyi, Gábor Bergmann, Dániel Varró
Graph Transformation (ICGT 2016), LNCS Vol. 9761, pp. 137-152, Springer, 2016
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework - Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
Software and Systems Modeling, Vol. 15, No. 3, pp. 609-629, 2016
Local search-based pattern matching features in EMF-IncQuery [PDF] - Márton Búr, Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Graph Transformation (ICGT 2015), LNCS Vol. 9151, pp. 275-282, Springer, 2015
VIATRA 3: A Reactive Model Transformation Platform [PDF] - Gábor Bergmann, István Dávid, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró
Theory and Practice of Model Transformations (ICMT 2015), LNCS Vol. 9152, pp. 101-110, Springer, 2015
EMF-IncQuery: An Integrated Development Environment for Live Model Queries [PDF] - Zoltán Ujhelyi, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Benedek Izsó, István Ráth, Zoltán Szatmári, Dániel Varró
Science of Computer Programming, Vol. 98, pp. 80-99, 2015
Performance Comparison of Query-based Techniques for Anti-Pattern Detection [PDF] - Zoltán Ujhelyi, Gábor Szőke, Ákos Horváth, Norbert Csiszár, László Vidács, Dániel Varró, Rudolf Ferenc
Information and Software Technology, Vol. 65, pp. 147-165, 2015
A model-driven framework for guided design space exploration [PDF] - Ábel Hegedüs, Ákos Horváth, Dániel Varró
Automated Software Engineering, Vol. 22, No. 3, pp. 399-436, 2015
Translating OCL to Graph Patterns [PDF] - Gábor Bergmann
Model-Driven Engineering Languages and Systems (MODELS 2014), LNCS Vol. 8767, pp. 670-686, Springer, 2014
Hardware-software allocation specification of IMA systems for early simulation [PDF] - Ákos Horváth, Ábel Hegedüs, Márton Búr, Dániel Varró, Rodrigo Starr, Sebastien Mirachi
Conference Publication, 2014
Multi-Objective Optimization in Rule-Based Design Space Exploration [PDF] - Hani Abdeen, Dániel Varró, Houari Sahraoui, András Nagy, Ábel Hegedüs, Ákos Horváth, Csaba Debreceni
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), pp. 411-422, IEEE, 2014
Streaming Model Transformations By Complex Event Processing - István Dávid, István Ráth, Dániel Varró
Conference Publication, 2014
Query-driven incremental synchronization of view models [PDF] - Csaba Debreceni, Ákos Horváth, Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Dániel Varró
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, Article 31, ACM, 2014
Query-driven soft traceability links for models [PDF] - Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró
Software and Systems Modeling, Vol. 15, No. 3, pp. 733-756, 2016 (published online 2014)
Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver [PDF] - Oszkár Semeráth, Ákos Horváth, Dániel Varró
Model Driven Engineering Languages and Systems (MODELS 2013), LNCS Vol. 8107, pp. 533-549, Springer, 2013
Towards Precise Metrics for Predicting Graph Query Performance [PDF] - Benedek Izsó, Zoltán Szatmári, Gábor Bergmann, Ákos Horváth, István Ráth
28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), pp. 412-431, IEEE, 2013
PN2SC Case Study: An EMF-IncQuery solution [PDF] - Benedek Izsó, Ábel Hegedüs, Gábor Bergmann, Ákos Horváth, István Ráth
Conference Publication, 2013
A survey and comparison of transformation tools based on the transformation tool contest [PDF] - Edgar Jakumeit, Sebastian Buchwald, Dennis Wagelaar, Lei Dan, Ábel Hegedüs, Markus Herrmannsdörfer, Tassilo Horn, Elina Kalnina, Christian Krause, Kevin Lano, Massimo Tisi, Janis Barzdins, Mirco Trifonova, Edward Willink, Adrián Zulay
Science of Computer Programming, Vol. 85, Part A, pp. 41-99, 2013
Integrating Efficient Model Queries in State-of-the-Art EMF Tools [PDF] - Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, Zoltán Ujhelyi, István Ráth, Dániel Varró
Objects, Models, Components, Patterns (TOOLS 2012), LNCS Vol. 7304, pp. 6-23, Springer, 2012
Query-driven soft interconnection of EMF models [PDF] - Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
Model Driven Engineering Languages and Systems (MODELS 2012), LNCS Vol. 7590, pp. 134-150, Springer, 2012
Derived Features for EMF by Integrating Advanced Model Queries [PDF] - István Ráth, Ábel Hegedüs, Dániel Varró
European Conference on Modelling Foundations and Applications (ECMFA 2012), LNCS Vol. 7349, pp. 132-148, Springer, 2012
Developing and Visualizing Live Model Queries - Zoltán Ujhelyi, Tamás Szabó, István Ráth, Dániel Varró
1st Workshop on the Analysis of Model Transformations (AMT 2012), pp. 17-26, ACM, 2012
Dynamic Backward Slicing of Model Transformations [PDF] - Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
IEEE International Conference on Software Testing, Verification and Validation, pp. 79-88, IEEE, 2012
Incremental pattern matching for the efficient computation of transitive closure [PDF] - Gábor Bergmann, István Ráth, Tamás Szabó, Paolo Torrini, Dániel Varró
Graph Transformations (ICGT 2012), LNCS Vol. 7562, pp. 386-400, Springer, 2012
Replaying Execution Trace Models for Dynamic Modeling Languages [PDF] - Ábel Hegedüs, István Ráth, Dániel Varró
Conference Publication, 2012
Change-driven model transformations. Change (in) the rule to rule the change. - Gábor Bergmann, István Ráth, Gergely Varró, Dániel Varró
Software and Systems Modeling, Vol. 11, No. 3, pp. 431-461, 2012
Dynamic constraint satisfaction problems over models [PDF] - Ákos Horváth, Dániel Varró
Conference Publication, 2012
Quick fix generation for DSMLs [PDF] - Ábel Hegedüs, Ákos Horváth, István Ráth, Miguel Branco, Dániel Varró
2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 17-24, IEEE, 2011
Solving the TTC 2011 Reengineering Case with VIATRA2 [PDF] - Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann
Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 74, pp. 136-148, 2011
Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case [PDF] - Ábel Hegedüs, Zoltán Ujhelyi, Gábor Bergmann
Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 74, pp. 302-324, 2011
A Model-driven Framework for Guided Design Space Exploration - Ábel Hegedüs, Ákos Horváth, István Ráth, Dániel Varró
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 173-182, IEEE, 2011
A Graph Query Language for EMF models [PDF] - Gábor Bergmann, Zoltán Ujhelyi, István Ráth, Dániel Varró
Theory and Practice of Model Transformations (ICMT 2011), LNCS Vol. 6707, pp. 167-182, Springer, 2011
Visualization of Traceability Models with Domain-specific Layouting [PDF] - Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Ákos Horváth
Conference Publication, 2011
Static Type Checking of Model Transformation Programs [PDF] - Zoltán Ujhelyi
Electronic Communications of the EASST, Vol. 38, International Conference on Graph Transformation 2010 - Doctoral Symposium, 2010
Static Type Checking of Model Transformation Programs - Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Electronic Communications of the EASST, Vol. 38, International Conference on Graph Transformation 2010 - Doctoral Symposium, 2011
Towards Guided Trajectory Exploration of Graph Transformation Systems [PDF] - Ábel Hegedüs, Ákos Horváth, Dániel Varró
Conference Publication, 2010
Új formalizmus eseményvezérelt gráftranszformációhoz - Gábor Bergmann
Conference Publication, 2010
Back-annotation of Simulation Traces with Change-Driven Model Transformations [PDF] - Ábel Hegedüs, Gábor Bergmann, István Ráth, Dániel Varró
2010 8th IEEE International Conference on Software Engineering and Formal Methods, pp. 145-155, IEEE, 2010
Incremental Evaluation of Model Queries over EMF Models [PDF] - Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltán Balogh, Ákos Ökrös
Model Driven Engineering Languages and Systems (MODELS 2010), LNCS Vol. 6394, pp. 76-92, Springer, 2010
Stochastic Simulation of Graph Transformation Systems - Paolo Torrini, Reiko Heckel, István Ráth
Conference Publication, 2010
Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2 [PDF] - Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró
Conference Publication, 2010
Synchronization of abstract and concrete syntax in domain-specific modeling languages - István Ráth, Ákos Ökrös, Dániel Varró
Software and Systems Modeling, Vol. 9, pp. 453-471, Springer, 2010
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2 [PDF] - Ábel Hegedüs, István Ráth, Dániel Varró
Conference Publication, 2010
Back-annotation framework for Simulation Traces of Discrete Event-based Languages [PDF] - Ábel Hegedüs, István Ráth, Dániel Varró
Conference Publication, 2010
Change-Driven Model Transformations - István Ráth, Gergely Varró, Dániel Varró
Model Driven Engineering Languages and Systems (MODELS 2009), LNCS Vol. 5795, Springer, 2009
Efficient Model Transformations by Combining Pattern Matching Strategies [PDF] - Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Conference Publication, 2009
Graph Transformation Based Constraint Solving - Ákos Horváth
Conference Publication, 2009
BPMN to BPEL case study solution in VIATRA2 [PDF] - Gábor Bergmann, Ákos Horváth
Conference Publication, 2009
CSP(M): Constraint Satisfaction Problem over Models [PDF] - Ákos Horváth, Dániel Varró
Model Driven Engineering Languages and Systems (MODELS 2009), LNCS Vol. 5795, pp. 107-121, Springer, 2009
Parallelization of Graph Transformation Based on Incremental Pattern Matching - Gábor Bergmann, István Ráth, Dániel Varró
Conference Publication, 2009
Model Transformation by Example Using Inductive Logic Programming - Zoltán Balogh, Dániel Varró
Conference Publication, 2009
Static Type Checking of Model Transformations by Constraint Satisfaction Programming [PDF] - Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Conference Publication, 2009
Generic Static Analysis of Transformation Programs [PDF] - Zoltán Ujhelyi, Ákos Horváth, Dániel Varró
Conference Publication, 2009
Static Analysis of Model Transformations [PDF] - Zoltán Ujhelyi
Conference Publication, 2009
Design-time simulation of domain-specific models by incremental pattern matching - István Ráth, Dávid Vágó, Dániel Varró
Conference Publication, 2008
Incremental pattern matching in the VIATRA model transformation system [PDF] - Gábor Bergmann, Ákos Ökrös, István Ráth, Dániel Varró, Gergely Varró
Conference Publication, 2008
Live Model Transformations Driven by Incremental Pattern Matching - István Ráth, Gábor Bergmann, Ákos Ökrös, Dániel Varró
Theory and Practice of Model Transformations (ICMT 2008), LNCS Vol. 5063, pp. 107-121, Springer, 2008
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation [PDF] - Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró
Conference Publication, 2008
Incremental graph pattern matching and applications [PDF] - Gábor Bergmann
Conference Publication, 2008
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools - Dániel Varró, Mátyás Asztalos, Dénes Bisztray, Artur Boronat, Dang Duy-, Robin Geiss
Conference Publication, 2007
Automating Model Transformation by Example Using Inductive Logic Programming [PDF] - Dániel Varró, Zoltán Balogh
Conference Publication, 2007
Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans [PDF] - Gergely Varró, Ákos Horváth, Dániel Varró
Conference Publication, 2007
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools [PDF] - Robin Geiss, Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva
Conference Publication, 2007
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, Elsevier, 2007
Generic Search Plans for Matching Advanced Graph Patterns [PDF] - Ákos Horváth, Dániel Varró, Gergely Varró
Conference Publication, 2007
Pattern Composition in Graph Transformation Rules [PDF] - András Balogh, Dániel Varró
Conference Publication, 2006
Advanced Model Transformation Language Constructs in the VIATRA2 Framework [PDF] - András Balogh, Dániel Varró
Conference Publication, 2006
Benchmarking for Graph Transformation [PDF] - Gergely Varró, Andy Schürr, Dániel Varró
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 79-88, IEEE, 2005
📁 Local PDF Collection: 43 papers have downloadable PDFs available in the pdfs/ subfolder.
🔗 PDFs Linked: Papers with available PDFs show a [PDF] link next to the title.
📥 Download Source: All PDFs were collected from the original BME FTSRG repository at inf.mit.bme.hu.
Generated: August 2025
Original source: BME FTSRG Bibliography (http://inf.mit.bme.hu/en/biblio/keyword/82%2081)
PDF collection: Successfully downloaded 43 out of 70 publications (61.4% availability)
Note: All 70 publications now have proper academic URLs or placeholder URLs