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

Research Output 2002 2016

  • 2520 Citations
  • 29 h-Index
  • 72 Conference contribution
  • 45 Article
  • 5 Chapter
Filter
Conference contribution
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)

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
15 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
2015
8 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
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
36 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
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
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
6 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
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
42 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
7 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
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
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)

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

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

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
49 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
31 Citations (Scopus)

A model-driven framework for guided design space exploration

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

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

Systems analysis

A tool for managing evolving security requirements

Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D. & Yu, Y., 2011, CEUR Workshop Proceedings. Vol. 734. p. 49-56 8 p.

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

Systems analysis
Monitoring
7 Citations (Scopus)

Implementing efficient model validation in EMF tools

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

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

Industry
4 Citations (Scopus)

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

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

Pattern Matching
Query
Domain-specific Languages
Code Generation
Pattern matching
27 Citations (Scopus)

Quick fix generation for DSMLs

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

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

Experiments
Modeling languages
1 Citation (Scopus)

SeCMER: A tool to gain control of security requirements evolution

Bergmann, G., Massacci, F., Paci, F., Tun, T. T., Varró, D. & Yu, Y., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6994 LNCS. 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: Chapter in Book/Report/Conference proceedingConference contribution

Gain control
Tool Support
Requirements
Argumentation
4 Citations (Scopus)

Towards dynamic backward slicing of model transformations

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

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

Software engineering
Costs
2010
24 Citations (Scopus)

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

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

Macros
Petri nets
Simulators
Mathematical models
Defects
63 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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 1 ed. Vol. 6394 LNCS. 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: Chapter in Book/Report/Conference proceedingConference contribution

Query
Evaluation
Model Transformation
Model
Query Complexity

Model-driven development of ARINC 653 configuration tables

Horváth, Á., Varró, D. & Schoofs, T., 2010, AIAA/IEEE Digital Avionics Systems Conference - Proceedings. 5655451

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

Avionics
Error detection
Systems engineering
Aviation
Software engineering
15 Citations (Scopus)

Model-driven development of ARINC 653 configuration tables

Horváth, Á., Varró, D. & Schoofs, T., 2010, AIAA/IEEE Digital Avionics Systems Conference - Proceedings. 5655322

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

Avionics
Error detection
Systems engineering
Aviation
Software engineering
21 Citations (Scopus)

Teaching modeling: Why, when, what?

Bezivin, J., France, R., Gogolla, M., Haugen, O., Taentzer, G. & Varró, D., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6002 LNCS. 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: Chapter in Book/Report/Conference proceedingConference contribution

Computer programming
Teaching
Semantics
Metamodeling
Modeling
16 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., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5765 LNCS. 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: Chapter in Book/Report/Conference proceedingConference contribution

Model Transformation
Work Flow
Development Process
Safety-critical Systems
Orchestration
2009
15 Citations (Scopus)

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

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

Model Transformation
Processing
Model
History
Target
4 Citations (Scopus)

CSP(M): Constraint satisfaction problem over models

Horváth, Á. & Varró, D., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5795 LNCS. 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: Chapter in Book/Report/Conference proceedingConference contribution

Constraint satisfaction problems
Constraint Satisfaction
Constraint Satisfaction Problem
Programming
Graph in graph theory
8 Citations (Scopus)

Efficient model transformations by combining pattern matching strategies

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

Pattern matching
Model Transformation
Pattern Matching
Local Search
Graph Transformation
10 Citations (Scopus)

Model transformations for performability analysis of service configurations

Gonczy, L., Deri, Z. & Varró, D., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5421. 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: Chapter in Book/Report/Conference proceedingConference contribution

Performability
Model Transformation
Service oriented architecture (SOA)
Availability
Configuration
2008
31 Citations (Scopus)

A benchmark evaluation of incremental pattern matching in graph transformation

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

Graph Transformation
Pattern matching
Pattern Matching
Benchmark
Evaluation
16 Citations (Scopus)

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

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

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

Pattern matching
Visual languages
Discrete event simulation
Semantics
34 Citations (Scopus)

Incremental pattern matching in the VIATRA model transformation system

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

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

Pattern matching
Engines
Synchronization
Processing
28 Citations (Scopus)

Live model transformations driven by incremental pattern matching

Ráth, I., Bergmann, G., Ökrös, A. & Varró, D., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5063 LNCS. 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: Chapter in Book/Report/Conference proceedingConference contribution

Pattern matching
Model Transformation
Pattern Matching
Graph Transformation
Engine
3 Citations (Scopus)

Model driven performability analysis of service configurations with reliable messaging?

Gonczy, L., Deri, Z. & Varró, D., 2008, CEUR Workshop Proceedings. Vol. 389. p. 61-75 15 p.

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

Fault tolerance
Web services
Availability
Costs