Search

Now showing items 51-60 of 117

Automated Formal Verification of Visual Modeling Languages by Model Checking

Varró, Dániel (2004)

Benchmarking for graph transformation

Varró, Gergely György; Schürr A; Varró, Dániel (IEEE Computer Society Press, 2005)

Applying a model transformation taxonomy to graph transformation technology

Mens T; Van Gorp P; Varró, Dániel; Karsai G (2006)

Adaptive graph pattern matching for model transformations using model-sensitive search plans

Varró, Gergely György; Friedl, Katalin; Varró, Dániel (2006)

Graph transformation in relational databases

Varró, Gergely György; Friedl, Katalin; Varró, Dániel (2005)

Graph transformation with incremental updates

Varró, Gergely György; Varró, Dániel (2004)

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)

Anti-pattern detection with model queries: A comparison of approaches

Ujhelyi, Zoltán; Horváth, Ákos; Varró, Dániel; Csiszár Norbert István; Szőke Gábor; Vidács, László; Ferenc, Rudolf (IEEE Computer Society Press, 2014)