• 1514 Citations
1988 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

n a Temporal Logic for Object-Based Systems

Distefano, D. S., Katoen, J. P. & Rensink, A., 2000, Enschede: Centre for Telematics and Information Technology (CTIT). 17 p. (CTIT Technical Report Series; no. 00-06)

Research output: Book/ReportReportProfessional

Neighbourhood Abstraction in GROOVE

Rensink, A. & Zambon, E., 11 Apr 2011, In : Electronic Communications of the EASST. 32, p. 1-13 13 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
9 Citations (Scopus)

Neighbourhood Abstraction in GROOVE - Tool Paper

Rensink, A. & Zambon, E., Jun 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). de Lara, J. & Varro, D. (eds.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 55-61 6 p. (CTIT Workshop Proceedings; no. WP 10-06).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
14 Downloads (Pure)

Nested Quantification in Graph Transformation Rules

Rensink, A., Sep 2006, Graph Transformations (ICGT): Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006: Proceedings. Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L. & Rozenberg, G. (eds.). Berlin: Springer, p. 1-13 13 p. (Lecture Notes in Computer Science; vol. 4178, no. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

12 Citations (Scopus)
6 Downloads (Pure)

Non-Atomic Events and Event Hierarachies

Rensink, A., 1990, In : Memoranda informatica. 90, 63, p. - 20 p.

Research output: Contribution to journalArticleProfessional

Non-Atomic Events and Event Hierarchies

Rensink, A., 1990, Enschede: University of Twente, Department of Computer Science. 20 p.

Research output: Book/ReportReportOther research output

Noninvasive regelbasierte Graphtransformation für Java

Translated title of the contribution: Noninvasive rule-based graph transformation for JavaHunt, J. J., Rensink, A. & de Mol, M., 1 Jan 2014, Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik, Kiel, Deutschland, 25-28.02.2014. Hasselbring, W. & Ehmke, N. C. (eds.). Bonn: Gesellschaft für Informatik, p. 91-92 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. 227).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
6 Downloads (Pure)

Objectoriëntatie

Rensink, A., 2001, Visueel Programmeren met Java. Heerlen, Netherlands: Open Universiteit Nederland, p. 73-116 44 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Objectoriëntatie

Rensink, A., 2001, Visueel Programmeren met Java, deel 1. Heerlen: Open Universiteit, p. 73-116

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

On a Graph-Based Semantics for UML Class and Object Diagrams

Kleppe, A. G. & Rensink, A., 2008, Graph Transformation and Visual Modelling Techniques. Ermel, C., De Lara, J. & Heckel, R. (eds.). European Association for the Study of Science and Technology, p. - 16 p. (Electronic Communications of the EASST; vol. 10, no. 69160R).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
31 Downloads (Pure)

On A Graph Formalism for Ordered Edges

de Mol, M. J. & Rensink, A., 16 Aug 2010, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Küster, J. & Tuosto, E. (eds.). European Association for the Study of Science and Technology, p. - 12 p. (Electronic Communications of the EASST; vol. 29).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
15 Downloads (Pure)

On a Temporal Logic for Object-Based Systems

Distefano, D., Katoen, J-P. & Rensink, A., 2000, Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA. Smith, S. F. & Talcott, C. L. (eds.). Boston, MA: Kluwer Academic Publishers, p. 305-326 22 p. (IFIP Advances in Information and Communication Technology; vol. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
26 Citations (Scopus)
19 Downloads (Pure)

On Syntactic and Semantic Action Refinement

Goltz, U., Gorrieri, R. & Rensink, A., 1992, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 39 p. (Hildesheimer Informatik-Bericht; no. 17/92)

Research output: Book/ReportReportOther research output

File
52 Downloads (Pure)

On Syntactic and Semantic Action Refinement

Hagiya, M. (ed.), Goltz, U., Mitchell, J. C. (ed.), Gorrieri, R. & Rensink, A., 1994, p. 385-404. 20 p.

Research output: Contribution to conferencePaper

File
10 Citations (Scopus)
87 Downloads (Pure)

On Syntactic and Semantic Notions of Refinement

Goltz, U., Gorrierri, R. & Rensink, A., 1992, In : Hildesheimer Informatik-Berichte. 92, 18, p. - 31 p.

Research output: Contribution to journalArticleProfessional

On the Semantics of Non-Atomic Events

Rensink, A., 1988, Enschede: University of Twente, Department of Computer Science. 30 p.

Research output: Book/ReportReportOther research output

Order isomorphism does not preserve global event independence

Rensink, A., Oct 1993, In : Bulletin of the European Association for Theoretical Computer Science. 51, p. 228-235 8 p.

Research output: Contribution to journalArticleAcademic

Order isomorphism does not preserve global event independence

Rensink, A., Sep 1993, Hildesheim: Institut für Informatik, University of Hildesheim. 12 p. (Hildesheimer Informatik-Berichte; no. 10/93)

Research output: Book/ReportReportOther research output

File
17 Downloads (Pure)

Pattern-Based Graph Abstraction

Rensink, A. & Zambon, E., Sep 2012, International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer, p. 66-80 15 p. (Lecture Notes in Computer Science; vol. 7562).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
11 Citations (Scopus)
30 Downloads (Pure)

Pattern sets

Rensink, A., 1991, In : Memoranda informatica. 1, 24, p. - 17 p.

Research output: Contribution to journalArticleProfessional

Pattern Sets

Rensink, A., 1991, Enschede: University of Twente, Department of Computer Science. 22 p.

Research output: Book/ReportReportOther research output

Posets for Configurations

Rensink, A., 1992, CONCUR '92, Lecture Notes in Computer Science 630. Springer, p. 269-285

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

16 Citations (Scopus)

Posets for Configurations!

Rensink, A. & Cleaveland, W. R. (ed.), 1992, p. 269-285. 17 p.

Research output: Contribution to conferencePaper

File
13 Downloads (Pure)

Preface

Rensink, A. & Jacobs, B., 1 Jan 2002, Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems. Vol. 81. (IFIP advances in information and communication technology).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

Preface

Aßmann, U., Aksit, M. & Rensink, A., 24 Oct 2005, Model Driven Architecture. Aßmann, U., Aksit, M. & Rensink, A. (eds.). Vol. 3599. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

Preface to the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

Burgue, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G., 21 Nov 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). Burgueño, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). p. xviii-xxiv

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

