Viatra

Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver

Semeráth, O., Horváth, Á., and Varró, D., "Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver", ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems, Miami, US, Springer LNCS 8107, 09/2013.

PDF:

Full text

BibTex

Replaying Execution Trace Models for Dynamic Modeling Languages

Hegedüs, Á., Ráth, I., and Varró, D., "Replaying Execution Trace Models for Dynamic Modeling Languages", Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012.

PDF:

Full text

BibTex

Query-driven soft interconnection of EMF models

Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "Query-driven soft interconnection of EMF models", ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Innsbruck, Austria, Springer, LNCS 7590, 09/2012.

PDF:

Full text

BibTex

Derived Features for EMF by Integrating Advanced Model Queries

Ráth, I., Hegedüs, Á., and Varró, D., "Derived Features for EMF by Integrating Advanced Model Queries", 8th European Conference on Modelling Foundations and Applications, Kgs. Lyngby, Denmark, Springer, 06/2012.

PDF:

Full text

BibTex

Dynamic Backward Slicing of Model Transformations

Ujhelyi, Z., Horváth, Á., and Varró, D., "Dynamic Backward Slicing of Model Transformations", International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012.

PDF:

Full text

BibTex

Integrating Efficient Model Queries in State-of-the-art EMF Tools

Bergmann, G., Hegedüs, Á., Horváth, Á., Ujhelyi, Z., Ráth, I., and Varró, D., "Integrating Efficient Model Queries in State-of-the-art EMF Tools", TOOLS Europe 2012, Prague, Springer, 05/2012.

PDF:

Full text

BibTex

Towards Dynamic Backward Slicing of Model Transformations

Ujhelyi, Z., Horváth, Á., and Varró, D., "Towards Dynamic Backward Slicing of Model Transformations", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, IEEE Computer Society, 11/2011.

PDF:

Full text

BibTex

Solving the TTC 2011 Reengineering Case with VIATRA2

Viatra

Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Solving the TTC 2011 Reengineering Case with VIATRA2", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011.

PDF:

Full text

BibTex

Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case

Viatra

Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 302-324, 11/2011.

PDF:

Full text

BibTex

A Model-driven Framework for Guided Design Space Exploration

Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "A Model-driven Framework for Guided Design Space Exploration", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.

PDF:

Full text

BibTex

Primary Links

Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver

Replaying Execution Trace Models for Dynamic Modeling Languages

Query-driven soft interconnection of EMF models

Derived Features for EMF by Integrating Advanced Model Queries

Dynamic Backward Slicing of Model Transformations

Integrating Efficient Model Queries in State-of-the-art EMF Tools

Towards Dynamic Backward Slicing of Model Transformations

Solving the TTC 2011 Reengineering Case with VIATRA2

Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case

A Model-driven Framework for Guided Design Space Exploration

Languages

BME EduID Sign on

User login

Leírások

Navigation