Szilvia Varró-Gyapay

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Critical Infrastructure

Graph Transformation

Systems Require

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

SAFECOMP Workshops

Publications

Szilvia Varró-Gyapay, Dániel László Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, Ágota Bausz, László Gönczy
Optimization of Reconfiguration Mechanisms in Critical Infrastructures. SAFECOMP Workshops (2015)
Szilvia Varró-Gyapay
Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
Szilvia Varró-Gyapay, Dániel Varró
Optimization in Graph Transformation Systems Using Petri Net Based Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
Termination Analysis of Model Transformations by Petri Nets. ICGT (2006)
Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay
Termination Criteria for Model Transformation. Transformation Techniques in Software Engineering (2005)
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay
Termination Criteria for Model Transformation. FASE (2005)