EEMCS

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

EEMCS EPrints Service


Research Project: GRAIL: Graphs for the Abstract Interpretation of Languages
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

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
Ghamarian, A.H. and Rensink, A. (2012) Generalised compositionality in graph transformation. In: 6th International Conference on Graph Transformation (ICGT 2012), 24-29 Sep 2012, Bremen, Germany. pp. 234-248. Lecture Notes in Computer Science 7562. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-33653-9
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

Mazanek, S. and Rensink, A. and Van Gorp, P., ed. (2010) Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain. CTIT Workshop Proceedings Series 10-03. Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1574-0846
Blom, S.C.C. and Kant, G. and Rensink, A. (2010) Distributed Graph-Based State Space Generation. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, The Netherlands. 8. Electronic Communications of the EASST 32. European Association of Software Science and Technology (EASST). ISSN 1863-2122
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
Hüksbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2010) Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: 8th International Conference on Integrated Formal Methods, IFM 2010, 11-14 Oct 2010, Nancy, France. pp. 183-198. Lecture Notes in Computer Science 6396. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16264-0
Kant, G. (2010) Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking. Technical Report TR-CTIT-10-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kant, G. (2010) Distributed State Space Generation for Graphs up to Isomorphism. Master's thesis, University of Twente.
Rensink, A. (2010) A First Study of Compositionality in Graph Transformation. Technical Report TR-CTIT-10-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2010) Isomorphism Checking for Symmetry Reduction. Technical Report TR-CTIT-10-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2010) Compositionality in Graph Transformation. In: Automata, Languages and Programming (ICALP), 5-10 Jul 2010, Bordeaux, France. pp. 309-320. Lecture Notes in Computer Science 6199. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-14161-4
Rensink, A. (2010) The Edge of Graph Transformation - Graphs for Behavioural Specification. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science 5765. Springer Verlag, Berlin, pp. 6-32. ISSN 0302-9743 ISBN 978-3-642-17321-9
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 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