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
Ghamarian, A.H. and Rensink, A. (2012) Graph Passing in Graph Transformation. Technical Report TR-CTIT-12-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Mol, M.J. and Rensink, A. and Hunt, J.J. (2012) Graph Transforming Java Data. In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 26-29 Mar 2012, Talinn, Estonia. Lecture Notes in Computer Science. Springer Verlag.

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, 4-7 Oct 2011, Budapest, Hungary. pp. 121-136. Lecture Notes in Computer Science. Springer Verlag.
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. ISBN not assigned
de Mol, M.J. and Rensink, A. (2011) Formal Semantics of the CHART Transformation Language. Technical Report TR-CTIT-12-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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. ISBN not assigned
Zambon, Eduardo and Rensink, A. (2011) Using Graph Transformations and Graph Abstractions for Software Verification. Electronic Communications of the EASST, 38. ISSN 1863-2122

2010

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. pp. 118-130. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Ehrig, H. and Rensink, A. and Rozenberg, G. and Schürr, A. (2010) Graph Transformationcs (ICGT 2010) - Preface. In: International Conference on Graph Transformationcs (ICGT 2010), 27 Sep - 2 Oct 2010, Enschede. V-VI. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5
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
Ghamarian, A.H. and Rensink, A. and Jalali, A. (2010) Incremental Pattern Matching in Graph-Based State Space Exploration. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sept 2010, Enschede, The Netherlands. pp. 144-154. CTIT Workshop Proceedings (WP 10-06). Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
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
Hülsbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2010) Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
de Mol, M.J. and Rensink, A. (2010) On A Graph Formalism for Ordered Edges. In: Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), 20 Mar - 21 Mar 2010, Paphos, Cyprus. Electronic Communications of the EASST 29. The European Association for the Study of Science and Technology. ISSN 1863-2122
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 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
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

2009

Akşit, M. and Rensink, A. and Staijen, T. (2009) A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In: AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, 3-6 Mar 2009, Charlottesville, Virginia, USA. pp. 39-50. ACM. ISBN 978-1-60558-442-3
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
Chitchyan, R. and Fabry, J. and Katz, S. and Rensink, A. (2009) Editorial for Special Section on Dependencies and Interactions with Aspects. Lecture notes in computer science, 5490. pp. 133-134. ISSN 0302-9743
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
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
Rensink, A. and Zimakova, M.V. (2009) Flow Diagram Decomposition Using Graph Transformations. Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. and Zimakova, M.V. (2009) Towards model structuring based on flow diagram decomposition. In: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, 23 Jun 2009, Enschede, The Netherlands. No. 05. ACM International Conference Proceeding Series 379. ACM. ISBN 978-1-60558-503-1
Staijen, T. and Rensink, A. (2009) Graph-Based Specification and Simulation of Featherweight Java with Around Advice. In: FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, 2 Mar 2009, Charlottesville, Virginia, USA. pp. 25-30. ACM. ISBN 978-1-60558-452-2
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

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
Crouzen, P. and van de Pol, J.C. and Rensink, A. (2008) Applying Formal Methods to Gossiping Networks with mCRL and Groove. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 7-16. ISSN 0163-5999
Engels, G. and Kleppe, A.G. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2008) From UML Activities to TAAL: Towards behaviour-preserving model transformations. In: European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), 10-12 Jun 2008, Berlin, Germany. pp. 94-109. Lecture Notes in Computer Science 5095. Springer Verlag. ISSN 1611-3349 ISBN 978-3-540-69095-5
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
Kleppe, A.G. and Rensink, A. (2008) A Graph-Based Semantics for UML Class and Object Diagrams. Technical Report TR-CTIT-08-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Kleppe, A.G. and Rensink, A. (2008) On a Graph-Based Semantics for UML Class and Object Diagrams. In: Graph Transformation and Visual Modelling Techniques, 29-30 Apr 2008, Budapest, Hungary. Electronic Communications of the EASST 10. EASST. ISSN 1863-2122
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 Nederpel, R. (2008) Graph Transformation Semantics for a QVT Language. In: International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), Apr 2006, Vienna, Austria. pp. 51-62. Electronic Notes in Theoretical Computer Science 211. Elsevier. ISSN 1571-0661
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

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2007) Atomic Action Refinement in Model Based Testing. Technical Report TR-CTIT-07-64, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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
Kattenbelt, M. and Ruys, T.C. and Rensink, A. (2007) An Object-Oriented Framework for Explicit-State Model Checking. In: Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), 23 March 2007, Eindhoven, The Netherlands. pp. 84-92. TUE Computer Science Reports (07-04). Computer Science Department, Eindhoven University of Technology (TUE). ISSN 0926-4515
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
Rensink, A. and Vogler, W. (2007) Fair Testing. Information and computation, 205 (2). pp. 125-198. ISSN 0890-5401 *** ISI Impact 1,225 ***

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
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. In: Open and Dynamic Aspect Languages, 20 Mar 2006, Bonn, Germany. 9. Aspect-Oriented Software Association. ISBN not assigned
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
Staijen, T. and Rensink, A. (2006) A Graph-Transformation-Based Semantics for Analysing Aspect Interference. In: Workshop on Graph Computation Models, 18 Sept 2006, Natal, Brazil. pp. 1-12. ISBN not assigned

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
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Conformance Testing. Technical Report TR-CTIT-05-51, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Testing with UIOCO. Technical Report TR-CTIT-05-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2005) Action Refinement in Conformance Testing. In: Testing of Communicating Systems (TESTCOM). pp. 81-96. Lecture Notes in Computer Science 3502. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-26054-7
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
Jones, V.M. and Rensink, A. and Brinksma, H. (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. In: Proc. Ninth IEEE International EDOC Enterprise Computing Conference (EDOC), 19-23 Sep 2005, University of Twente, The Netherlands. pp. 58-69. IEEE Computer Society. ISBN 0-7695-2441-9
Jones, V.M. and Rensink, A. and Brinksma, H. (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. Technical Report TR-CTIT-05-66, 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
Rensink, A. and Vogler, W. (2005) Fair Testing. Technical Report TR-CTIT-05-64, 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

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2004) Compositional Testing with ioco. In: Formal Approaches to Software Testing (FATES). pp. 86-100. Lecture Notes in Computer Science 2931. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-20894-5
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 16-18 Dec 2004, Chennai, India. pp. 250-262. Lecture notes in Computer Science 3328. Springer. ISBN 3-540-24058-6
Jones, V.M. and Rensink, A. and Ruys, T.C. and Brinksma, H. and van Halteren, A.T. (2004) A formal MDA approach for mobile health systems. In: EWMDA-2, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, 7-8 Sept 2004, Canterbury, England. pp. 28-35. University of Kent. ISBN not assigned
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

2003

van der Bijl, H.M. and Rensink, A. and Tretmans, G.J. (2003) Component Based Testing with ioco. Technical Report TR-CTIT-03-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Distefano, D.S. and Rensink, A. and Katoen, J.P. (2003) Who is pointing when to whom: on model-checking pointer structures. Technical Report TR-CTIT-03-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2003) A Logic of Local Graph Shapes. Technical Report TR-CTIT-03-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2003) Model Driven Architecture: Foundations and Applications. Technical Report TR-CTIT-03-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2003) Towards model checking graph grammars. In: Workshop on Automated Verification of Critical Systems (AVoCS), Southampton, UK. pp. 150-160. Technical Report DSSE-TR-2003-02. University of Southampton.

2002

Distefano, D.S. and Rensink, A. and Katoen, J.P. (2002) Model checking birth and death. In: Foundations of Information Technology in the Era of Network and Mobile Computing: 2nd IFIP International Conference on Theoretical Computer Science (TCS), Quebec, Canada. pp. 435-447. IFIP Proceedings 223. Kluwer Academic Publishers. ISBN 1402071817
Rensink, A. (2002) Visualisatie van het Objectgeoriënteerde Paradigma. Tijdschrift voor informatica-onderwijs (TINFON), 11 (2). pp. 80-83. ISSN 0927-8982

2001

Distefano, D.S. and Rensink, A. and Katoen, J.P. (2001) Model Checking Dynamic Allocation and Deallocation. Technical Report TR-CTIT-01-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Glandrup, M.H.J. and Rensink, A. (2001) Formal Foundations for Reasoning about Composition. In: OOPSLA 2001 Advanced Separation of Concerns Workshop, 14 October 2001, Tampa Bay, USA. ISBN not assigned
Gorrieri, R. and Rensink, A. (2001) Action Refinement. In: Handbook of Process Algebra. Elsevier, Amsterdam, pp. 1047-1146. ISBN 978-0-444-82830-9
Rensink, A. (2001) Objectoriëntatie. In: Visueel Programmeren met Java. Open Universiteit Nederland, Heerlen, Netherlands, pp. 73-116. ISBN 90-358-1955-1
Rensink, A. (2001) Representatie van Objecten en Primitieve Waarden. In: Visueel Programmeren met Java. Open Universiteit Nederland, Heerlen, Netherlands, pp. 71-138. ISBN 90-358-1956-X
Rensink, A. and Gorrieri, R. (2001) Vertical Implementation. Information and computation, 170 (1). pp. 95-133. ISSN 0890-5401 *** ISI Impact 1,225 ***
Rensink, A. and Wehrheim, H. (2001) Process Algebra with Action Dependencies. Acta informatica, 38 (3). pp. 155-234. ISSN 0001-5903 *** ISI Impact 0,923 ***

2000

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) Towards Model Checking OCL. In: ECOOP 2000: Defining Precise Semantics for UML, 12 June 2000, Sophia Antipolis, France. ISBN not assigned
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a temporal Logic for Object-based Systems. Technical Report TR-CTIT-00-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'2000). pp. 305-326. Kluwer Academic Publishers. ISBN 0-7923-7923-3
Rensink, A. (2000) Action Contraction Using Coupled Simulation. Technical Report TR-CTIT-00-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2000) YOO (Why Object-Orientation). Technical Report TR-CTIT-00-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2000) Bisimilarity of Open Terms. Information and computation, 156 (1/2). pp. 345-385. ISSN 0890-5401 *** ISI Impact 1,225 ***
Rensink, A. (2000) Action Contraction. In: Concurrency Theory (CONCUR), Aug 2000, State College, USA. pp. 290-304. Lecture Notes in Computer Science 1877. Springer Verlag. ISSN 0302-9743 ISBN 3-540-67897-2

1999

Gehrke, T. and Rensink, A. (1999) A Mobile Calculus with Data. Technical Report 99-04, Technical University of Braunschweig, Braunschweig, Germany. ISSN not assigned
Rensink, A. and Wehrheim, H. (1999) Process Algebra with Action Dependencies. Technical Report TR-CTIT-99-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

1998

Firley, T. and Gehrke, T. and Rensink, A. (1998) Spezifikation eines RPC-Speichers mit der Sprache ProFun. In: Formale Beschreibungstechniken für verteilte Systeme, Cottbus, Germany. pp. 136-147. Shaker Verlag. ISBN 3-8265-3807-2
Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) A Process Algebra Semantics for Message Sequence Chart Documents. Hildesheimer Informatik-Bericht 5/98, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Gehrke, T. and Huhn, M. and Rensink, A. and Wehrheim, H. (1998) An Algebraic Semantics for Message Sequence Chart Documents. In: Formal Decription Techniques (FORTE). pp. 3-18. IFIP Conference Proceedings 135. Chapman & Hall. ISBN 0-412-84760-4

1997

Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. Hildesheimer Informatik-Bericht 97/7, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Gehrke, T. and Rensink, A. (1997) Process Creation and Full Sequential Composition in a Name-Passing Calculus. In: Expressiveness in Concurrency. pp. 141-160. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661
Rensink, A. (1997) A Typed Functional Calculus With State. In: Special Issues in Object-Oriented Programming. dpunkt.verlag, Heidelberg, Germany, pp. 558-561. ISBN 3-920993-67-5
Rensink, A. (1997) Bisimilarity of Open Terms. In: Expressiveness in Concurrency. pp. 262-285. Electronic Notes in Theoretical Computer Science 7. Elsevier. ISSN 1571-0661
Rensink, A. and Gorrieri, R. (1997) Action Refinement as an Implementation Relation. In: Theory and Practice of Software Development (TAPSOFT). pp. 772-786. Lecture Notes in Computer Science 1214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-62781-4
Rensink, A. and Gorrieri, R. (1997) Action Refinement for Vertical Implementation. In: Formale Beschreibungstechniken für verteilte Systeme. pp. 69-78. GMD-Studien (315). Oldenbourg Verlag. ISBN 3-88457-315-2
Rensink, A. and Wehrheim, H. (1997) Dependency-Based Action Refinement. In: Mathematical Foundations of Computer Science (MFCS). pp. 468-477. Lecture Notes in Computer Science 1295. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-63437-9

1996

Brinksma, H. and Rensink, A. and Vogler, W. (1996) Applications of Fair Testing. In: Protocol Specification, Testing and Verification XVI (PSTV). pp. 145-160. IFIP Conference Proceedings 69. Chapman & Hall. ISBN 0-412-79490-X
Goltz, U. and Gorrieri, R. and Rensink, A. (1996) Comparing Syntactic and Semantics Action Refinement. Information and computation, 125 (2). pp. 118-143. ISSN 0890-5401 *** ISI Impact 1,225 ***
Rensink, A. (1996) Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic, 37 (2). pp. 283-320. ISSN 0029-4527
Rensink, A. (1996) Denotational, Causal, and Operational Determinism in Event Structures. In: Trees in Algebra and Programming (CAAP). pp. 272-286. Lecture Notes in Computer Science 1059. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-61064-9

1995

Best, E. and Devillers, R. and Pelz, E. and Rensink, A. and Silva, M. and Teruel, E. (1995) CALIBAN - Esprit Basic Research WG 6067. In: Structures in Concurrency Theory, Berlin, Germany. pp. 2-31. Workshops in Computing. Springer Verlag. ISBN 3-540-19982-9
Brinksma, H. and Rensink, A. and Vogler, W. (1995) Fair Testing. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 313-327. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7
Rensink, A. (1995) Causal Traces. Hildesheimer Informatik-Bericht 39/95, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Rensink, A. (1995) Denotational, Causal, and Operational Determinism in Event Structures. Hildesheimer Informatik-Bericht 29/95, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014
Rensink, A. (1995) An Event-Based SOS for a Language with Refinement. In: Structures in Concurrency Theory, Berlin, Germany. pp. 294-309. Workshops in Computing. Springer Verlag. ISBN 3-540-19982-9
Rensink, A. (1995) A Theory of Deterministic Event Structures. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 160-174. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7
Rensink, A. and Gorrieri, R. (1995) Vertical Bisimulation. Hildesheimer Informatik-Bericht 9/98, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014

1994

Brinksma, H. and Parrow, J. and Rensink, A. and Heymer, S. (1994) Specification of Systems: Theory in Search of Practice. Hildesheimer Informatik-Bericht 24/94, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Goltz, U. and Gorrieri, R. and Rensink, A. (1994) On Syntactic and Semantic Action Refinement. In: Theoretical Aspects of Computer Software, Sendai, Japan. pp. 385-404. Lecture Notes in Computer Science 789. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-57887-1
Goltz, U. and Rensink, A. (1994) Finite Petri Nets as Models for Recursive Causal Behaviour. Theoretical computer science, 124 (1). pp. 169-179. ISSN 0304-3975 *** ISI Impact 0,943 ***
Rensink, A. (1994) Deterministic Pomsets. Hildesheimer Informatik-Bericht 30/94, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Rensink, A. (1994) Extraordinals: An Equational Theory of Posets. In: Combining Structures, Logics and Theories, Copenhagen, Denmark. pp. 149-169. Copenhagen Business School. ISBN not assigned
Rensink, A. (1994) Methodological Aspects of Action Refinement. In: Programming Concepts, Methods and Calculi, San Miniato, Italy. pp. 227-246. IFIP Transactions A-56. Elsevier. ISSN 0926-5473 ISBN 0-444-82020-5
Rensink, A. and Wehrheim, H. (1994) Weak Sequential Composition in Process Algebras. In: Concurrency Theory (CONCUR), Uppsala, Sweden. pp. 226-241. Lecture Notes in Computer Science 836. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-58328-8

1993

Rensink, A. (1993) Models and Methods for Action Refinement. PhD thesis, University of Twente. ISBN 90-9006336-6
Rensink, A. (1993) Order isomorphism does not preserve global event independence. Bulletin of the European Association for Theoretical Computer Science, 51. pp. 228-235. ISSN 0252-9742
Rensink, A. (1993) Order isomorphism does not preserve global event independence. Hildesheimer Informatik-Bericht 10/93, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014

1992

Costantini, R. and Rensink, A. (1992) Abstraction and Refinement in Configuration Structures. Hildesheimer Informatik-Bericht 18/92, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Goltz, U. and Gorrieri, R. and Rensink, A. (1992) On Syntactic and Semantic Action Refinement. Hildesheimer Informatik-Bericht 17/92, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
Rensink, A. (1992) Posets for Configurations! In: Third International Conference on Concurrency Theory (CONCUR), Stony Brook, U.S.A.. pp. 269-285. Lecture Notes in Computer Science 630. Springer Verlag. ISSN 0302-9743 ISBN 3-540-55822-5

1991

Rensink, A. (1991) Pattern Sets. Memoranda Informatica 91-24, Department of Computer Science, University of Twente, Enschede. ISSN 0923-1714

1990

Rensink, A. (1990) Non-Atomic Events and Event Hierarchies. Memoranda Informatica 90-63, Department of Computer Science, University of Twente, Enschede. ISSN 0923-1714
Rensink, A. (1990) Selection Structures. Memoranda Informatica 90-71, Department of Computer Science, University of Twente, Enschede. ISSN 0923-1714

1989

Rensink, A. (1989) Elementary Structures of Non-Atomic Events. Memoranda Informatica 89-65, Department of Computer Science, University of Twente, Enschede. ISSN 0923-1714

1988

Rensink, A. (1988) On the Semantics of Non-Atomic Events. Memorandum INF-88-13, Department of Computer Science, University of Twente, Enschede.