Search

Now showing items 1-5 of 5

Termination criteria for model transformation

Ehrig H; Ehrig K; de Lara J; Taentzer G; Varró, Dániel; Varró-Gyapay, Szilvia (2005)

Graph transformation with time

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

Joint optimization and reachability analysis in graph transformation systems with time

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

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

Varró-Gyapay, Szilvia; Varró, Dániel (2006)

Graph transformation with time: Causality and logical clocks

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