Contains the keyword Viatra
BPMN to BPEL case study solution in VIATRA2. In: 5th International Workshop on Graph-Based Tools, . Zürich, Switzerland: Springer; 2009.
CSP(M): Constraint Satisfaction Problem over Models. In: Schürr A, Selic B, editors. Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Vol 5795. Springer; 2009. p. 107-21. (Lecture Notes in Computer Science; vol 5795). Abstract
Acceptance rate: 18%
Modelltranszformációk statikus analízise. In: Tavaszi Szél Konferenciakiadvány. Szeged; 2009. p. 33-9.
Parallelization of Graph Transformation Based on Incremental Pattern Matching. Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques. 2009;18. Abstract
Model Transformation by Example Using Inductive Logic Programming. Software and Systems Modeling. 2009;8:347-64.
Generic Static Analysis of Transformation Programs. Budapest University of Technology and Economics; 2009.
Static Type Checking of Model Transformations by Constraint Satisfaction Programming. Budapest University of Technology and Economics; 2009.
Static Analysis of Model Transformations. Budapest University of Technology and Economics; 2009.
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In: Schürr A, Nagl M, Zündorf A, editors. Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007). Vol 5088. Springer; 2008. p. 540-65. (Lecture Notes in Computer Science; vol 5088). Abstract
Live Model Transformations Driven by Incremental Pattern Matching. In: Vallecillo A, Gray J, Pierantonio A, editors. Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008). Vol 5063/2008. Springer Berlin / Heidelberg; 2008. p. 107-21. (Lecture Notes in Computer Science; vol 5063/2008). Abstract
Acceptance rate: 31%
