• 2633 Citations
  • 29 h-Index
20022018

Research output per year

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

Research Output

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

Automated model merge by design space exploration

Debreceni, C., Ráth, I., Varró, D., De Carlos, X., Mendialdua, X. & Trujillo, S., Jan 1 2016, Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Wasowski, A. & Stevens, P. (eds.). Springer Verlag, p. 104-121 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)

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)

Incremental queries and transformations: From concepts to industrial applications

Varró, D., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9587. p. 51-59 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9587).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Iterative and incremental model generation by logic solvers

Semeráth, O., Vörös, A. & Varró, D., Jan 1 2016, Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Wasowski, A. & Stevens, P. (eds.). Springer Verlag, p. 87-103 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 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)

Rete network slicing for model queries

Ujhelyi, Z., Bergmann, G. & Varró, D., 2016, Graph Transformation - 9th International Conference, ICGT 2016 in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Proceedings. Springer Verlag, Vol. 9761. p. 137-152 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9761).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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)

Local search-based pattern matching features in EMF-INCQUERY

Búr, M., Ujhelyi, Z., Horváth, Á. & Varró, D., Jan 1 2015, Graph Transformation - 8th International Conference, ICGT 2015 Held as Part of STAF 2015, Proceedings. Westfechtel, B. & Parisi-Presicce, F. (eds.). Springer Verlag, p. 275-282 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9151).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

MONDO: Scalable Modelling and model management on the cloud

Kolovos, D. S., Rose, L. M., Paige, R. F., Guerra, E., Cuadrado, J. S., De Lara, J., Ráth, I., Varró, D., Sunyé, G. & Tisi, M., Jan 1 2015, In : CEUR Workshop Proceedings. 1400, p. 44-53 10 p.

Research output: Contribution to journalConference article

6 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

Property-based methods for collaborative model development

Chechik, M., Dalpiaz, F., Debreceni, C., Horko, J., Ráth, I., Salay, R. & Varró, D., 2015, CEUR Workshop Proceedings. CEUR-WS, Vol. 1511. p. 1-7 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

The TTC 2015 train benchmark case for incremental model validation

Szárnyas, G., Semeráth, O., Ráth, I. & Varró, D., 2015, CEUR Workshop Proceedings. CEUR-WS, Vol. 1524. p. 129-141 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

VIATRA 3: A reactive model transformation platform

Bergmann, G., Dávid, I., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z. & Varró, D., Jan 1 2015, Theory and Practice of Model Transformations - 8th International Conference, ICMT 2015 held as Part of STAF 2015, Proceedings. Wimmer, M. & Kolovos, D. (eds.). Springer Verlag, p. 101-110 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9152).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

39 Citations (Scopus)
2014

Anti-pattern detection with model queries: A comparison of approaches

Ujhelyi, Z., Horváth, Á., Varró, D., Csiszár, N. I., Szóke, G., Vidács, L. & Ferenc, R., Jan 1 2014, p. 293-302. 10 p.

Research output: Contribution to conferencePaper

7 Citations (Scopus)

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)

Graph query by example

Bergmann, G., Hegedüs, Á., Gerencsér, G. & Varró, D., Jan 1 2014, In : CEUR Workshop Proceedings. 1340, p. 17-24 8 p.

Research output: Contribution to journalConference article

1 Citation (Scopus)

Hardware-software allocation specification of IMA systems for early simulation

Horvath, A., Hegedus, A., Bur, M., Varro, D., Starr, R. R. & Mirachi, S., Dec 8 2014, 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference, DASC. Institute of Electrical and Electronics Engineers Inc., p. 4D31-4D315 6979474. (AIAA/IEEE Digital Avionics Systems Conference - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 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)

MONDO-SAM: A framework to systematically assess MDE scalability

Izsó, B., Szárnyas, G., Ráth, I. & Varró, D., Jan 1 2014, In : CEUR Workshop Proceedings. 1206, p. 40-43 4 p.

Research output: Contribution to journalConference article

6 Citations (Scopus)

