TY  - THES
AU  - Varró-Gyapay, Szilvia
TI  - Trajectory Set Approximation for Optimization and Verification of IT Systems
PB  - BME Villamosmérnöki és Informatikai Kar
PY  - 2015
SP  - 130
UR  - https://m2.mtmt.hu/api/publication/2944271
ID  - 2944271
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Varró-Gyapay, Szilvia
TI  - Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques
JF  - ELECTRONIC COMMUNICATIONS OF THE EASST
J2  - ELECTR COMMUN EASST
VL  - 51
PY  - 2012
SP  - 1
EP  - 12
PG  - 12
SN  - 1863-2122
UR  - https://m2.mtmt.hu/api/publication/2695667
ID  - 2695667
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Varró-Gyapay, Szilvia
AU  - Varró, Dániel
TI  - Optimization in Graph Transformation Systems Using Petri Net Based Techniques
JF  - ELECTRONIC COMMUNICATIONS OF THE EASST
J2  - ELECTR COMMUN EASST
VL  - 2
PY  - 2006
SP  - 1
EP  - 18
PG  - 18
SN  - 1863-2122
DO  - 10.14279/tuj.eceasst.2.61.33
UR  - https://m2.mtmt.hu/api/publication/2625166
ID  - 2625166
AB  - The design of business or production systems frequently necessitates to simultaneously fulfill several logical and numerical constraints as requirements in order to deliver a functionally correct and optimal system. Such a problem can be typically formulated as a combined optimization and reachability analysis. In the current paper, we show how this problem can be formalized when the evolution of the system is captured by graph transformation systems (GTS) with a cost parameter attached to each graph transformation rule denoting the cost of firing the rule. Furthermore, we discuss how to solve such problems by combining guided state space exploration with algebraic techniques of Petri nets.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Varró, Dániel
AU  - Varró-Gyapay, Szilvia
AU  - Ehrig, H
AU  - Prange, U
AU  - Taentzer, G
TI  - Termination analysis of model transformations by Petri nets
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 4178
PY  - 2006
SP  - 260
EP  - 274
PG  - 15
SN  - 0302-9743
DO  - 10.1007/11841883_19
UR  - https://m2.mtmt.hu/api/publication/1635273
ID  - 1635273
AB  - Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly conducted to the specification and the automation of such transformations. However, since the transformations themselves may also contain conceptual flaws, it is essential to formally analyze them prior to executing them on user models. In the current paper, we focus on a central validation problem of trusted model transformations, namely, termination and propose a Petri net based analysis method that provides a sufficient criterion for the termination problem of model transformations captured by graph transformation systems.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Varró-Gyapay, Szilvia
AU  - Pataricza, András
TI  - Optimal trajectory generation for Petri nets
JF  - ACTA CYBERNETICA
J2  - ACTA CYBERN-SZEGED
VL  - 17
PY  - 2005
IS  - 2
SP  - 225
EP  - 245
PG  - 21
SN  - 0324-721X
UR  - https://m2.mtmt.hu/api/publication/2686190
ID  - 2686190
N1  - Cited By :1            
            Export Date: 23 May 2022            
            CODEN: ACCYD
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Varró-Gyapay, Szilvia
AU  - Pataricza, András
AU  - Sziray, József
AU  - Friedler, Ferenc
ED  - Elmenreich, W
ED  - Tenreiro, Machado JA
ED  - Rudas, Imre
TI  - Petri Net-Based Optimization of Production Systems
T2  - Intelligent Systems at the Service of Mankind. Volume II
PB  - UBooks
CY  - Augsburg
SN  - 9783866080522
PY  - 2005
SP  - 157
EP  - 167
PG  - 11
UR  - https://m2.mtmt.hu/api/publication/2410697
ID  - 2410697
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Balogh, András
AU  - Csertán, György
AU  - Lakiné Dobán, Orsolya
AU  - Majzik, István
AU  - Pataricza, András
AU  - Varró, Dániel
AU  - Varró-Gyapay, Szilvia
AU  - Md., Shariful Islam
AU  - Georg, Weissenbacher
TI  - Design methodology and specification model
PY  - 2005
SP  - 1
EP  - 51
PG  - 51
UR  - https://m2.mtmt.hu/api/publication/1635346
ID  - 1635346
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Taentzer, G
AU  - Ehrig, K
AU  - Guerra, E
AU  - de Lara, J
AU  - Lengyel, László
AU  - Levendovszky, Tihamér
AU  - Prange, U
AU  - Varró, Dániel
AU  - Varró-Gyapay, Szilvia
TI  - Model Transformation by Graph Transformation: A Comparative Study
T2  - Proceedings of the International Workshop on Model Transformations in Practice, MTiP 2005
C1  - [s.l.]
PY  - 2005
PG  - 47
UR  - https://m2.mtmt.hu/api/publication/1635341
ID  - 1635341
AB  - Graph transformation has been widely used for expressing model transformations. Especially transformations of visual models can be naturally formulated by graph transformations, since graphs are well suited to describe the underlying structures of models. Based on a common sample model transformation, four different model transformation approaches are presented which all perform graph transformations. At first, a basic solution is presented and crucial points of model transformations are indicated. Subsequent solutions focus mainly on the indicated problems. Finally, a first comparison of the chosen approaches to model transformation is presented where the main ingredients of each approach are summarized.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ehrig, H
AU  - Ehrig, K
AU  - de Lara, J
AU  - Taentzer, G
AU  - Varró, Dániel
AU  - Varró-Gyapay, Szilvia
TI  - Termination criteria for model transformation
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 3442
PY  - 2005
SP  - 49
EP  - 63
PG  - 15
SN  - 0302-9743
DO  - 10.1007/978-3-540-31984-9_5
UR  - https://m2.mtmt.hu/api/publication/1635271
ID  - 1635271
AB  - Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its transformation to some other domain), optimization, evolution, migration or even code generation. In this work, we show termination criteria for model transformation based on graph transformation. This framework offers visual and formal techniques based on rules, in such a way that model transformations can be subject to analysis. Previous results on graph transformation are extended by proving the termination of a transformation if the rules applied meet certain criteria. We show the suitability of the approach by an example in which we translate a simplified version of Statecharts into Petri nets for functional correctness analysis.
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Varró-Gyapay, Szilvia
AU  - Pataricza, András
AU  - Ádám, Nagy
TI  - Optimization of Production Nets under Temporal Constraints
T2  - Veszprém Optimization Conference: Advanced Algorithms (VOCAL), December
PY  - 2004
SP  - 1
EP  - 1
PG  - 1
UR  - https://m2.mtmt.hu/api/publication/2686579
ID  - 2686579
LA  - English
DB  - MTMT
ER  -