Search

Now showing items 1-9 of 9

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

Bergmann, Gábor; Horváth, Ákos; Ráth, István Zoltán; Varró, Dániel (2008)

Model Driven Performability Analysis of Service Configurations with Reliable Messaging

Gönczy, László; Déri Zsolt; Varró, Dániel (2008)

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

Ráth, István Zoltán; Vago David; Varró, Dániel (IEEE, 2008)

Towards Testing the Implementation of Graph Transformations

A Darabos; Pataricza, András; Varró, Dániel (2008)

Tool Support for Engineering Certifiable Software

Gönczy, László; Majzik, István; Horváth, Ákos; Varró, Dániel; Balogh András; Micskei, Zoltán Imre; Pataricza, András (2008)

Model Transformations for Performability Analysis of Service Configurations

Gönczy, László; Zs Déri; Varró, Dániel (2008)

Incremental pattern matching in the VIATRA model transformation system

Bergmann, Gábor; A Ökrös; Ráth, István Zoltán; Varró, Dániel; Varró, Gergely György (ACM Press, 2008)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

Wirsing Martin; Hölzl Matthias M; Acciai Lucia; Banti Federico; Clark Allan; Fantechi Alessandro; Gilmore Stephen; Gnesi Stefania; Gönczy, László; Koch Nora; Lapadula Alessandro; Mayer Philip; Mazzanti Franco; Pugliese Rosario; Schroeder Andreas; Tiezzi Francesco; Tribastone Mirco; Varró, Dániel (2008)

Live Model Transformations Driven by Incremental Pattern Matching

Ráth, István Zoltán; Bergmann, Gábor; A Ökrös; Varró, Dániel (2008)