Graph Transformation with Time: Causality and Logical Clocks. - Szilvia Gyapay; Reiko Heckel; Dániel Varró (ICGT, 2002)

A combination of Petri nets and process network synthesis. - Szilvia Gyapay; András Pataricza (SMC, 2003)

Graph Transformation with Time. - Szilvia Gyapay; Dániel Varró; Reiko Heckel (Fundam. Informaticae, 2003)

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. - Szilvia Gyapay; Ákos Schmidt; Dániel Varró (GT-VMT@ETAPS, 2004)

Termination Criteria for Model Transformation. - Hartmut Ehrig; Karsten Ehrig; Juan de Lara; Gabriele Taentzer; Dániel Varró; Szilvia Varró-Gyapay (FASE, 2005)

Termination Analysis of Model Transformations by Petri Nets. - Dániel Varró; Szilvia Varró-Gyapay; Hartmut Ehrig; Ulrike Prange; Gabriele Taentzer (ICGT, 2006)

Optimal Trajectory Generation for Petri nets. - Szilvia Gyapay; András Pataricza (Acta Cybern., 2006)

Optimization in Graph Transformation Systems Using Petri Net Based Techniques. - Szilvia Varró-Gyapay; Dániel Varró (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques. - Szilvia Varró-Gyapay (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Optimization of Reconfiguration Mechanisms in Critical Infrastructures. - Szilvia Varró-Gyapay; Dániel László Magyar; Melinda Kocsis-Magyar; Katalin Tasi; Attila Hoangthanh Dinh; Ágota Bausz; László Gönczy (SAFECOMP Workshops, 2015)

Trajectory Set Approximation for Optimization and Verification of IT Systems - Szilvia Varró-Gyapay (2015)