Open Access
File
3 Downloads (Pure)

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H., Feb 1999, Enschede: Universiteit Twente. 59 p. (CTIT technical report series; no. TR-CTIT-99-02)

Research output: Book/ReportReportProfessional

Open Access
File
14 Downloads (Pure)

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H., 2001, In : Acta informatica. 38, 3, p. 155-234 80 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
16 Downloads (Pure)

Process Creation and Full Sequential Composition in a Name-Passing Calculus

Gehrke, T. & Rensink, A., 1997, EXPRESS'97: 8-12 September 1997 • Santa Margherita Ligure, Italy. Palamidessi, C. & Parrow, J. (eds.). Amsterdam: Elsevier, p. 141-160 20 p. (Electronic Notes in Theoretical Computer Science; vol. 7).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
61 Downloads (Pure)

Process Creation and Full Sequential Composition in a Name-Passing Calculus

Gehrke, T. & Rensink, A., May 1997, Hildesheim: Institut für Informatik, University of Hildesheim. 27 p.

Research output: Book/ReportReportOther research output

File
2 Citations (Scopus)
70 Downloads (Pure)

Publishing Your Prototype Tool on the Web: PUPTOL, a Framework

Belinfante, A. & Rensink, A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-15)

Research output: Book/ReportReportProfessional

File
23 Downloads (Pure)

Recent Developments in the Theory of Graph Transformation, 2010

Rensink, A., Rozenberg, G. & Schürr, A., 2012, In : Fundamenta informaticae. 118, 3, p. v-vii 3 p.

Research output: Contribution to journalArticleAcademic

File
33 Downloads (Pure)

Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE

Zambon, E. & Rensink, A., 24 Oct 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Springer, p. 305-323

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
31 Downloads (Pure)

Repotting the geraniums: on nested graph transformation rules

Rensink, A. & Kuperus, J-H., 2009, Graph transformation and visual modelling techniques. Boronat, A. & Heckel, R. (eds.). European Association for the Study of Science and Technology, p. - 15 p. (Electronic Communications of the EASST; vol. 18).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
22 Citations (Scopus)
14 Downloads (Pure)

