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

EEMCS EPrints Service


Research Project: GROOVE: Graphs for Object-Oriented Verification
 Home Policy Brochure Browse Search User Area Contact Help

2012

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

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 Van Gorp, P. (2010) Graph transformation tool contest 2008. International journal on software tools for technology transfer, 12 (3-4). pp. 171-181. ISSN 1433-2779

2009

Boneva, I. and Kreiker, J. and Kurban, M.E. and Rensink, A. (2009) Graph Abstraction for a Modal Logic. Bulletin of the European Association for Theoretical Computer Science, 97. pp. 106-116. ISSN 0252-9742
Rensink, A. and Kuperus, J.-H. (2009) Repotting the geraniums: on nested graph transformation rules. In: Graph transformation and visual modelling techniques, 28-29 Mar 2009, York, U.K.. Electronic Communications of the EASST 18. EASST. ISSN 1863-2122

2008

Bauer, J. and Boneva, I.B. and Kurban, M.E. and Rensink, A. (2008) A Modal-Logic Based Graph Abstraction. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK. pp. 321-335. Lecture Notes in Computer Science 5214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87404-1
Kastenberg, H. (2008) Graph-based software specification and verification. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-128 ISBN 978-90-365-2734-7
Kastenberg, H. and Rensink, A. (2008) Dynamic Partial Order Reduction Using Probe Sets. In: Concurrency Theory (CONCUR), 19-22 Aug 2008, Toronto, Canada. pp. 233-247. Lecture Notes in Computer Science 5201. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-85360-2
König, B. and Rensink, A. and Heckel, R. (2008) Graph Transformation for Concurrency and Verification - Preface. In: Graph Transformation for Verification and Concurrency, 3 Sep 2007, Lisbon, Portugal. pp. 1-2. Electronic Notes in Theoretical Computer Science 213 (1). Elsevier. ISSN 1571-0661
Rensink, A. (2008) Explicit State Model Checking for Graph Grammars. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science 5065. Springer Verlag, Berlin, pp. 114-132. ISSN 1611-3349 ISBN 978-3-540-68676-7
Rensink, A. and Dotor, A. and Ermel, C. and Jurack, S. and Kniemeyer, O. and De Lara, J. and Maier, S. and Staijen, T. and Zündorf, A. (2008) Ludo: A Case Study for Graph Transformation Tools. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany. pp. 493-513. Lecture Notes in Computer Science 5088. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-89019-5
Rensink, A. and Taentzer, G. (2008) AGTIVE 2007 Graph Transformation Tool Contest. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany. pp. 487-492. Lecture Notes in Computer Science 5088. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-89019-5
Rensink, A. and Van Gorp, P. (2008) Graph-Based Tools: The Contest. In: International Conference on Graph Transformations (ICGT), 9-13 Sep 2008, Leicester, UK. pp. 463-466. Lecture Notes in Computer Science 5214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-87404-1

2007

Boneva, I.B. and Hermann, F. and Kastenberg, H. and Rensink, A. (2007) Simulating Multigraph Transformations Using Simple Graphs. In: Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques, 31 March - 1 April 2007, Braga, Portugal. 42. Electronic Communications of the EASST 6. EASST. ISSN 1863-2122
Boneva, I.B. and Rensink, A. and Kurban, M.E. and Bauer, J. (2007) Graph Abstraction and Abstract Graph Transformation. Technical Report TR-CTIT-07-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Edelkamp, S. and Rensink, A. (2007) Graph Transformation and AI Planning. In: Knowledge Engineering Competition (ICKEPS), 22 Sep 2007, Rhode Island, USA. Australian National University. ISBN not assigned
Rensink, A. (2007) Isomorphism Checking in GROOVE. In: Graph-Based Tools (GraBaTs), 21-22 Sep 2006, Natal, Brazil. Electronic Communications of the EASST 1. European Association of Software Science and Technology. ISSN 1863-2122
Rensink, A. and Heckel, R. and König, B. (2007) Graph Transformation for Concurrency and Verification - Preface. In: Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC), 31 Aug 2006, Bonn, Germany. pp. 1-2. Electronic Notes in Theoretical Computer Science 175. Elsevier. ISSN 1571-0661

