Ujhelyi Zoltán

2014
2012
Ujhelyi, Z., Horváth, Á., and Varró, D., "Dynamic Backward Slicing of Model Transformations", International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012. Abstract

Acceptance rate: 27%

Ujhelyi, Z., Szabó, T., Ráth, I., and Varró, D., "Developing and Visualizing Live Model Queries", 1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
2011
Ujhelyi, Z., Horváth, Á., and Varró, D., "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
Hegedüs, Á., Ujhelyi, Z., Ráth, I., and Horváth, Á., "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
Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D., "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
Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "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
Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "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
Ujhelyi, Z., Horváth, Á., and Varró, D., "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.
Ujhelyi, Z., "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.
Bergmann, G., Ujhelyi, Z., Ráth, I., and Varró, D., "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%

2010
Ujhelyi, Z., "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.
Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.

Ujhelyi, Z., "Static Analysis of Model Transformations", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.
2009
Ujhelyi, Z., "Modelltranszformációk statikus analízise", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.

Ujhelyi, Z., Static Analysis of Model Transformations, : Budapest University of Technology and Economics, 2009.
Ujhelyi, Z., Horváth, Á., and Varró, D., Generic Static Analysis of Transformation Programs, , no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
Ujhelyi, Z., Horváth, Á., and Varró, D., Static Type Checking of Model Transformations by Constraint Satisfaction Programming, , no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.