• 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
Article
2018

Foundations for Streaming Model Transformations by Complex Event Processing

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

Research output: Article

16 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., máj. 1 2017, In : Software and Systems Modeling. 16, 2, p. 357-392 36 p.

Research output: Article

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: Article

3 Citations (Scopus)
1 Citation (Scopus)

Query-driven soft traceability links for models

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

Research output: Article

11 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., júl. 1 2016, In : Software and Systems Modeling. 15, 3, p. 609-629 21 p.

Research output: Article

45 Citations (Scopus)
2015

A model-driven framework for guided design space exploration

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

Research output: Article

21 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., febr. 1 2015, In : Science of Computer Programming. 98, P1, p. 80-99 20 p.

Research output: Article

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: Article

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., szept. 1 2015, In : Information and Software Technology. 65, p. 147-165 19 p.

Research output: Article

13 Citations (Scopus)

Preface

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

Research output: Article

2014
2 Citations (Scopus)
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., júl. 1 2012, In : Software and Systems Modeling. 11, 3, p. 431-461 31 p.

Research output: Article

42 Citations (Scopus)

Dynamic constraint satisfaction problems over models

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

Research output: Article

13 Citations (Scopus)

Lessons learned from building model-driven development tools

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

Research output: Article

12 Citations (Scopus)
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., júl. 2011, In : Software and Systems Modeling. 10, 3, p. 287-311 25 p.

Research output: Article

28 Citations (Scopus)
2010

Experimental assessment of combining pattern matching strategies with VIATRA2

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

Research output: Article

16 Citations (Scopus)
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: Article

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., szept. 28 2009, In : Electronic Notes in Theoretical Computer Science. 238, 4, p. 79-85 7 p.

Research output: Article

2 Citations (Scopus)
2008

Formal analysis of BPEL workflows with compensation by model checking

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

Research output: Article

13 Citations (Scopus)

Towards Testing the Implementation of Graph Transformations

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

Research output: Article

8 Citations (Scopus)
2007

Modeling and Verification of Reliable Messaging by Graph Transformation Systems

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

Research output: Article

10 Citations (Scopus)

The model transformation language of the VIATRA2 framework

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

Research output: Article

154 Citations (Scopus)
2006
43 Citations (Scopus)

Applying a model transformation taxonomy to graph transformation technology

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

Research output: Article

29 Citations (Scopus)

Implementing a graph transformation engine in relational databases

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

Research output: Article

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., jún. 1 2006, In : Software and Systems Modeling. 5, 2, p. 187-207 21 p.

Research output: Article

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: Article

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: Article

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: Article

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: Article

7 Citations (Scopus)
2002

Designing the automatic transformation of visual languages

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

Research output: Article

88 Citations (Scopus)