Multi-objective optimization in rule-based design space exploration

Abdeen, H., Nagy, A. S., Varró, D., Hegedüs, Á., Sahraoui, H. & Horváth, Á., Jan 1 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 289-300 12 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

33 Citations (Scopus)

Preface

Di Ruscio, D. & Varro, D., Jan 1 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8568 LNCS, p. VII-VIII

Research output: Contribution to journalEditorial

Query-driven incremental synchronization of view models

Debreceni, C., Horváth, Á., Hegedüs, Á., Ujhelyi, Z., Ráth, I. & Varró, D., Jan 1 2014, Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, VAO 2014. Association for Computing Machinery, p. 31-38 8 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)
11 Citations (Scopus)

Towards an approach for orchestrating design space exploration problems to fix multi-paradigm inconsistencies

Herzig, S. J. I., Kruse, B., Ciccozzi, F., Denil, J., Salay, R. & Varró, D., Jan 1 2014, In : CEUR Workshop Proceedings. 1237, p. 61-66 6 p.

Research output: Contribution to journalConference article

1 Citation (Scopus)
2013

A research roadmap towards achieving scalability in model driven engineering

Kolovos, D. S., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Cuadrado, J. S., De Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., Jan 1 2013, BigMDE 2013 - A Workshop of the STAF Conferences, Focusing on Scalability in Model Driven Engineering. Association for Computing Machinery, 2. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

53 Citations (Scopus)

IncQuery-D: Incremental graph search in the cloud

Izsó, B., Szárnyas, G., Ráth, I. & Varró, D., Jul 26 2013, BigMDE 2013 - A Workshop of the STAF Conferences, Focusing on Scalability in Model Driven Engineering. 4. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Validation of derived features and well-formedness constraints in DSLs: By mapping graph queries to an SMT-solver

Semeráth, O., Horváth, Á. & Varró, D., Nov 7 2013, Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Proceedings. p. 538-554 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8107 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)
2012

A tool for managing evolving security requirements

Bergmann, G., Massacci, F., Paci, F., Tun, T. T., Varró, D. & Yu, Y., Jan 1 2012, IS Olympics: Information Systems in a Diverse World - CAiSE Forum 2011, Selected Extended Papers. Springer Verlag, p. 110-125 16 p. (Lecture Notes in Business Information Processing; vol. 107 LNBIP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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)

Derived features for EMF by integrating advanced model queries

Ráth, I., Hegedüs, Á. & Varró, D., Jul 25 2012, Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings. p. 102-117 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7349 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Citations (Scopus)

Developing and visualizing live model queries

Ujhelyi, Z., Szabó, T., Ráth, I. & Varró, D., Dec 1 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 35-40 6 p. (Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Dynamic backward slicing of model transformations

Ujhelyi, Z., Horváth, Á. & Varró, D., Jun 21 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. p. 1-10 10 p. 6200091. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 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)

Incremental pattern matching for the efficient computation of transitive closure

Bergmann, G., Ráth, I., Szabó, T., Torrini, P. & Varró, D., Oct 24 2012, Graph Transformations - 6th International Conference, ICGT 2012, Proceedings. p. 386-400 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7562 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Integrating efficient model queries in state-of-the-art EMF tools

Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z. & Varró, D., Jun 18 2012, Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Proceedings. p. 1-8 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7304 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 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)

Ontology driven design of EMF metamodels and well-formedness constraints

Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., Ráth, I. & Varró, D., Dec 1 2012, Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 37-42 6 p. (Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL 2012 - Being Part of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Query-driven soft interconnection of EMF models

Hegedüs, Á., Horváth, Á., Ráth, I. & Varró, D., Oct 24 2012, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings. p. 134-150 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7590 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 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)

Summary of the First Workshop on the Analysis of Model Transformations (AMT'12)

Dingel, J., Lúcio, L., Vangheluwe, H. & Varró, D., Dec 1 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 1-2 2 p. (Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 in Book/Report/Conference proceedingChapter

3 Citations (Scopus)