• 2502 Citations
  • 28 h-Index
20022018

Research output per year

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

Research Output

Filter
Article
2018

Foundations for Streaming Model Transformations by Complex Event Processing

Dávid, I., Ráth, I. & Varró, D., Feb 1 2018, In : Software and Systems Modeling. 17, 1, p. 135-162 28 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)
2017

Formal validation of domain-specific languages with derived features and well-formedness constraints

Semeráth, O., Barta, Á., Horváth, Á., Szatmári, Z. & Varró, D., May 1 2017, In : Software and Systems Modeling. 16, 2, p. 357-392 36 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)
2016

Change propagation of view models by logic synthesis using SAT solvers

Semeráth, O., Debreceni, C., Horváth, Á. & Varró, D., 2016, In : Unknown Journal. 1571, p. 40-44 5 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Patterns and styles for incremental model transformations

Varró, D., 2016, In : CEUR Workshop Proceedings. 1657, p. 41-43 3 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Query-driven soft traceability links for models

Hegedüs, Á., Horváth, Á., Ráth, I., Starr, R. R. & Varró, D., Jul 1 2016, In : Software and Systems Modeling. 15, 3, p. 733-756 24 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró, D., Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I. & Ujhelyi, Z., Jul 1 2016, In : Software and Systems Modeling. 15, 3, p. 609-629 21 p.

Research output: Contribution to journalArticle

44 Citations (Scopus)
2015

A model-driven framework for guided design space exploration

Hegedüs, Á., Horváth, Á. & Varró, D., Sep 22 2015, In : Automated Software Engineering. 22, 3, p. 399-436 38 p.

Research output: Contribution to journalArticle

20 Citations (Scopus)

EMF-IncQuery: An integrated development environment for live model queries

Ujhelyi, Z., Bergmann, G., Hegedüs, Á., Horváth, Á., Izsó, B., Ráth, I., Szatmári, Z. & Varró, D., Feb 1 2015, In : Science of Computer Programming. 98, P1, p. 80-99 20 p.

Research output: Contribution to journalArticle

80 Citations (Scopus)

Optimization of incremental queries in the cloud

Makai, J., Szárnyas, G., Horváth, Á., Ráth, I. & Varró, D., 2015, In : Unknown Journal. 1563, p. 1-6 6 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Performance comparison of query-based techniques for anti-pattern detection

Ujhelyi, Z., Szoke, G., Horváth, Á., Csiszár, N. I., Vidács, L., Varró, D. & Ferenc, R., Sep 1 2015, In : Information and Software Technology. 65, p. 147-165 19 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)

Preface

Gogolla, M., Muccini, H. & Varró, D., 2015, In : Unknown Journal. 1499

Research output: Contribution to journalArticle

2014

Dynamic scope discovery for model transformations

Jukšs, M., Verbrugge, C., Varró, D. & Vangheluwe, H., 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8706, p. 302-321 20 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

INCQUERY-D: A distributed incremental model query framework in the cloud

Szárnyas, G., Izsó, B., Ráth, I., Harmath, D., Bergmann, G. & Varró, D., Jan 1 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8767, p. 653-669 17 p.

Research output: Contribution to journalArticle

25 Citations (Scopus)
11 Citations (Scopus)
2012

Change-driven model transformations: Change (in) the rule to rule the change

Bergmann, G., Ráth, I., Varró, G. & Varró, D., Jul 1 2012, In : Software and Systems Modeling. 11, 3, p. 431-461 31 p.

Research output: Contribution to journalArticle

41 Citations (Scopus)

Dynamic constraint satisfaction problems over models

Horváth, Á. & Varró, D., Jul 1 2012, In : Software and Systems Modeling. 11, 3, p. 385-408 24 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Lessons learned from building model-driven development tools

Paige, R. F. & Varró, D., Oct 1 2012, In : Software and Systems Modeling. 11, 4, p. 527-539 13 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Replaying execution trace models for dynamic modeling languages

Hegedüs, Á., Ráth, I. & Varró, D., 2012, In : Periodica Polytechnica Electrical Engineering and Computer Science. 56, 3, p. 71-82 12 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)
2011

Non-functional properties in the model-driven development of service-oriented systems

Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M. & Varró, D., Jul 1 2011, In : Software and Systems Modeling. 10, 3, p. 287-311 25 p.

Research output: Contribution to journalArticle

27 Citations (Scopus)
2010

Experimental assessment of combining pattern matching strategies with VIATRA2

