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

18 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

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

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)

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)

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

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)

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)

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)

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

A graph query language for EMF models

Bergmann, G., Ujhelyi, Z., Ráth, I. & Varró, D., Jul 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference contribution

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

7 Citations (Scopus)

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

Bergmann, G., Horváth, Á., Ráth, I. & Varró, D., Jun 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference contribution

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

4 Citations (Scopus)
2010

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

Hegedüs, Á., Bergmann, G., Ráth, I. & Varró, D., Dec 29 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: Chapter in Book/Report/Conference proceedingConference contribution

27 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., Nov 22 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Model transformations for performability analysis of service configurations

Gonczy, L., Deri, Z. & Varro, D., Jul 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: Chapter in Book/Report/Conference proceedingConference 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: Chapter in Book/Report/Conference proceedingConference contribution

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

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

34 Citations (Scopus)

Live model transformations driven by incremental pattern matching

Ráth, I., Bergmann, G., Ökrös, A. & Varró, D., Oct 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: Chapter in Book/Report/Conference proceedingConference contribution

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

13 Citations (Scopus)