• 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
Conference contribution
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: Conference contribution

21 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: Conference 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: Conference contribution

19 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: Conference contribution

2015

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: Conference contribution

8 Citations (Scopus)

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: Conference 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: Conference 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: Conference contribution

40 Citations (Scopus)
2014

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: Conference contribution

7 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: Conference contribution

33 Citations (Scopus)

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: Conference contribution

17 Citations (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: Conference contribution

53 Citations (Scopus)

IncQuery-D: Incremental graph search in the cloud

Izsó, B., Szárnyas, G., Ráth, I. & Varró, D., júl. 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: Conference 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: Conference 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: Conference contribution

2 Citations (Scopus)

Derived features for EMF by integrating advanced model queries

Ráth, I., Hegedüs, Á. & Varró, D., júl. 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: Conference 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: Conference contribution

1 Citation (Scopus)

Dynamic backward slicing of model transformations

Ujhelyi, Z., Horváth, Á. & Varró, D., jún. 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: Conference contribution

13 Citations (Scopus)

Incremental pattern matching for the efficient computation of transitive closure

Bergmann, G., Ráth, I., Szabó, T., Torrini, P. & Varró, D., okt. 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: Conference 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., jún. 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: Conference contribution

8 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: Conference contribution

Query-driven soft interconnection of EMF models

Hegedüs, Á., Horváth, Á., Ráth, I. & Varró, D., okt. 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: Conference contribution

6 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: Conference contribution

2011

A graph query language for EMF models

Bergmann, G., Ujhelyi, Z., Ráth, I. & Varró, D., júl. 18 2011, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 167-182 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6707 LNCS).

Research output: Conference contribution

50 Citations (Scopus)

A model-driven framework for guided design space exploration

Hegedüs, Á., Horváth, Á., Ráth, I. & Varró, D., dec. 1 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 173-182 10 p. 6100051. (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings).

Research output: Conference contribution

35 Citations (Scopus)

Implementing efficient model validation in EMF tools

Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z. & Varró, D., dec. 1 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 580-583 4 p. 6100130. (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings).

Research output: Conference contribution

8 Citations (Scopus)

Incremental evaluation of model queries over EMF models: A tutorial on EMF-IncQuery

Bergmann, G., Horváth, Á., Ráth, I. & Varró, D., jún. 22 2011, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Proceedings. p. 389-390 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6698 LNCS).

Research output: Conference contribution

4 Citations (Scopus)

Quick fix generation for DSMLs

Hegedus, Á., Horváth, Á., Ráth, I., Branco, M. C. & Varró, D., dec. 9 2011, Proceedings - 2011 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2011. p. 17-24 8 p. 6070373. (Proceedings - 2011 IEEE Symposium on Visual Languages and Human Centric Computing, VL/HCC 2011).

Research output: Conference contribution

30 Citations (Scopus)

SeCMER: A tool to gain control of security requirements evolution

Bergmann, G., Massacci, F., Paci, F., Tun, T. T., Varró, D. & Yu, Y., okt. 19 2011, Towards a Service-Based Internet - 4th European Conference, ServiceWave 2011, Proceedings. p. 321-322 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6994 LNCS).

Research output: Conference contribution

1 Citation (Scopus)

Towards dynamic backward slicing of model transformations

Ujhelyi, Z., Horváth, Á. & Varró, D., dec. 1 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 404-407 4 p. 6100084. (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings).

Research output: Conference contribution

4 Citations (Scopus)
2010

Back-annotation of simulation traces with change-driven model transformations

Hegedüs, Á., Bergmann, G., Ráth, I. & Varró, D., 2010, Proceedings - Software Engineering and Formal Methods, SEFM 2010. p. 145-155 11 p. 5637422. (Proceedings - Software Engineering and Formal Methods, SEFM 2010).

Research output: Conference contribution

28 Citations (Scopus)

Incremental evaluation of model queries over EMF models

Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z. & Ökrös, A., 2010, Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings. PART 1 ed. p. 76-90 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6394 LNCS, no. PART 1).

Research output: Conference contribution

67 Citations (Scopus)

Model-driven development of ARINC 653 configuration tables

Horváth, Á., Varró, D. & Schoofs, T., dec. 1 2010, 29th Digital Avionics Systems Conference: Improving Our Environment through Green Avionics and ATM Solutions, DASC 2010. p. 5.A.51-5.A.515 5655322. (AIAA/IEEE Digital Avionics Systems Conference - Proceedings).

Research output: Conference contribution

16 Citations (Scopus)

Model-driven development of ARINC 653 configuration tables

Horváth, Á., Varró, D. & Schoofs, T., dec. 1 2010, 29th Digital Avionics Systems Conference: Improving Our Environment through Green Avionics and ATM Solutions, DASC 2010. p. 6.E.31-6.E.315 5655451. (AIAA/IEEE Digital Avionics Systems Conference - Proceedings).

Research output: Conference contribution

Teaching modeling: Why, when, what?

Bezivin, J., France, R., Gogolla, M., Haugen, O., Taentzer, G. & Varro, D., dec. 24 2010, Models in Software Engineering - Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers. p. 55-62 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6002 LNCS).

