• 2503 Citations
  • 29 h-Index
20022016
If you made any changes in Pure these will be visible here soon.

Research Output 2002 2016

  • 2503 Citations
  • 29 h-Index
  • 72 Conference contribution
  • 45 Article
  • 5 Chapter
2016
13 Citations (Scopus)

Automated model merge by design space exploration

Debreceni, C., Ráth, I., Varró, D., De Carlos, X., Mendialdua, X. & Trujillo, S., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9633. 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

Design Space Exploration
Model
Refactoring
Industrial Application
Use Case
2 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

Logic Synthesis
Communication
9 Citations (Scopus)

Foundations for Streaming Model Transformations by Complex Event Processing

Dávid, I., Ráth, I. & Varró, D., May 26 2016, (Accepted/In press) In : Software and Systems Modeling. p. 1-28 28 p.

Research output: Contribution to journalArticle

Complex Event Processing
Model Transformation
Streaming
Processing
Engine
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

Industrial Application
Industrial applications
Query
Avionics
Model
14 Citations (Scopus)

Iterative and incremental model generation by logic solvers

Semeráth, O., Vörös, A. & Varró, D., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9633. 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

Logic
Metamodel
Partial
Model
Domain-specific Languages
1 Citation (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

Scalability
Code generation
37 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., May 12 2016, (Accepted/In press) In : Software and Systems Modeling. p. 1-21 21 p.

Research output: Contribution to journalArticle

Model Transformation
Open Source
Engine
Complex Event Processing
Obfuscation
2015
71 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

Visualization
Industry
12 Citations (Scopus)

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

Semeráth, O., Barta, Á., Horváth, Á., Szatmári, Z. & Varró, D., Jul 30 2015, (Accepted/In press) In : Software and Systems Modeling.

Research output: Contribution to journalArticle

Domain-specific Languages
Specification languages
Electromagnetic Fields
Electric potential
Metamodel
7 Citations (Scopus)

Local search-based pattern matching features in EMF-INCQUERY

Búr, M., Ujhelyi, Z., Horváth, Á. & Varró, D., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9151. 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

Pattern matching
Pattern Matching
Local Search
Electromagnetic Fields
Electric potential
6 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., 2015, CEUR Workshop Proceedings. CEUR-WS, Vol. 1400. p. 44-53 10 p.

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

Scalability
1 Citation (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

Software engineering
Telecommunication networks
Scalability
11 Citations (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

Pattern matching
Semantics
Concretes
Data storage equipment
Costs

Preface

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

Research output: Contribution to journalArticle

7 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: Chapter in Book/Report/Conference proceedingConference contribution

7 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

Repair
Avionics
Scalability
Engineers
Defects
35 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., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9152. 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

Model Transformation
Event-driven
Electromagnetic Fields
Query
Design Space Exploration
2014
19 Citations (Scopus)

A model-driven framework for guided design space exploration

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

Research output: Contribution to journalArticle

Systems analysis
6 Citations (Scopus)

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., 2014, 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014 - Proceedings. IEEE Computer Society, p. 293-302 10 p. 6747181

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

Semantics
Concretes
Data storage equipment
2 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

Model Transformation
Naive Bayes Classifier
Naive Bayes
Black Box
Local Search
1 Citation (Scopus)

Graph query by example

Bergmann, G., Hegedüs, Á., Gerencsér, G. & Varró, D., 2014, CMSEBA 2014 - Proceedings of the 1st International Workshop on Combining Modelling with Search- and Example-Based Approaches, Co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014. CEUR-WS, Vol. 1340. p. 17-24 8 p.

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

Concretes
Query languages
Electric potential
Positive ions
Engineers
7 Citations (Scopus)

Hardware-software allocation specification of IMA systems for early simulation

Horvath, A., Hegedus, A., Bur, M., Varró, 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

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

Avionics
Specifications
Hardware
Communication channels (information theory)
Systems engineering
23 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., 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

Query
Scalability
Software Engineering
Software engineering
Graph Search
5 Citations (Scopus)

MONDO-SAM: A framework to systematically assess MDE scalability

Izsó, B., Szárnyas, G., Ráth, I. & Varró, D., 2014, BigMDE 2014 - Proceedings of the 2nd Workshop on Scalability in Model Driven Engineering, co-located with the Software Technologies: Applications and Foundations Conference, STAF 2014. CEUR-WS, Vol. 1206. p. 40-43 4 p.

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

Scalability
Benchmarking
Productivity
Processing
31 Citations (Scopus)

Multi-objective optimization in rule-based design space exploration

Abdeen, H., Nagy, A. S., Varró, D., Hegedüs, Á., Sahraoui, H. & Horváth, Á., 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.

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

Multiobjective optimization
Sorting
Genetic algorithms
15 Citations (Scopus)

Query-driven incremental synchronization of view models

Debreceni, C., Horváth, Á., Hegedüs, Á., Ujhelyi, Z., Ráth, I. & Varró, D., 2014, ACM International Conference Proceeding Series. Association for Computing Machinery, p. 31-38 8 p.

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

Synchronization
Scalability
8 Citations (Scopus)

Query-driven soft traceability links for models

Hegedüs, Á., Horváth, Á., Ráth, I., Starr, R. R. & Varró, D., Oct 8 2014, (Accepted/In press) In : Software and Systems Modeling.

Research output: Contribution to journalArticle

Traceability
Query
Model
Modeling
Model Evaluation
9 Citations (Scopus)
Complex Event Processing
Model Transformation
Streaming
Processing
Engine
1 Citation (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., 2014, CEUR Workshop Proceedings. CEUR-WS, Vol. 1237. p. 61-66 6 p.

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

2013
41 Citations (Scopus)

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., 2013, ACM International Conference Proceeding Series. 2

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

Scalability
Maintainability
Large scale systems
Productivity
6 Citations (Scopus)

IncQuery-D: Incremental graph search in the cloud

Izsó, B., Szárnyas, G., Ráth, I. & Varró, D., 2013, ACM International Conference Proceeding Series. 4

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

Software engineering
Scalability
Productivity
Costs
Bioinformatics
Computer science
Artificial intelligence
Artificial Intelligence
Computer Science
4 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., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8107 LNCS. 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

DSL
Surface mount technology
Domain-specific Languages
Query
Electromagnetic Fields
2012
2 Citations (Scopus)

A tool for managing evolving security requirements

Bergmann, G., Massacci, F., Paci, F., Tun, T. T., Varró, D. & Yu, Y., 2012, Lecture Notes in Business Information Processing. Springer Verlag, Vol. 107 LNBIP. p. 110-125 16 p. (Lecture Notes in Business Information Processing; vol. 107 LNBIP).

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

Requirements
Tool Support
Systems analysis
Monitoring
Traceability
38 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

Model Transformation
Temporal Constraints
Scenarios
Requirements Engineering
Model
14 Citations (Scopus)

Derived features for EMF by integrating advanced model queries

Ráth, I., Hegedüs, Á. & Varró, D., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7349 LNCS. 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

Electromagnetic Fields
Query
Electric potential
Attribute
Model
1 Citation (Scopus)

Developing and visualizing live model queries

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

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

Query
Model
Model Transformation
Debugging
Electromagnetic Fields
13 Citations (Scopus)

Dynamic backward slicing of model transformations

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

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

Software engineering
Costs
11 Citations (Scopus)

Dynamic constraint satisfaction problems over models

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

Research output: Contribution to journalArticle

Constraint satisfaction problems
Constraint Satisfaction Problem
Dynamic Problem
Design Space Exploration
Model
11 Citations (Scopus)

Incremental pattern matching for the efficient computation of transitive closure

Bergmann, G., Ráth, I., Szabó, T., Torrini, P. & Varró, D., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7562 LNCS. 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

Transitive Closure
Pattern matching
Pattern Matching
Graph Transformation
Stochastic systems
8 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., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7304 LNCS. 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

Query
Modeling
Model
Application programming interfaces (API)
Framework
12 Citations (Scopus)

Lessons learned from building model-driven development tools

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

Research output: Contribution to journalArticle

Systems Engineering
Software Engineering
Systems engineering
Software engineering
Model

Ontology driven design of EMF metamodels and well-formedness constraints

Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., Ráth, I. & Varró, D., 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.

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

Metamodel
Electromagnetic Fields
Ontology
Electric potential
Requirements

Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012: Preface

Dingel, J., Lúcio, L., Vangheluwe, H. & Varró, D., 2012, In : Unknown Journal.

Research output: Contribution to journalArticle

Model Transformation
6 Citations (Scopus)

Query-driven soft interconnection of EMF models

Hegedüs, Á., Horváth, Á., Ráth, I. & Varró, D., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7590 LNCS. 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

Interconnection
Query
Computer simulation
Modeling
Model
7 Citations (Scopus)

Replaying execution trace models for dynamic modeling languages

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

Research output: Contribution to journalArticle

Dynamic models
Modeling languages
Industry

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

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

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

Model Transformation
Open Source
Life Cycle
Manipulation
Internet
2011
3 Citations (Scopus)

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

Bergmann, G., Boronat, A., Heckel, R., Torrini, P., Ráth, I. & Varró, D., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6582. 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

Graph Transformation
Model Transformation
Specification
Specifications
Formal methods
47 Citations (Scopus)

A graph query language for EMF models

Bergmann, G., Ujhelyi, Z., Ráth, I. & Varró, D., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6707 LNCS. 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: Chapter in Book/Report/Conference proceedingConference contribution

Query languages
Query Language
Electromagnetic Fields
Electric potential
Graph in graph theory