@mastersthesis{MTMT:3249492,
	title = {Program Analysis Techniques for Model Queries and Transformations},
	url = {https://m2.mtmt.hu/api/publication/3249492},
	author = {Ujhelyi, Zoltán},
	publisher = {Budapest University of Technology and Economics},
	unique-id = {3249492},
	year = {2017},
	orcid-numbers = {Ujhelyi, Zoltán/0000-0002-2091-6441}
}

@inproceedings{MTMT:3092086,
	title = {Rete Network Slicing for Model Queries},
	url = {https://m2.mtmt.hu/api/publication/3092086},
	author = {Ujhelyi, Zoltán and Bergmann, Gábor and Varró, Dániel},
	booktitle = {Graph Transformation},
	doi = {10.1007/978-3-319-40530-8_9},
	unique-id = {3092086},
	year = {2016},
	pages = {137-152},
	orcid-numbers = {Ujhelyi, Zoltán/0000-0002-2091-6441; Bergmann, Gábor/0000-0002-2556-2582; Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:3092063,
	title = {Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework},
	url = {https://m2.mtmt.hu/api/publication/3092063},
	author = {Varró, Dániel and Bergmann, Gábor and Hegedüs, Ábel and Horváth, Á and Ráth, István Zoltán and Ujhelyi, Zoltán},
	doi = {10.1007/s10270-016-0530-4},
	journal-iso = {SOFTW SYST MODEL},
	journal = {SOFTWARE AND SYSTEMS MODELING},
	volume = {15},
	unique-id = {3092063},
	issn = {1619-1366},
	year = {2016},
	eissn = {1619-1374},
	pages = {609-629},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X; Bergmann, Gábor/0000-0002-2556-2582; Hegedüs, Ábel/0000-0002-8940-4348; Ujhelyi, Zoltán/0000-0002-2091-6441}
}

@inproceedings{MTMT:2924871,
	title = {Local Search-Based Pattern Matching Features in EMF-IncQuery},
	url = {https://m2.mtmt.hu/api/publication/2924871},
	author = {Búr, Márton and Ujhelyi, Zoltán and Horváth, Ákos and Varró, Dániel},
	booktitle = {Graph Transformation},
	doi = {10.1007/978-3-319-21145-9_18},
	unique-id = {2924871},
	abstract = {Graph patterns provide a declarative formalism to describe model queries used for several important engineering tasks, such as well-formedness constraint validation or model transformations. As different pattern matching approaches, such as local search or incremental evaluation, have different performance characteristics (smaller memory footprint vs. smaller runtime), a wider range of practical problems can be addressed. The current paper reports on a novel feature of the EMF-IncQuery framework supporting local search-based pattern matching strategy to complement the existing incremental pattern matching capabilities. The reuse of the existing pattern language and query development environment of EMF-IncQuery enables to select the most appropriate strategy separately for each pattern without any modifications to the definitions of existing patterns. Furthermore, a graphical debugger component is introduced that visualizes the execution of the search process, helping to understand how complex patterns behave. This tool paper presents the new pattern matching feature from an end users viewpoint while the scientific details of the pattern matching strategy itself are omitted. The approach is illustrated on a case study of automated identification of anti-patterns over program models created from Java source code.},
	keywords = {EMF-IncQuery; Integrated development environment; Local search-based pattern matching},
	year = {2015},
	pages = {275-282},
	orcid-numbers = {Ujhelyi, Zoltán/0000-0002-2091-6441; Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:2924869,
	title = {Viatra 3: A Reactive Model Transformation Platform},
	url = {https://m2.mtmt.hu/api/publication/2924869},
	author = {Bergmann, Gábor and Dávid, István and Hegedüs, Ábel and Horváth, Ákos and Ráth, István Zoltán and Ujhelyi, Zoltán and Varró, Dániel},
	booktitle = {Theory and Practice of Model Transformations},
	doi = {10.1007/978-3-319-21155-8_8},
	unique-id = {2924869},
	abstract = {Model-driven tools frequently rely on advanced technologies to support model queries, view maintenance, design rule validation, model transformations or design space exploration. Some of these features are initiated explicitly by domain engineers (batch execution) while others are executed automatically when certain trigger events are detected (live execution). Unfortunately, their integration into a complex industrial modeling environment is difficult due to hidden interference and unspecified interaction between different features. In this paper, we present a reactive, event-driven model transformation platform over EMF models, which captures tool features as model queries and transformations, and provides a systematic, well-founded integration between a variety of such tool features. Viatra 3 offers a family of internal DSLs (i.e. dedicated libraries) to specify advanced tool features built on top of existing languages like EMF-IncQuery and Xtend. Its main innovation is a source incremental execution scheme built on the reactive programming paradigm ssupported by an event-driven virtual machine.},
	keywords = {Virtual machine; Source incremental transformations; Reactive programming; Event-driven transformation},
	year = {2015},
	pages = {101-110},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582; Hegedüs, Ábel/0000-0002-8940-4348; Ujhelyi, Zoltán/0000-0002-2091-6441; Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:2853474,
	title = {Performance comparison of query-based techniques for anti-pattern detection},
	url = {https://m2.mtmt.hu/api/publication/2853474},
	author = {Ujhelyi, Zoltán and Szőke, Gábor and Horváth, Ákos and Norbert, István Csiszár and Vidács, László and Varró, Dániel and Ferenc, Rudolf},
	doi = {10.1016/j.infsof.2015.01.003},
	journal-iso = {INFORM SOFTWARE TECH},
	journal = {INFORMATION AND SOFTWARE TECHNOLOGY},
	volume = {65},
	unique-id = {2853474},
	issn = {0950-5849},
	abstract = {Context: Program queries play an important role in several software evolution tasks like program comprehension, impact analysis, or the automated identification of anti-patterns for complex refactoring operations. A central artifact of these tasks is the reverse engineered program model built up from the source code (usually an Abstract Semantic Graph, ASG), which is traditionally post-processed by dedicated, hand-coded queries. Objective: Our paper investigates the costs and benefits of using the popular industrial Eclipse Modeling Framework (EMF) as an underlying representation of program models processed by four different general-purpose model query techniques based on native Java code, OCL evaluation and (incremental) graph pattern matching. Method: We provide in-depth comparison of these techniques on the source code of 28 Java projects using anti-pattern queries taken from refactoring operations in different usage profiles. Results: Our results show that general purpose model queries can outperform hand-coded queries by 2-3 orders of magnitude, with the trade-off of an increased in memory consumption and model load time of up to an order of magnitude. Conclusion: The measurement results of usage profiles can be used as guidelines for selecting the appropriate query technologies in concrete scenarios.},
	keywords = {computer software; Semantics; Columbus; Codes (symbols); Pattern matching; Java programming language; Economic and social effects; Refactorings; Refactoring; Design for testability; OCL; Performance measurements; EMF-IncQuery; Anti-patterns},
	year = {2015},
	eissn = {1873-6025},
	pages = {147-165},
	orcid-numbers = {Ujhelyi, Zoltán/0000-0002-2091-6441; Vidács, László/0000-0002-0319-3915; Varró, Dániel/0000-0002-8790-252X; Ferenc, Rudolf/0000-0001-8897-7403}
}

@article{MTMT:2696210,
	title = {EMF-IncQuery. An integrated development environment for live model queries},
	url = {https://m2.mtmt.hu/api/publication/2696210},
	author = {Ujhelyi, Zoltán and Bergmann, Gábor and Hegedüs, Ábel and Horváth, Ákos and Izsó, Benedek and Ráth, István Zoltán and Szatmári, Zoltán and Varró, Dániel},
	doi = {10.1016/j.scico.2014.01.004},
	journal-iso = {SCI COMPUT PROGRAM},
	journal = {SCIENCE OF COMPUTER PROGRAMMING},
	volume = {98},
	unique-id = {2696210},
	issn = {0167-6423},
	year = {2015},
	eissn = {1872-7964},
	pages = {80-99},
	orcid-numbers = {Ujhelyi, Zoltán/0000-0002-2091-6441; Bergmann, Gábor/0000-0002-2556-2582; Hegedüs, Ábel/0000-0002-8940-4348; Varró, Dániel/0000-0002-8790-252X}
}

@CONFERENCE{MTMT:2813997,
	title = {Movie database case: An EMF-IncQuery solution},
	url = {https://m2.mtmt.hu/api/publication/2813997},
	author = {Szárnyas, Gábor and Semeráth, Oszkár and Izsó, Benedek and Debreceni, Csaba and Hegedüs, Ábel and Ujhelyi, Zoltán and Bergmann, Gábor},
	booktitle = {7th Transformation Tool Contest},
	unique-id = {2813997},
	abstract = {This paper presents a solution for the Movie Database Case of the 
		Transformation Tool Contest 2014, using EMF-INCQUERY and Xtend 
		for implementing the model transformation.},
	year = {2014},
	pages = {103-115},
	orcid-numbers = {Debreceni, Csaba/0000-0002-6263-7758; Hegedüs, Ábel/0000-0002-8940-4348; Ujhelyi, Zoltán/0000-0002-2091-6441; Bergmann, Gábor/0000-0002-2556-2582}
}

@inproceedings{MTMT:2763253,
	title = {Query-driven Incremental Synchronization of View Models},
	url = {https://m2.mtmt.hu/api/publication/2763253},
	author = {Debreceni, Csaba and Horváth, Ákos and Hegedüs, Ábel and Ujhelyi, Zoltán and Ráth, István Zoltán and Varró, Dániel},
	booktitle = {Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
	doi = {10.1145/2631675.2631677},
	unique-id = {2763253},
	abstract = {Views are key concepts of domain-specific modeling in order 
		to provide specific focus of the designers by abstracting 
		from unnecessary details of the underlying abstract model. 
		Usually, these views are represented as models themselves 
		(view models), computed from the source model. However, the 
		efficient maintenance of views when the source model changes 
		is challenging, as recalculation from scratch has to be 
		avoided to achieve scalability.
		
		In the paper, we propose an approach to define view models in 
		a highly automated way, based on declarative model queries. 
		The views are automatically populated in accordance with the 
		lifecycle of regular model elements - however, their 
		existence is entirely bound to the underlying abstract model. 
		This means that view models are automatically and 
		incrementally maintained. Our contribution can also be 
		interpreted as extending the concepts of derived features to 
		derived objects, specified and maintained by incremental 
		queries.},
	year = {2014},
	pages = {31-38},
	orcid-numbers = {Debreceni, Csaba/0000-0002-6263-7758; Hegedüs, Ábel/0000-0002-8940-4348; Ujhelyi, Zoltán/0000-0002-2091-6441; Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:2498771,
	title = {Anti-pattern detection with model queries: A comparison of approaches},
	url = {https://m2.mtmt.hu/api/publication/2498771},
	author = {Ujhelyi, Zoltán and Horváth, Ákos and Varró, Dániel and Csiszár, Norbert István and Szőke, Gábor and Vidács, László and Ferenc, Rudolf},
	booktitle = {2014 SOFTWARE EVOLUTION WEEK - IEEE CONFERENCE ON SOFTWARE MAINTENANCE, REENGINEERING, AND REVERSE ENGINEERING (CSMR-WCRE)},
	doi = {10.1109/CSMR-WCRE.2014.6747181},
	unique-id = {2498771},
	year = {2014},
	pages = {293-302},
	orcid-numbers = {Ujhelyi, Zoltán/0000-0002-2091-6441; Varró, Dániel/0000-0002-8790-252X; Vidács, László/0000-0002-0319-3915; Ferenc, Rudolf/0000-0001-8897-7403}
}