Research output: Conference contribution

21 Citations (Scopus)

Workflow-driven tool integration using model transformations

Balogh, A., Bergmann, G., Csertán, G., Gönczy, L., Horváth, Á., Majzik, I., Pataricza, A., Polgár, B., Ráth, I., Varró, D. & Varró, G., dec. 3 2010, Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday. Engels, G., Schafer, W., Lewerentz, C., Schurr, A. & Westfechtel, B. (eds.). p. 224-248 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5765 LNCS).

Research output: Conference contribution

16 Citations (Scopus)
2009

Change-driven model transformations: Derivation and processing of change histories

Ráth, I., Varró, G. & Varró, D., dec. 1 2009, Model Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings. p. 342-356 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5795 LNCS).

Research output: Conference contribution

15 Citations (Scopus)

CSP(M): Constraint satisfaction problem over models

Horváth, Á. & Varró, D., dec. 1 2009, Model Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings. p. 107-121 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5795 LNCS).

Research output: Conference contribution

5 Citations (Scopus)

Efficient model transformations by combining pattern matching strategies

Bergmann, G., Horváth, Á., Ráth, I. & Varró, D., nov. 9 2009, Theory and Practice of Model Transformations - Second International Conference, ICMT 2009, Proceedings. p. 20-34 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5563 LNCS).

Research output: Conference contribution

8 Citations (Scopus)

Model transformations for performability analysis of service configurations

Gonczy, L., Deri, Z. & Varro, D., júl. 15 2009, Models in Software Engineering - Workshops and Symposia at MODELS 2008, Reports and Revised Selected Papers. p. 153-166 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5421).

Research output: Conference contribution

10 Citations (Scopus)
2008

A benchmark evaluation of incremental pattern matching in graph transformation

Bergmann, G., Horváth, Á., Ráth, I. & Varró, D., nov. 26 2008, Graph Transformations - 4th International Conference, ICGT 2008, Proceedings. p. 396-410 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5214 LNCS).

Research output: Conference contribution

32 Citations (Scopus)

Design-time simulation of domain-specific models by incremental pattern matching

Ráth, I., Vágó, D. & Varró, D., nov. 24 2008, Proceedings - 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008. p. 219-222 4 p. 4639089. (Proceedings - 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008).

Research output: Conference contribution

17 Citations (Scopus)

Incremental pattern matching in the VIATRA model transformation system

Bergmann, G., Ökrös, A., Ráth, I., Varró, D. & Varró, G., dec. 16 2008, Proceedings - International Conference on Software Engineering. p. 25-32 8 p. (Proceedings - International Conference on Software Engineering).

Research output: Conference contribution

34 Citations (Scopus)

Live model transformations driven by incremental pattern matching

Ráth, I., Bergmann, G., Ökrös, A. & Varró, D., okt. 27 2008, Theory and Practice of Model Transformations - First International Conference, ICMT 2008, Proceedings. p. 107-121 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5063 LNCS).

Research output: Conference contribution

29 Citations (Scopus)

Recursive graph pattern matching: (With magic sets and global search plans)

Varró, G., Horváth, Á. & Varró, D., dec. 1 2008, Applications of Graph Transformations with Industrial Relevance - Third International Symposium, AGTIVE 2007, Revised Selected and Invited Papers. p. 456-470 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5088 LNCS).

Research output: Conference contribution

10 Citations (Scopus)

Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity

Wirsing, M., Hölzl, M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Gönczy, L., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M. & Varró, D., dec. 1 2008, Leveraging Applications of Formal Methods, Verification and Validation - Third International Symposium, ISoLA 2008, Proceedings. p. 170-190 21 p. (Communications in Computer and Information Science; vol. 17 CCIS).

Research output: Conference contribution

15 Citations (Scopus)

Transformation of UML models to CSP: A case study for graph transformation tools

Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D. H., Geiß, R., Greenyer, J., Van Gorp, P., Kniemeyer, O., Narayanan, A., Rencis, E. & Weinell, E., dec. 1 2008, Applications of Graph Transformations with Industrial Relevance - Third International Symposium, AGTIVE 2007, Revised Selected and Invited Papers. p. 540-565 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5088 LNCS).

Research output: Conference contribution

28 Citations (Scopus)
2007

An eclipse-based framework for AIS service configurations

Kövi, A. & Varró, D., aug. 27 2007, Service Availability - 4th International Service Availability Symposium, ISAS 2007 Proceedings. p. 110-126 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4526 LNCS).

Research output: Conference contribution

10 Citations (Scopus)

Automating model transformation by example using inductive logic programming

Varró, D. & Balogh, Z., jan. 1 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 978-984 7 p. (Proceedings of the ACM Symposium on Applied Computing).

Research output: Conference contribution

42 Citations (Scopus)

Formal modeling of BPEL workflows including fault and compensation handling

Kovács, M., Varró, D. & Gönczy, L., dec. 1 2007, Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07. (Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07).

Research output: Conference contribution

13 Citations (Scopus)