Contains the keyword Viatra
Back-annotation of Simulation Traces with Change-Driven Model Transformations. In: Proceedings of the Eighth International Conference on Software Engineering and Formal Methods. Pisa: IEEE Computer Society; 2010. p. 145-55. Abstract
Acceptance rate: 22%
Incremental Evaluation of Model Queries over EMF Models. In: Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10. Springer; 2010.
Acceptance rate: 21%
Stochastic Simulation of Graph Transformation Systems. In: Proc. of FASE2010, Fundamental Approaches to Software Engineering.; 2010.
Accepted.
Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2. International Journal on Software Tools for Technology Transfer. 2010;12(3-4):211-30. Abstract
Synchronization of abstract and concrete syntax in domain-specific modeling languages. Software and Systems Modeling. 2010;9(4):453-71. Abstract
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2. Consiglio Nazionale delle Ricerche (CNR); 2010. Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
Graph Transformation Based Constraint Solving. In: Proceedings of the 16th PhD Minisymposium. Budapest University of Technology and Economics, Department of Measurement and Information Systems; 2009. p. 12-5.
Change-Driven Model Transformations. In: Schürr A, Selic B, editors. Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Vol 5795. Springer; 2009. p. 342-56. (Lecture Notes in Computer Science; vol 5795). Abstract
Springer Best Paper Award and ACM Distinguished Paper Award
Acceptance rate: 18%
BPMN to BPEL case study solution in VIATRA2. In: 5th International Workshop on Graph-Based Tools, . Zürich, Switzerland: Springer; 2009.