Search

Now showing items 1-8 of 8

Style-based refinement of dynamic software architectures

Baresi L; Heckel R; Thöne S; Varró, Dániel (IEEE Computer Society Press, 2004)

Joint optimization and reachability analysis in graph transformation systems with time

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

Generic And Meta-transformations For Model Transformation Engineering

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

Megbízhatósági modellek automatikus generálása gráftranszformációval

Domokos P; Majzik, István; Varró, Dániel (Erdélyi Múzeum-Egyesület (EME), 2004)

Static Safety Analysis of UML Action Semantics for Critical Systems Development

Zs Pap; Varró, Dániel (2004)

Model checking graph transformations: A comparison of two approaches

Rensink A; Schmidt A; Varró, Dániel (2004)

Graph transformation with incremental updates

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

Automated Formal Verification of Visual Modeling Languages by Model Checking

Varró, Dániel (2004)