• 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
Filter
Article
2016
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
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
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

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
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
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
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
2013
Bioinformatics
Computer science
Artificial intelligence
Artificial Intelligence
Computer Science
2012
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
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
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

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
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
2011
26 Citations (Scopus)

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 2011, In : Software and Systems Modeling. 10, 3, p. 287-311 25 p.

Research output: Contribution to journalArticle

Service-oriented
Service-oriented Architecture
Service oriented architecture (SOA)
Model
Maintainability
2010
16 Citations (Scopus)

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: Contribution to journalArticle

Pattern matching
Data storage equipment
Costs
15 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., 2010, In : Software and Systems Modeling. 9, 4, p. 453-471 19 p.

Research output: Contribution to journalArticle

Domain-specific Languages
Modeling Language
Synchronization
Traceability
Concretes
2009
57 Citations (Scopus)

Model transformation by example using inductive logic programming

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

Research output: Contribution to journalArticle

Inductive logic programming (ILP)
Inductive Logic Programming
Model Transformation
Critical Case
Logic Programs
2 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

Tool Support
Software Engineering
Software engineering
Formal methods
Formal Analysis
2008
13 Citations (Scopus)

Formal analysis of BPEL workflows with compensation by model checking

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

Research output: Contribution to journalArticle

Formal Analysis
Model checking
Model Checking
Work Flow
Fault

Preface

Bruni, R. & Varró, D., Apr 28 2008, In : Electronic Notes in Theoretical Computer Science. 211, C, p. 1-3 3 p.

Research output: Contribution to journalArticle

8 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

Graph Transformation
Fault
Combinatorial circuits
Software Testing
Testing
2007
10 Citations (Scopus)

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

Graph Transformation
Service oriented architecture (SOA)
Modeling
Quality of service
Switches
149 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. 187-207 21 p.

Research output: Contribution to journalArticle

Specifications
2006
40 Citations (Scopus)

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

Transformation Model
Pattern matching
Model Transformation
Pattern Matching
Graph in graph theory
29 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

Graph Transformation
Model Transformation
Taxonomies
Taxonomy
Computer science
19 Citations (Scopus)

Implementing a graph transformation engine in relational databases

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

Research output: Contribution to journalArticle

Graph Transformation
Relational Database
Engine
Engines
Join
64 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 2006, In : Software and Systems Modeling. 5, 2, p. 187-207 21 p.

Research output: Contribution to journalArticle

Graph Transformation
Service-oriented Architecture
Service oriented architecture (SOA)
Refinement
Modeling
2005
4 Citations (Scopus)

Graph transformation in relational databases

Varró, G., Friedl, K. & Varró, D., Mar 30 2005, In : Electronic Notes in Theoretical Computer Science. 127, 1, p. 167-180 14 p.

Research output: Contribution to journalArticle

Graph Transformation
Relational Database
Join
Manipulation
Pattern matching
2004
74 Citations (Scopus)
Model Transformation
Language
Engineering
Software
Model Driven Architecture
15 Citations (Scopus)

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

Graph Transformation
Tables
Update
Efficient Implementation
Model
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

Reachability Analysis
Graph Transformation
Path
Optimization
Safety-critical Systems
2003
54 Citations (Scopus)
Visual Languages
Model checking
Modeling Language
Model Checking
Language
15 Citations (Scopus)

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

Graph Transformation
Petri nets
Clocks
Semantics
Concurrency
15 Citations (Scopus)

Towards symbolic analysis of visual modeling languages

Varró, D., Feb 2003, In : Electronic Notes in Theoretical Computer Science. 72, 3, p. 55-68 14 p.

Research output: Contribution to journalArticle

Visual Languages
Symbolic Analysis
Modeling Language
Specification
Specifications
7 Citations (Scopus)

UML action semantics for model transformation systems

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

Research output: Contribution to journalArticle

Semantics
Specification languages
Software engineering
Systems analysis
2002
8 Citations (Scopus)

An open visualization framework for metamodel-based modeling languages

Domokos, P. & Varró, D., Nov 2002, In : Electronic Notes in Theoretical Computer Science. 72, 2, p. 91-100 10 p.

Research output: Contribution to journalArticle

Drawing (graphics)
Modeling Language
Metamodel
XML
Visualization
86 Citations (Scopus)

Designing the automatic transformation of visual languages

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

Research output: Contribution to journalArticle

Visual languages
Formal methods
Artificial intelligence
Large scale systems
Mathematical transformations