2006

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2006) Safety and Liveness in Concurrent Pointer Programs. (Invited) In: Proceedings of the 4th Internatinal Symposium on Formal Methods for Components and Objects, November 1-4, 2005, Amsterdam, The Netherlands. pp. 280-312. Lecture Notes in Computer Science 4111. Springer Verlag. ISBN 978-3-540-36749-9
Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. Berichte aus dem Department für Informatik 8/06, University of Oldenburg, Oldenburg. ISSN 0946-2910
Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 445-460. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2
Havinga, W.K. and Staijen, T. and Rensink, A. and Bergmans, L.M.J. and van den Berg, K.G. (2006) An Abstract Metamodel for Aspect Languages. Technical Report TR-CTIT-06-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Hermann, F. and Kastenberg, H. and Modica, T. (2006) Towards Translating Graph Transformation Approaches by Model Transformations. In: Proceedings of the Second International Workshop on Graph and Model Transformation, 8 September 2006, Brighton, United Kingdom. Electronic Communications of the EASST 4. European Association of Software Science and Technology. ISSN 1863-2122
Kastenberg, H. (2006) Towards Attributed Graphs in Groove. In: Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), 22 Aug 2005, San Francisco, California, USA. pp. 47-54. Electronic Notes in Theoretical Computer Science 154. Elsevier. ISSN 1571-0661
Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Engineering Object-Oriented Semantics Using Graph Transformations. Technical Report TR-CTIT-06-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy. pp. 186-201. Lecture Notes in Computer Science 4037. Springer Verlag. ISBN 978-3-540-34893-1
Kastenberg, H. and Rensink, A. (2006) Model Checking Dynamic States in GROOVE. In: Model Checking Software (SPIN), 30 Mar - 1 Apr 2006, Vienna, Austria. pp. 299-305. Lecture Notes in Computer Science 3925. Springer-Verlag. ISBN 3-540-33102-6
Rensink, A. (2006) Model Checking Quantified Computation Tree Logic. In: Concurrency Theory (CONCUR), 27-30 Aug 2006, Bonn, Germany. pp. 110-125. Lecture Notes in Computer Science 4137. Springer-Verlag. ISBN 3-540-37376-4
Rensink, A. (2006) Nested Quantification in Graph Transformation Rules. (Invited) In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 1-13. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2
Rensink, A. and Distefano, D.S. (2006) Abstract Graph Transformation. In: Software Verification and Validation, 31 Oct 2005, Manchester. pp. 39-59. Electronic Notes in Theoretical Computer Science 157. Elsevier. ISSN 1571-0661
Rensink, A. and Heckel, R. and König, B. (2006) Preface. In: Graph Transformation for Verification and Concurrency, Aug 2005, San Fransisco, USA. pp. 1-5. Electronic Notes in Theoretical Computer Science 154 (2). Elsevier. ISSN 1571-0661
Sathyanathan, P.W. and Rensink, A. (2006) Unfolding Shape Graphs. Technical Report TR-CTIT-06-68, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Smelik, R. and Rensink, A. and Kastenberg, H. (2006) Specification and Construction of Control Flow Semantics. In: Visual Languages and Human-Centric Computing (VL/HCC), Sep 2006, Brighton, U.K.. pp. 65-72. IEEE Computer Society. ISBN 0-7695-2586-5

2005

Baldan, P. and König, B. and Rensink, A. (2005) Summary 2: Graph Grammar Verification through Abstraction. In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2005, Dagstuhl, Germany. Dagstuhl Seminar 04241. Dagstuhl. ISSN 1862-4405
Heckel, R. and König, B. and Rensink, A. (2005) Graph Transformation for Verification and Concurrency. Technical Report TR-CTIT-05-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2005) The Joys of Graph Transformation. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 9. ISSN not assigned
Rensink, A. (2005) Subjects, Models, Languages, Transformations. In: Language Engineering for Model-Driven Software Development, 29 Feb - 05 Mar 2004, Dagstuhl. Dagstuhl Seminar Proceedings 04101. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI). ISSN 1862-4405
Rensink, A. (2005) Time and Space Issues in the Generation of Graph Transition Systems. In: Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004), Barcelona, Spain. pp. 127-139. Electronic Notes in Theoretical Computer Science 127 (1). Elsevier. ISSN 1571-0661
Rensink, A. and Distefano, D.S. (2005) Abstract Graph Transformation. Technical Report TR-CTIT-05-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Taentzer, G. and Rensink, A. (2005) Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In: Fundamental Approaches to Software Engineering (FASE), 2-10 Apr 2005, Edinburgh, UK. pp. 64-79. Lecture Notes in Computer Science 3442. Springer-Verlag. ISBN 3-540-25420-X

2004

Rensink, A. (2004) Representing First-Order Logic Using Graphs. In: International Conference on Graph Transformations (ICGT). pp. 319-335. Lecture Notes in Computer Science 3256. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-23207-0
Rensink, A. (2004) AGTIVE'03: Summary from the Outside In. In: Applications of Graph Transformations with Industrial Relevance. pp. 486-488. Lecture Notes in Computer Science 3062. Springer Verlag. ISSN 0302-9743 ISBN 3-540-22120-4
Rensink, A. (2004) The GROOVE Simulator: A Tool for State Space Generation. In: Applications of Graph Transformations with Industrial Relevance (AGTIVE). pp. 479-485. Lecture Notes in Computer Science 3062. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-22120-3
Rensink, A. (2004) Canonical Graph Shapes. In: Programming Languages and Systems (ESOP). pp. 401-415. Lecture Notes in Computer Science 2986. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-21313-0
Rensink, A. and Schmidt, A. and Varró, D. (2004) Model Checking Graph Transformations: A Comparison of Two Approaches. In: International Conference on Graph Transformations (ICGT). pp. 226-241. Lecture Notes in Computer Science 3256. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-23207-0