Výsledky vyhledávání - "Ghamarian, A.H."

Generalised compositionality in graph transformation

We present a notion of composition applying both to graphs and to rules, based on graph and rule interfaces along which they are glued. The current paper generalises a previous result in two different ways. Firstly, rules do not have to form pullback

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::1006069a8e1cbd2ed58b33ab42d97430
https://research.utwente.nl/en/publications/d9214c06-1a1e-4d3c-8a96-5eb83df54f07

Zobrazit plný text záznamu

Incremental pattern matching for regular expressions

Autor: Jalali, Arash, Ghamarian, A.H., Rensink, Arend, Fish, Andrew, Lambers, Leen

Publikováno v: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 736:1-736:12
STARTPAGE=736:1;ENDPAGE=736:12;TITLE=11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012

Graph pattern matching lies at the heart of any graph transformation-based system. Incremental pattern matching is one approach proposed for reducingthe overall cost of pattern matching over successive transformations by preserving the matches that s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::cc47ae4e102b6c26e50416d1f0c62f4c
https://research.utwente.nl/en/publications/437fccb4-0775-4fd1-b8b2-4eaea6d189c4

Zobrazit plný text záznamu

Graph passing in graph transformation

Autor: Ghamarian, A.H., Rensink, Arend, Fish, Andrew, Lambers, Leen

Publikováno v: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 723:1-723:14
STARTPAGE=723:1;ENDPAGE=723:14;TITLE=11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012

Graph transformation works under the whole world assumption. Therefore, in realistic systems, both the individual graphs and the set of all such graphs can grow very large. In reactive formalisms such as process algebra, on the other hand, each syste

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::f81d8826ceae189f0839dc8b697ea98a
https://research.utwente.nl/en/publications/graph-passing-in-graph-transformation(45cd2c5c-a971-43c9-99a6-bf0ce36f08bf).html

Zobrazit plný text záznamu

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Autor: Ghamarian, A.H., de Mol, M.J., Rensink, Arend, Zambon, Eduardo, van Gorp, Pieter, Mazanek, Steffen, Rose, Louis

Publikováno v: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 215-222
STARTPAGE=215;ENDPAGE=222;TITLE=Proceedings of the Fifth Transformation Tool Contest (TTC 2011)
TTC
Electronic Proceedings in Theoretical Computer Science, Vol 74, Iss Proc. TTC 2011, Pp 215-222 (2011)

This report presents a solution to the Hello World case study of TTC 2011 using GROOVE. We provide and explain the grammar that we used to solve the case study. Every requested question of the case study was solved by a single rule application.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90dcb4fefd89d01dba93fae6c0d5ccdf
http://arxiv.org/abs/1111.4754

Zobrazit plný text záznamu

Modelling and Analysis Using GROOVE

Autor: Ghamarian, A.H., de Mol, M.J., Rensink, Arend, Zambon, Eduardo, Zimakova, M.V.

In this paper we present case studies that describe how the graph transformation tool GROOVE has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of GROOVE in particular, and of graph tra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::9da1d512fa721c435f37b45c8eaa540c
https://research.utwente.nl/en/publications/modelling-and-analysis-using-groove(0d4f0159-cf80-46d4-9760-e9b68ac2511f).html

Zobrazit plný text záznamu

Incremental Pattern Matching in Graph-Based State Space Exploration

Autor: Ghamarian, A.H., Rensink, Arend, Jalali, Arash, De Lara, J., Varro, D.

Publikováno v: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 144-154
STARTPAGE=144;ENDPAGE=154;TITLE=Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010)

Graph pattern matching is among the most costly operations in any graph transformation system. Incremental pattern matching aims at reducing this cost by incrementally updating, as opposed to totally recalculating, the possible matches of rules in th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::750e89a8ec8e255c7932550fbcd18eb0
https://research.utwente.nl/en/publications/200ef86e-c7a9-485a-bf14-ad60c4ac0df7

Zobrazit plný text záznamu

Timing analysis of synchronous data flow graphs

Autor: Ghamarian, A.H.

Consumer electronic systems are getting more and more complex. Consequently, their design is getting more complicated. Typical systems built today are made of different subsystems that work in parallel in order to meet the functional re- quirements o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::5ab01ab50c6a4882cc15eacc849db4e3
https://research.tue.nl/nl/publications/052e99cd-7d9b-48b7-b6dd-4f60ccaf00a8

Zobrazit plný text záznamu