Viatra

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools

Viatra

Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D-H., Geiss, R., Greenyer, J., Gorp, P V., Kniemeyer, O., Narayanan, A., et al., "Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008.

BibTex

Incremental pattern matching in the VIATRA model transformation system

Bergmann, G., Ökrös, A., Ráth, I., Varró, D., and Varró, G., "Incremental pattern matching in the VIATRA model transformation system", Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008.

BibTex

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation", Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008.

PDF:

Full text

BibTex

Model Transformation by Example Using Inductive Logic Programming

Viatra

Balogh, Z., and Varró, D., "Model Transformation by Example Using Inductive Logic Programming", Software and Systems Modeling, vol. 8, no. 3, pp. 347-364, 2009.

BibTex

The Model Transformation Language of the {VIATRA2} Framework

Varró, D., and Balogh, A., "The Model Transformation Language of the {VIATRA2} Framework", Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007.

BibTex

Automating Model Transformation by Example Using Inductive Logic Programming

Varró, D., and Balogh, Z., "Automating Model Transformation by Example Using Inductive Logic Programming", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007.

BibTex

Generic Search Plans for Matching Advanced Graph Patterns

Viatra

Horváth, Á., Varró, D., and Varró, G., "Generic Search Plans for Matching Advanced Graph Patterns", Electronic Communications of the EASST, vol. 6, 2007.

PDF:

Full text

BibTex

Pattern Composition in Graph Transformation Rules

Viatra

Balogh, A., and Varró, D., "Pattern Composition in Graph Transformation Rules", European Workshop on Composition of Model Transformations, Bilbao, Spain, July, 2006.

BibTex

Benchmarking for Graph Transformation

Viatra

Varró, G., Schürr, A., and Varró, D., "Benchmarking for Graph Transformation", Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05), Dallas, Texas, USA, IEEE Press, pp. 79–88, September, 2005.

BibTex

Advanced Model Transformation Language Constructs in the {VIATRA2} Framework

Viatra

Balogh, A., and Varró, D., "Advanced Model Transformation Language Constructs in the {VIATRA2} Framework", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1280–1287, April, 2006.

BibTex

Primary Links

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools

Incremental pattern matching in the VIATRA model transformation system

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

Model Transformation by Example Using Inductive Logic Programming

The Model Transformation Language of the {VIATRA2} Framework

Automating Model Transformation by Example Using Inductive Logic Programming

Generic Search Plans for Matching Advanced Graph Patterns

Pattern Composition in Graph Transformation Rules

Benchmarking for Graph Transformation

Advanced Model Transformation Language Constructs in the {VIATRA2} Framework

Languages

BME EduID Sign on

User login

Leírások

Navigation