EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Zambon, Eduardo
Home Policy Brochure Browse Search User Area Contact Help

2015

Rensink, A. and Zambon, Eduardo (2015) Graphs as Models - Preface. In: Graphs as Models, 11-12 Apr 2015, London, U.K.. Electronic Proceedings in Theoretical Computer Science 181. Open Publishing Association. ISSN 2075-2180

2014

Zambon, Eduardo and Rensink, A. (2014) Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), 5-6 April 2014, Grenoble, France. Electronic Communications of the EASST 67. European Association of Software Science and Technology. ISSN 1863-2122

2013

Zambon, Eduardo (2013) Abstract Graph Transformation - Theory and Practice. PhD thesis, University of Twente. CTIT Ph.D.-thesis Series No. 12-239 ISBN 978-90-365-3477-2

2012

Boneva, I.B. and Kreiker, J. and Kurban, M.E. and Rensink, A. and Zambon, Eduardo (2012) Graph abstraction and abstract graph transformations (Amended version). Technical Report TR-CTIT-12-26, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2012) Modelling and analysis using GROOVE. International journal on software tools for technology transfer, 14 (1). pp. 15-40. ISSN 1433-2779
Rensink, A. and Zambon, Eduardo (2012) Pattern-Based Graph Abstraction. In: International Conference on Graph Transformation (ICGT 2012), 24-29 Sep 2012, Bremen, Germany. pp. 66-80. Lecture Notes in Computer Science 7562. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33653-9
Zambon, Eduardo and Rensink, A. (2012) Graph Subsumption in Abstract State Space Exploration. In: Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012), 1 Apr 2012, Tallinn, Estonia. pp. 35-49. Electronic Proceedings in Theoretical Computer Science 99. Open Publishing Association. ISSN 2075-2180

2011

Galvao Lourenco da Silva, I. and Zambon, Eduardo and Rensink, A. and Wevers, L. and Akşit, M. (2011) Knowledge-based Graph Exploration Analysis. In: Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE 2011, 4-7 Oct 2011, Budapest, Hungary. pp. 105-120. Lecture Notes in Computer Science 7233. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-34175-5
Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo (2011) Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case. In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland. pp. 215-222. Electronic Proceedings in Theoretical Computer Science (EPTCS) 74. Open Publishing Association. ISSN 2075-2180
Rensink, A. and Zambon, Eduardo (2011) Neighbourhood Abstraction in GROOVE. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, NL. pp. 1-13. Electronic Communications of the EASST 32. European Association for the Study of Science and Technology. ISSN 1863-2122
Rensink, A. and Zambon, Eduardo (2011) Solving the TTC 2011 Compiler Optimization Case with GROOVE. In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland. pp. 126-130. Electronic Proceedings in Theoretical Computer Science (EPTCS) 74. Open Publishing Association. ISSN 2075-2180
Zambon, Eduardo and Rensink, A. (2011) Using Graph Transformations and Graph Abstractions for Software Verification. Electronic Communications of the EASST, 38. pp. 1-13. ISSN 1863-2122

2010

Ghamarian, A.H. and de Mol, M.J. and Rensink, A. and Zambon, Eduardo and Zimakova, M.V. (2010) Modelling and Analysis Using GROOVE. Technical Report TR-CTIT-10-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zambon, Eduardo (2010) Neighbourhood Abstraction in GROOVE - Tool Paper. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, NL. pp. 55-61. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
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, NL. pp. 416-418. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5

2009

Rensink, A. and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. Technical Report TR-CTIT-09-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zambon, Eduardo (2009) A Type Graph Model for Java Programs. In: Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2009, 9-12 Jun 2009, Lisbon, Portugal. pp. 237-242. Lecture Notes in Computer Science 5522. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02137-4
Zambon, Eduardo and Bossois, D.Z. and Garcia, B.B. and Azeredo, E.F. (2009) A Novel Nonlinear Programming Model for Distribution Protection Optimization. IEEE Transactions on Power Delivery, 24 (4). pp. 1951-1958. ISSN 0885-8977 *** ISI Impact 2,032 ***
Zambon, Eduardo and Rensink, A. (2009) Using Graph Transformations and Graph Abstractions for Software Verification. Technical Report TR-CTIT-10-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625