Horváth, Á., Bergmann, G., Ráth, I. & Varró, D., Apr 13 2010, In : International Journal on Software Tools for Technology Transfer. 12, 3, p. 211-230 20 p.

Research output: Contribution to journalArticle

16 Citations (Scopus)

Synchronization of abstract and concrete syntax in domain-specific modeling languages: By mapping models and live transformations

Ráth, I., Ökrös, A. & Varró, D., Jan 1 2010, In : Software and Systems Modeling. 9, 4, p. 453-471 19 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)
2009

Model transformation by example using inductive logic programming

Balogh, Z. & Varró, D., Jan 1 2009, In : Software and Systems Modeling. 8, 3, p. 347-364 18 p.

Research output: Contribution to journalArticle

59 Citations (Scopus)

Tool Support for Engineering Certifiable Software

Gönczy, L., Majzik, I., Horváth, A., Varró, D., Balogh, A., Micskei, Z. & Pataricza, A., Sep 28 2009, In : Electronic Notes in Theoretical Computer Science. 238, 4, p. 79-85 7 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
2008

Formal analysis of BPEL workflows with compensation by model checking

Kovács, M., Varró, D. & Gönczy, L., Sep 1 2008, In : Computer Systems Science and Engineering. 23, 5, p. 349-363 15 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)

Towards Testing the Implementation of Graph Transformations

Darabos, A., Pataricza, A. & Varró, D., Apr 28 2008, In : Electronic Notes in Theoretical Computer Science. 211, C, p. 75-85 11 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)
2007

Modeling and Verification of Reliable Messaging by Graph Transformation Systems

Gönczy, L., Kovács, M. & Varró, D., Jul 9 2007, In : Electronic Notes in Theoretical Computer Science. 175, 4 SPEC. ISS., p. 37-50 14 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)

The model transformation language of the VIATRA2 framework

Varró, D. & Balogh, A., Oct 1 2007, In : Science of Computer Programming. 68, 3, p. 214-234 21 p.

Research output: Contribution to journalArticle

153 Citations (Scopus)
2006

Adaptive graph pattern matching for model transformations using model-sensitive search plans

Varró, G., Friedl, K. & Varró, D., Mar 27 2006, In : Electronic Notes in Theoretical Computer Science. 152, 1-2, p. 191-205 15 p.

Research output: Contribution to journalArticle

43 Citations (Scopus)

Applying a model transformation taxonomy to graph transformation technology

Mens, T., Van Gorp, P., Varró, D. & Karsai, G., Mar 27 2006, In : Electronic Notes in Theoretical Computer Science. 152, 1-2, p. 143-159 17 p.

Research output: Contribution to journalArticle

29 Citations (Scopus)

Implementing a graph transformation engine in relational databases

Varró, G., Friedl, K. & Varró, D., Sep 1 2006, In : Software and Systems Modeling. 5, 3, p. 313-341 29 p.

Research output: Contribution to journalArticle

19 Citations (Scopus)

Style-based modeling and refinement of service-oriented architectures: A graph transformation-base approach

Baresi, L., Heckel, R., Thöne, S. & Varró, D., Jun 1 2006, In : Software and Systems Modeling. 5, 2, p. 187-207 21 p.

Research output: Contribution to journalArticle

64 Citations (Scopus)
2004

Graph transformation with incremental updates

Varró, G. & Varró, D., Dec 14 2004, In : Electronic Notes in Theoretical Computer Science. 109, 1-4 SPEC. ISS., p. 71-83 13 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Joint optimization and reachability analysis in graph transformation systems with time

Gyapay, S., Schmidt, Á. & Varró, D., Dec 14 2004, In : Electronic Notes in Theoretical Computer Science. 109, 1-4 SPEC. ISS., p. 137-147 11 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)
2003

Graph transformation with time

Gyapay, S., Varró, D. & Heckel, R., Nov 2003, In : Fundamenta Informaticae. 58, 1, p. 1-22 22 p.

Research output: Contribution to journalArticle

16 Citations (Scopus)

UML action semantics for model transformation systems

Varró, D. & Pataricza, A., Jan 1 2003, In : Periodica Polytechnica Electrical Engineering. 47, 3-4, p. 167-186 20 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)
2002

Designing the automatic transformation of visual languages

Varró, D., Varró, G. & Pataricza, A., Jul 1 2002, In : Science of Computer Programming. 44, 2, p. 205-227 23 p.

Research output: Contribution to journalArticle

88 Citations (Scopus)