Viatra

Stochastic Simulation of Graph Transformation Systems

Viatra

Torrini, P., Heckel, R., and Ráth, I., "Stochastic Simulation of Graph Transformation Systems", Proc. of FASE2010, Fundamental Approaches to Software Engineering, 2010.

BibTex

Live Model Transformations Driven by Incremental Pattern Matching

Viatra

Ráth, I., Bergmann, G., Ökrös, A., and Varró, D., "Live Model Transformations Driven by Incremental Pattern Matching", Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), vol. 5063/2008: Springer Berlin / Heidelberg, pp. 107–121, 2008.

BibTex

Back-annotation of Simulation Traces with Change-Driven Model Transformations

Viatra

Hegedüs, Á., Bergmann, G., Ráth, I., and Varró, D., "Back-annotation of Simulation Traces with Change-Driven Model Transformations", Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010.

PDF:

Full text

BibTex

From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2

Viatra

Hegedüs, Á., Ráth, I., and Varró, D., From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2, : Consiglio Nazionale delle Ricerche (CNR), pp. 35-42, 09/2010.

PDF:

Full text

BibTex

Visualization of Traceability Models with Domain-specific Layouting

Viatra

Hegedüs, Á., Ujhelyi, Z., Ráth, I., and Horváth, Á., "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.

PDF:

Full text

BibTex

Back-annotation framework for Simulation Traces of Discrete Event-based Languages

Viatra

Hegedüs, Á., Ráth, I., and Varró, D., Back-annotation framework for Simulation Traces of Discrete Event-based Languages, : BME, 04/2010.

PDF:

Full text

BibTex

Ecore to Genmodel case study solution using the Viatra2 framework

Hegedüs, Á., Ujhelyi, Z., Bergmann, G., and Horváth, Á., "Ecore to Genmodel case study solution using the Viatra2 framework", Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.

PDF:

Full text

BibTex

Static Type Checking of Model Transformation Programs

Viatra

Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.

PDF:

Full text

BibTex

Generic Static Analysis of Transformation Programs

Ujhelyi, Z., Horváth, Á., and Varró, D., Generic Static Analysis of Transformation Programs, , no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.

PDF:

Full text

BibTex

Static Type Checking of Model Transformations by Constraint Satisfaction Programming

Ujhelyi, Z., Horváth, Á., and Varró, D., Static Type Checking of Model Transformations by Constraint Satisfaction Programming, , no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.

PDF:

Full text

BibTex

Primary Links

Stochastic Simulation of Graph Transformation Systems

Live Model Transformations Driven by Incremental Pattern Matching

Back-annotation of Simulation Traces with Change-Driven Model Transformations

From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2

Visualization of Traceability Models with Domain-specific Layouting

Back-annotation framework for Simulation Traces of Discrete Event-based Languages

Ecore to Genmodel case study solution using the Viatra2 framework

Static Type Checking of Model Transformation Programs

Generic Static Analysis of Transformation Programs

Static Type Checking of Model Transformations by Constraint Satisfaction Programming

Languages

BME EduID Sign on

User login

Leírások

Navigation