Author Publications

2013

Zambon, Eduardo (2013) Abstract graph transformation : theory and practice. thesis.

2012

Boneva, Iovka and Kreiker, Jörg and Kurbán, Marcos and Rensink, Arend and Zambon, Eduardo (2012) Graph abstraction and abstract graph transformations (Amended version). [Report]

Rensink, Arend and Zambon, Eduardo (2012) Pattern-Based Graph Abstraction. In: International Conference on Graph Transformation, ICGT 2012, 24-29 September 2012, Bremen, Germany.

Zambon, E. and Rensink, A. (2012) Graph Subsumption in Abstract State Space Exploration. In: First Workshop on Graph Inspection and Traversal Engineering, GRAPHite 2012, 1 April 2012, Tallinn, Estonia.

2011

Galvão, Ismênia and Zambon, Eduardo and Rensink, Arend and Wevers, Lesley and Aksit, Mehmet (2011) Knowledge-based Graph Exploration Analysis. In: Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE 2011, 4-7 October 2011, Budapest, Hungary.

Ghamarian, Amir Hossein and Mol de, Maarten and Rensink, Arend and Zambon, Eduardo (2011) Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. In: Fifth Transformation Tool Contest, TTC 2011, 29-30 June 2011, Zurich, Switzerland.

Ghamarian, Amir Hossein and Mol de, Maarten and Rensink, Arend and Zambon, Eduardo and Zimakova, Maria (2011) Modelling and analysis using GROOVE. International Journal on Software Tools for Technology Transfer (STTT) . ISSN 1433-2779

Rensink, Arend and Zambon, Eduardo (2011) Neighbourhood Abstraction in GROOVE. In: Fourth International Workshop on Graph-Based Tools, GraBaTs 2010, 28 September 2010, Enschede, NL.

Rensink, Arend and Zambon, Eduardo (2011) Solving the TTC 2011 Compiler Optimization Case with GROOVE. In: Fifth Transformation Tool Contest, TTC 2011, 29-30 June 2011, Zurich, Switzerland.

Zambon, Eduardo and Rensink, Arend (2011) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations - Doctoral Symposium, ICGT-DS 2010, 29 Sept - 1 Oct 2010, Enschede, The Netherlands.

2010

Ghamarian, Amir Hossein and Mol de, Maarten and Rensink, Arend and Zambon, Eduardo and Zimakova, Maria (2010) Modelling and Analysis Using GROOVE. [Report]

Rensink, Arend and Zambon, Eduardo (2010) Neighbourhood Abstraction in GROOVE - Tool Paper. In: Fourth International Workshop on Graph-Based Tools, GraBaTs 2010, 28 September 2010, Enschede, NL. (In Press)

Zambon, Eduardo (2010) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations, ICGT 2010, 27 Sep - 02 Oct 2010, Enschede, The Netherlands.

2009

Rensink, Arend and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. [Report]

Rensink, Arend and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. In: Formal Techniques for Distributed Systems. Lecture Notes in Computer Science, 5522 . Springer Verlag, Berlin, pp. 237-242. ISBN 9783642021374

Zambon, Eduardo and Bossois, Débora Z. and Garcia, Berilhes B. and Azeredo, Elias F. (2009) A Novel Nonlinear Programming Model for Distribution Protection Optimization. IEEE Transactions on Power Delivery, 24 (4). pp. 1951-1958. ISSN 0885-8977

Zambon, Eduardo and Rensink, Arend (2009) Using Graph Transformations and Graph Abstractions for Software Verification. [Report]