Publications
Filters: First Letter Of Last Name is U [Clear All Filters]
"Introducing Dynamism to SA Forum Cluster",
Dependable Network Computing and Mobile Systems, Naples, Italy, 10/2008.
Abstract
"Modelltranszformációk statikus analízise",
Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.
Static Analysis of Model Transformations,
: Budapest University of Technology and Economics, 2009.
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",
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.
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract
"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.
"Visualization of Traceability Models with Domain-specific Layouting",
Electronic Communications of the EASST, Proceedings of the Fourth International Workshop on Graph-Based Tools, vol. 32, 04/2011.
Abstract
"Static Type Checking of Model Transformation Programs",
Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011.
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%
"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.
"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
"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
"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.
"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%
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
"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%
"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.
"Movie Database Case: An EMF-IncQuery Solution",
7th Transformation Tool Contest, York, United Kingdom, 2014.
Abstract
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Performance Comparison of Query-based Techniques for Anti-Pattern Detection",
Information and Software Technology, vol. 65, pp. 147-165, 09/2015.
Abstract