Contains the keyword Viatra
A Model-driven Framework for Guided Design Space Exploration. In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). Lawrence, Kansas, USA: IEEE Computer Society; 2011. Abstract
ACM Distinguished Paper Award, Acceptance rate: 15%
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.
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
Incremental Evaluation of Model Queries over EMF Models. In: Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10. Springer; 2010.
Acceptance rate: 21%
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