Szilvia Varró-Gyapay

According to our database, Szilvia Varró-Gyapay authored at least 11 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Trajectory Set Approximation for Optimization and Verification of IT Systems

Szilvia Varró-Gyapay

PhD thesis, 2015

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

Proceedings of the Computer Safety, Reliability, and Security, 2015

2012

Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques.

Szilvia Varró-Gyapay

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

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

Optimal Trajectory Generation for Petri nets.

Szilvia Gyapay, András Pataricza

Acta Cybern., 2006

Termination Analysis of Model Transformations by Petri Nets.

Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Termination Criteria for Model Transformation.

Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time.

Szilvia Gyapay, Ákos Schmidt, Dániel Varró

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

2003

Graph Transformation with Time.

Szilvia Gyapay, Dániel Varró, Reiko Heckel

Fundam. Informaticae, 2003

A combination of Petri nets and process network synthesis.

Szilvia Gyapay, András Pataricza

Proceedings of the IEEE International Conference on Systems, 2003

2002

Graph Transformation with Time: Causality and Logical Clocks.

Szilvia Gyapay, Reiko Heckel, Dániel Varró

Proceedings of the Graph Transformation, First International Conference, 2002