Contains the keyword Viatra
Quick fix generation for DSMLs. In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011. Pittsbourgh, PA, USA: IEEE Computer Society; 2011. Abstract
Acceptance rate: 33%
Towards Dynamic Backward Slicing of Model Transformations. In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). Lawrence, Kansas: IEEE Computer Society; 2011.
Solving the TTC 2011 Reengineering Case with VIATRA2. In: Gorp P V, Mazanek S, Rose L, editors. TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings. Vol 74. Zürich, Switzerland: Open Publishing Association; 2011. p. 136-48. Abstract
Towards Guided Trajectory Exploration of Graph Transformation Systems. Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010. 2011;40. Abstract
Visualization of Traceability Models with Domain-specific Layouting. Electronic Communications of the EASST, Proceedings of the Fourth International Workshop on Graph-Based Tools. 2011;32. Abstract
Static Type Checking of Model Transformation Programs. Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium. 2011;38. Abstract
Stochastic Simulation of Graph Transformation Systems. In: Proc. of FASE2010, Fundamental Approaches to Software Engineering.; 2010.
Accepted.
Static Type Checking of Model Transformation Programs. In: Conference of PhD Students in Computer Science. Szeged; 2010. 74.
Ecore to Genmodel case study solution using the Viatra2 framework. In: Gorp P V, Mazanek S, Rensink A, editors. Transformation Tool Contest (TTC '10). Malaga, Spain; 2010. Abstract
Új formalizmus eseményvezérelt gráftranszformációhoz. In: XV. Fiatal Műszakiak Tudományos Ülésszaka. Erdélyi Múzeum-Egyesület; 2010.