Representatie van Objecten en Primitieve Waarden

Rensink, A., 2001, Visueel Programmeren met Java. Heerlen, Netherlands: Open Universiteit Nederland, p. 71-138 44 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Representatie van Objecten en Primitieve Waarden

Rensink, A., 2001, Visueel Programmeren met Java, deel 2. Heerlen: Open Universiteit, p. 71-138

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Representing First Order Logic Using Graphs

Rensink, A., 2004, Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings. Ehrig, H., Engels, G., Parisi-Presicce, F. & Rozenberg, G. (eds.). Springer, p. 319-335 17 p. (Lecture notes in computer science; vol. 3256).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

65 Citations (Scopus)
231 Downloads (Pure)

Rewriting Abstract Structures: Materialization Explained Categorically

Corradini, A., Heindel, T., König, B., Nolte, D. & Rensink, A., 1 Jan 2019, Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Simpson, A. & Bojanczyk, M. (eds.). Cham: Springer Verlag, p. 169-188 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2 Citations (Scopus)
19 Downloads (Pure)

Safety and Liveness in Concurrent Pointer Programs

Distefano, D. S., Katoen, J. P. & Rensink, A., 2006, Proceedings of the 4th Internatinal Symposium on Formal Methods for Components and Objects. de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W-P. (eds.). Berlin: Springer, p. 280-312 33 p. 10.1007/11804192_14. (Lecture Notes in Computer Science; vol. 4111, no. suppl 2/4111).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Ghamarian, A. H., de Mol, M. J., Rensink, A. & Zambon, E., Nov 2011, Proceedings of the Fifth Transformation Tool Contest (TTC 2011). van Gorp, P., Mazanek, S. & Rose, L. (eds.). Open Publishing Association, p. 215-222 5 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 74).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
57 Downloads (Pure)

Selection Structures

Rensink, A., 1990, Enschede: University of Twente, Department of Computer Science. 32 p.

Research output: Book/ReportReportOther research output

Selection Structures

Rensink, A., 1990, In : Memoranda informatica. 90, 71, p. - 32 p.

Research output: Contribution to journalArticleProfessional

Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques

Hüksbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., 2010, Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Méry, D. & Merz, S. (eds.). Berlin, Heidelberg: Springer, p. 183-198 16 p. (Lecture Notes in Computer Science; vol. 6396).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)

Simulating Multigraph Transformations Using Simple Graphs

Boneva, I. B., Hermann, F., Kastenberg, H. & Rensink, A., 2007, Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques. European Association for the Study of Science and Technology, p. 42 14 p. (Electronic Communications of the EASST; vol. 6, no. 4542).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
31 Downloads (Pure)

Software and systems modeling with graph transformations: Theme issue of the Journal on Software and Systems Modeling

Schürr, A. & Rensink, A., Feb 2014, In : Software and systems modeling. 13, 1, p. 171-172 2 p.

Research output: Contribution to journalArticleAcademic

File
2 Citations (Scopus)
28 Downloads (Pure)

Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices

Zambon, E. & Rensink, A., Apr 2014, Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Hermann, F. & Sauer, S. (eds.). Berlin, Germany: European Association of Software Science and Technology, p. - 13 p. (Electronic Communications of the EASST; vol. 67, no. 938).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
128 Downloads (Pure)

Solving the TTC 2011 Compiler Optimization Case with GROOVE

Rensink, A. & Zambon, E., Nov 2011, Proceedings of the Fifth Transformation Tool Contest (TTC 2011). van Gorp, P., Mazanek, S. & Rose, L. (eds.). Open Publishing Association, p. 126-130 5 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 74).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
53 Downloads (Pure)

Special section on ICMT at STAF 2018

Cuadrado, J. S. & Rensink, A., Mar 2020, In : Software and systems modeling. 19, 2, p. 399-400 2 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Specification and Construction of Control Flow Semantics

Smelik, R., Rensink, A. & Kastenberg, H., Sep 2006, Visual Languages and Human-Centric Computing (VL/HCC). Grundy, J. & Howse, J. (eds.). Los Alamitos: IEEE Computer Society, p. 65-72 8 p. 10.1109/VLHCC.2006.45

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Citations (Scopus)
71 Downloads (Pure)