• 2656 Citations
  • 29 h-Index
20022018

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Chapter
2011

Advances in model transformations by graph transformation: Specification, execution and analysis

Bergmann, G., Boronat, A., Heckel, R., Torrini, P., Ráth, I. & Varró, D., nov. 9 2011, Rigorous Software Engineering for Service-Oriented Systems. Wirsing, M. (ed.). p. 561-584 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6582).

Research output: Chapter

3 Citations (Scopus)

Methodologies for model-driven development and deployment: An overview

Gönczy, L., Hegedüs, Á. & Varró, D., nov. 9 2011, Rigorous Software Engineering for Service-Oriented Systems. Wirsing, M. (ed.). p. 541-560 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6582).

Research output: Chapter

1 Citation (Scopus)

UML extensions for service-oriented systems

Foster, H., Gönczy, L., Koch, N., Mayer, P., Montangero, C. & Varró, D., nov. 9 2011, Rigorous Software Engineering for Service-Oriented Systems. Wirsing, M. (ed.). p. 35-60 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6582).

Research output: Chapter

5 Citations (Scopus)
2005

Using graph transformation for practical model-driven software engineering

Grunske, L., Geiger, L., Zündorf, A., Van Eetvelde, N., Van Gorp, P. & Varró, D., dec. 1 2005, Model-Driven Software Development. Springer Berlin Heidelberg, p. 97-117 21 p.

Research output: Chapter

26 Citations (Scopus)
2004

Generic and meta-transformations for model transformation engineering

Varró, D. & Pataricza, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baar, T., Strohmeier, A., Mellor, S. J. & Moreira, A. (eds.). Springer Verlag, p. 290-304 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3273).

Research output: Chapter

76 Citations (Scopus)
2003

CheckVML: A tool for model checking visual modeling languages

Schmidt, Á. & Varró, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Stevens, P., Whittle, J. & Booch, G. (eds.). Springer Verlag, p. 92-95 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2863).

Research output: Chapter

55 Citations (Scopus)