Publications
Filters: First Letter Of Last Name is U [Clear All Filters]
Generic Static Analysis of Transformation Programs,
, no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
Static Type Checking of Model Transformations by Constraint Satisfaction Programming,
, no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.
Static Analysis of Model Transformations,
: Budapest University of Technology and Economics, 2009.
"Movie Database Case: An EMF-IncQuery Solution",
7th Transformation Tool Contest, York, United Kingdom, 2014.
Abstract
"Rete Network Slicing for Model Queries",
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, vol. 9761, Vienna, Austria, Springer International Publishing, pp. 137–152, 06/2016.
Abstract
"Anti-pattern Detection with Model Queries: A Comparison of Approaches",
IEEE CSMR-WCRE 2014 Software Evolution Week: IEEE, 02/2014.
IEEE Best Paper Award, Acceptance rate: 31%
"Def-use Analysis of Model Transformation Programs with Program Slicing",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 46-49, 02/2011.
"Developing and Visualizing Live Model Queries",
1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
"Dynamic Backward Slicing of Model Transformations",
International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012.
Abstract
Acceptance rate: 27%
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract
"A Graph Query Language for EMF models",
Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707: Springer, pp. 167-182, 2011.
Abstract
Acceptance rate: 27%
"Implementing Efficient Model Validation in EMF Tools: Tool Demonstration",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
Abstract
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
"Introducing Dynamism to SA Forum Cluster",
Dependable Network Computing and Mobile Systems, Naples, Italy, 10/2008.
Abstract
"Local search-based pattern matching features in EMF-IncQuery",
8th International Conference on Graph Transformation, L'Aquila, Italy, Springer, 07/2015.
Abstract
Tool demonstration paper
"Modelltranszformációk statikus analízise",
Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.
"Query-driven incremental synchronization of view models",
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, York, United Kingdom, ACM, pp. 31, 07/2014.
"Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case",
TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 302-324, 11/2011.
Abstract
"Solving the TTC 2011 Reengineering Case with VIATRA2",
TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011.
Abstract
"Static Analysis of Model Transformations",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.
"Static Type Checking of Model Transformation Programs",
Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.
"Static Type Checking of Model Transformation Programs",
ICGT'10 Doctoral Symposium, University of Twente, Enschede, The Netherlands, Springer Berlin / Heidelberg, pp. 413-415, 10/2010.
"Towards Dynamic Backward Slicing of Model Transformations",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, IEEE Computer Society, 11/2011.
"Viatra 3 : A Reactive Model Transformation Platform",
8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015.
Abstract
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract