2017

Ahmad, W. and Yildiz, B.M. and Rensink, A. and Stoelinga, M.I.A. (2017) A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. In: Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016. Revised Selected Papers., 06 Oct 2016, Pittsburgh, PA, USA. pp. 1-16. Lecture Notes in Computer Science 10107. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-51737-7
Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2017) Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects of Computing, online pre-publication. ISSN 0934-5043 *** ISI Impact 0,521 ***
Ruijters, E.J.J. and Schivo, S. and Stoelinga, M.I.A. and Rensink, A. (2017) Uniform analysis of fault trees through model transformations. In: Proceedings of the 63rd Annual Reliabliity and Maintainability Symposium (RAMS 2017), 23-26 Jan 2017, Orlando, FL, USA. IEEE Reliability Society.

2016

Ahmad, W. and Yildiz, B.M. and Rensink, A. and Stoelinga, M.I.A. (2016) A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). Technical Report TR-CTIT-16-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Rensink, A. (2016) Verification Techniques for Graph Rewriting (Tutorial). (Invited) In: Verification of Evolving Graph Structures, 1-6 Nov 2015, Dagstuhl, Germany. pp. 18-18. Dagstuhl Reports 5 (11). Dagstuhl Publishing. ISSN 2192-5283
Rensink, A. (2016) Model Patterns - The Quest for the Right Level of Abstraction. In: Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science 9960. Springer Verlag, Berlin, pp. 47-70. ISSN 2509-8047 ISBN 978-3-319-46507-4

2015

Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2015) Fault Trees on a Diet - Automated Reduction by Graph Rewriting. In: Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 4-6 Nov 2015, Nanjing, China. pp. 3-18. Lecture Notes in Computer Science 9409. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-25941-3
Kwantes, P.M. and Van Gorp, P. and Kleijn, J. and Rensink, A. (2015) Towards Compliance Verification Between Global and Local Process Models. In: Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015, 21-23 Jul 2015, L'Aquila, Italy. pp. 221-236. Lecture Notes in Computer Science 9151. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-21144-2
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
Yildiz, B.M. and Rensink, A. and Bockisch, C.M. and Akşit, M. (2015) A Model-Derivation Framework for Timing Analysis of Java Software Systems. Technical Report TR-CTIT-15-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2014

Anjorin, A. and Cunha, A. and Giese, H. and Hermann, F. and Rensink, A. and Schürr, A. (2014) BenchmarX. In: Bidirectional Transformations (BX 2014), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference, 28 Mar 2014, Athens, Greece. pp. 82-86. CEUR Workshop Proceedings 1133. CEUR-WS.org. ISSN 1613-0073
Delzanno, G. and Rensink, A. and Traverso, R. (2014) Graph- versus Vector-Based Analysis of a Consensus Protocol. In: Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 5 April 2014, Grenoble, France. pp. 44-57. Electronic Proceedings in Theoretical Computer Science 159. EPTCS. ISSN 2075-2180
Gnesi, S. and Rensink, A. (2014) Fundamental Approaches to Software Engineering - Preface. In: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, 05-13 Apr 2014, Grenoble, France. VII-VII. Lecture Notes in Computer Science 8411. Springer Verlag. ISBN 978-3-642-54803-1
Jakumeit, E. and Buchwald, S. and Wagelaar, D. and Dan, L. and Hegedüs, Á and Herrmannsdörfer, M. and Horn, T. and Kalnina, E. and Krause, C. and Lano, K. and Lepper, M. and Rensink, A. and Rose, L.M. and Wätzoldt, S. and Mazanek, S. (2014) A survey and comparison of transformation tools based on the transformation tool contest. Science of computer programming, 85 (A). pp. 41-99. ISSN 0167-6423 *** ISI Impact 0,828 ***
Poskitt, C. and Dodds, M. and Paige, R.F. and Rensink, A. (2014) Towards Rigorously Faking Bidirectional Model Transformations. In: Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014, 29 Sep 2014, Valencia, Spain. pp. 70-75. CEUR-WS 1277. RWTH Aachen, Germany. ISSN 1613-0073
Rensink, A. (2014) Forever software. In: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014, 11 Oct 2014, Corfu, Greece. pp. 535-537. Lecture Notes in Computer Science 8802. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-45233-2
Schürr, A. and Rensink, A. (2014) Software and systems modeling with graph transformations: Theme issue of the Journal on Software and Systems Modeling. Software and systems modeling, 13 (1). pp. 171-172. ISSN 1619-1366 *** ISI Impact 0,990 ***
Yildiz, B.M. and Bockisch, C.M. and Rensink, A. and Akşit, M. (2014) A timed-automata approach for critical path detection in a soft real-time application. In: Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session, 12-14 Feb 2014, Turin, Italy. SEA-Johannes Kepler University Linz. ISBN 978-3-902457-39-4
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

Belinfante, A.F.E. and Rensink, A. (2013) Publishing Your Prototype Tool on the Web: PUPTOL, a Framework. Technical Report TR-CTIT-13-15, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Smid, W.B.T. and Rensink, A. (2013) Class diagram restructuring with GROOVE. In: Proceedings Sixth Transformation Tool Contest, 19-20 Jun 2013, Budapest. Hungary. pp. 83-87. Electronic Proceedings in Theoretical Computer Science 135. arXiv.org. ISSN 2075-2180

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) Graph Passing in Graph Transformation. Technical Report TR-CTIT-12-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Ghamarian, A.H. and Rensink, A. (2012) Generalised compositionality in graph transformation. Technical Report TR-CTIT-12-17, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
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
Ghamarian, A.H. and Rensink, A. (2012) Graph passing in graph transformation. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 24-25 Mar 2012, Tallinn, Estonia. 723:1-723:14. Electronic Communications of the EASST 47. European Association for Software Science and Technology. ISSN 1863-2122
Jalali, A. and Ghamarian, A.H. and Rensink, A. (2012) Incremental pattern matching for regular expressions. In: 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012, 24-25 Mar 2012, Tallinn, Estonia. 736:1-736:12. Electronic Communications of the EASST 47. European Association for Software Science and Technology. ISSN 1863-2122
Kastenberg, H. and Rensink, A. (2012) Graph Attribution Through Sub-Graphs. Technical Report TR-CTIT-12-27, 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. pp. 209-223. Lecture Notes in Computer Science 7212. Springer Verlag. ISBN 978-3-642-28872-2
Rensink, A. and Rozenberg, G. and Schürr, A. (2012) Recent Developments in the Theory of Graph Transformation, 2010. Fundamenta Informaticae, 118 (1-2). v-vii. ISSN 0169-2968 *** ISI Impact 0,658 ***
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
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. (2011) Graven in Software. Universiteit Twente, Enschede. ISBN not assigned
Rensink, A. (2011) Modelleren is het Nieuwe Programmeren. In: i&i conferentie, 23-24 Nov 2011, Lunteren, Nederland. Vereniging i&i . ISBN not assigned
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

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
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. 5:1-5:8. 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 0,873 ***

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: Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005), 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 0,873 ***
Rensink, A. and Wehrheim, H. (2001) Process Algebra with Action Dependencies. Acta informatica, 38 (3). pp. 155-234. ISSN 0001-5903 *** ISI Impact 0,722 ***

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 0,873 ***
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 0,873 ***
Rensink, A. (1996) Algebra and Theory of Order-Deterministic Pomsets. Notre Dame Journal of Formal Logic, 37 (2). pp. 283-320. ISSN 0029-4527 *** ISI Impact 0,538 ***
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,643 ***
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.