Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2013 | 2012 | 2011 | 2010 | 2009
Number of items: 17.

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 (pp. pp. 66-80).

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 (pp. pp. 35-49).

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 (pp. pp. 121-136).

Ghamarian, Amir Hossein and Mol, Maarten de 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 (pp. pp. 215-222).

Ghamarian, Amir Hossein and Mol, Maarten de 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 (pp. pp. 126-130).

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, Maarten de 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 (pp. pp. 416-418).

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]

This list was generated on Tue Sep 16 05:20:04 2014 CEST.