| Termination criteria for model transformation H Ehrig, K Ehrig, J De Lara, G Taentzer, D Varró, S Varró-Gyapay Fundamental Approaches to Software Engineering: 8th International Conference …, 2005 | 185 | 2005 |
| Model transformation by graph transformation: A comparative study G Taentzer, K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, ... Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica, 17, 2005 | 181 | 2005 |
| Termination analysis of model transformations by petri nets D Varró, S Varró–Gyapay, H Ehrig, U Prange, G Taentzer Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006 | 124 | 2006 |
| Model transformation by graph transformation: A comparative study K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, U Prange, ... MTiP, 2005 | 77 | 2005 |
| Graph transformation with time: Causality and logical clocks S Gyapay, R Heckel, D Varró Graph Transformation: First International Conference, ICGT 2002 Barcelona …, 2002 | 71* | 2002 |
| Joint optimization and reachability analysis in graph transformation systems with time S Gyapay, A Schmidt, D Varró Electronic Notes in Theoretical Computer Science 109, 137-147, 2004 | 29 | 2004 |
| Optimization in graph transformation systems using Petri net based techniques S Varró-Gyapay, D Varró Electronic Communications of the EASST 2, 2006 | 13 | 2006 |
| Petri net-based optimization of production systems S Gyapay, A Pataricza, J Sziray, F Friedler Intelligent Systems at the Service of Mankind, 157, 2005 | 13 | 2005 |
| Automatic transformation of UML models for system verification D Varró, S Gyapay, A Pataricza, J Whittle WTUML 1, 123-127, 2001 | 13 | 2001 |
| A combination of Petri nets and Process Network Synthesis S Gyapay, A Pataricza SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems …, 2003 | 9 | 2003 |
| Automated Algorithm Generation for Visual Control Structures S Gyapay, D Varró Technical Report: Budapest University of Technology and Economics, 2000 | 6 | 2000 |
| Trajectory set approximation for optimization and verification of it systems S Varró-Gyapay PQDT-Global, 2014 | 4 | 2014 |
| Model transformation from General Resource Models to Petri nets using graph transformation S Gyapay Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 2004 | 3 | 2004 |
| Formális módszerek az informatikában T Bartha, GY Csertán, SZ Gyapay, I Majzik, A Pataricza, D Varró Formális módszerek az informatikában, 312, 2004 | 2 | 2004 |
| Towards graph transformation with time S Gyapay, R Heckel Proc. ETAPS 2002 Workshop on Application of Graph Transformation, Grenoble …, 2002 | 2 | 2002 |
| Petri Net Based Trajectory Optimization Á Hajdu, R Német, S Varró–Gyapay, A Vörös FUTURE INTERNET SERVICES, 11, 2014 | 1 | 2014 |
| Optimization in graph transformation systems with time using Petri net based techniques S Varró-Gyapay Electronic Communications of the EASST 51, 2012 | 1 | 2012 |
| Optimal trajectory generation for Petri nets S Gyapay, A Pataricza Acta Cybernetica 17 (2), 225-245, 2005 | 1 | 2005 |
| Optimization of Reconfiguration Mechanisms in Critical Infrastructures S Varró-Gyapay, DL Magyar, M Kocsis-Magyar, K Tasi, AH Dinh, Á Bausz, ... Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | | 2015 |
| Model based Optimization and Verification of IT Systems S Gyapay CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 52, 2004 | | 2004 |