Search

Now showing items 11-20 of 69

Graph transformation with time

Varró-Gyapay, Szilvia; Varró, Dániel; Heckel R (2003)

Modeling and Validation of Service-Oriented Architectures: Application vs. Style

Baresi L; Heckel R; Thöne S; Varró, Dániel (ACM Press, 2003)

Towards symbolic analysis of visual modeling languages

Varró, Dániel (2003)

Joint optimization and reachability analysis in graph transformation systems with time

Varró-Gyapay, Szilvia; Schmidt A; Varró, Dániel (2004)

VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models

Csertán, György; Huszerl, Gábor; Majzik, István; Pap Zs; Pataricza, András; Varró, Dániel (IEEE Press, 2002)

Designing The Automatic Transformation of Visual Languages

Varró, Dániel; Varró, Gergely György; Pataricza, András (2002)

Generic And Meta-transformations For Model Transformation Engineering

Varró, Dániel; Pataricza, András (2004)

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)

Model-based Deployment of Web Services to Standards-compliant Middleware

Gönczy, László; Ávéd János; Varró, Dániel (IADIS Press, 2006)

1
2
3
4
5
. . .
7