Publikációk
Szűrők: Az Utónév Első Betűje = U  [Minden szűrő visszaállítása]
 
"The Future is Big Graphs! A Community View on Graph Processing Systems",  
Communications of the ACM, 2021.
To be published in CACM
 
"Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework",  
Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016.
 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
 
"Performance Comparison of Query-based Techniques for Anti-Pattern Detection",  
Information and Software Technology, vol. 65, pp. 147-165, 09/2015.
 Abstract
 
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",  
Science of Computer Programming, vol. 98, issue 1, 02/2015.
 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
 
"Viatra 3 : A Reactive Model Transformation Platform",  
8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015.
 Abstract
 
"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.
 
"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%
 
"Movie Database Case: An EMF-IncQuery Solution",  
7th Transformation Tool Contest, York, United Kingdom, 2014.
 Abstract
 
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",  
TOOLS Europe 2012, Prague, Springer, 05/2012.
 Abstract
Acceptance rate: 31%
 
"Dynamic Backward Slicing of Model Transformations",  
International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012.
 Abstract
Acceptance rate: 27%
 
"Developing and Visualizing Live Model Queries",  
1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
 
"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
 
"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
 
"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.
 
"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.
 
"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%
 
"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.
 
"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",  
Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.
 
"Static Analysis of Model Transformations",  
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.


] 