• 1511 Citations
1988 …2020

Research output per year

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

Research Output

20 Downloads (Pure)

Who is pointing when to whom?

Distefano, D. S., Katoen, J. P. & Rensink, A., 16 Dec 2004, FSTTCS 2004: foundations of software technology and theoretical computer science. Lodaya, K. & Mahajan, M. (eds.). Berlin: Springer, p. 250-262

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

19 Citations (Scopus)

Who is pointing when to whom?

Distefano, D. S., Lodaya, K. (ed.), Katoen, J. P., Mahajan, M. (ed.) & Rensink, A., 2004, p. 250-262. 13 p.

Research output: Contribution to conferencePaper

Who is pointing when to whom: on model-checking pointer structures

Distefano, D. S., Rensink, A. & Katoen, J. P., Apr 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 79 p. (CTIT-technical reports; no. 2003-..)

Research output: Book/ReportReportProfessional

File
15 Downloads (Pure)

Weak Sequential Composition in Process Algebras

Rensink, A. & Wehrheim, H., 1994, CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin: Springer, p. 226-241 16 p. (Lecture Notes in Computer Science; vol. 836).

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

Open Access
File
13 Citations (Scopus)
50 Downloads (Pure)

Weakest Preconditions for High-Level Programs (Long Version)

Habel, A., Pennemann, K-H. & Rensink, A., Jul 2006, Oldenburg: University of Oldenburg. 35 p. (Berichte aus dem Department für Informatik; no. 8/06)

Research output: Book/ReportReportProfessional

Open Access
File
28 Citations (Scopus)
46 Downloads (Pure)

Weakest Preconditions for High-Level Programs

Habel, A., Pennemann, K-H. & 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. 445-460 16 p. (Lecture Notes in Computer Science; vol. 4178).

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

22 Downloads (Pure)

Visualisatie van het Object-georiënteerde Paradigma

Rensink, A., 2002, In : TINFON. 11, 2, p. 80-83

Research output: Contribution to journalArticleAcademic

Visualisatie van het Objectgeoriënteerde Paradigma

Rensink, A., 2002, In : TINFON. 11, 2, p. 80-83 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
25 Downloads (Pure)

Vertical Implementation

Rensink, A. & Gorrieri, R., 2001, In : Information and computation. 170, 1, p. 95-133 39 p., 10.1006/inco.2001.2967.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
16 Citations (Scopus)
45 Downloads (Pure)

Vertical Bisimulation

Rensink, A. & Gorrieri, R., Sep 1995, Hildesheim: Institut für Informatik, University of Hildesheim. 57 p. (Hildesheimer Informatikbericht; no. 9/98)

Research output: Book/ReportReportOther research output

File
22 Downloads (Pure)

Verklarende Woordenlijst

Rensink, A., 2001, Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 91-97

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Verification Techniques for Graph Rewriting (Tutorial)

Rensink, A., Mar 2016, Verification of Evolving Graph Structures. Abdulla, P. A., Gadducci, F., König, B. & Vafeiadis, V. (eds.). Dagstuhl, Germany: Dagstuhl, p. 18-18 1 p. (Dagstuhl Reports; vol. 5, no. 11).

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

File
29 Downloads (Pure)

Using Graph Transformations and Graph Abstractions for Software Verification

Zambon, E. & Rensink, A., Apr 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-10-03)

Research output: Book/ReportReportProfessional

File
65 Downloads (Pure)

Using Graph Transformations and Graph Abstractions for Software Verification

Corradini, A. (ed.), Zambon, E. & Rensink, A., Aug 2011, In : EASST electronic communications. 38, p. 1-13 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Uniform analysis of fault trees through model transformations

Ruijters, E., Schivo, S., Stoelinga, M. & Rensink, A., 23 Jan 2017, 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 7 p.

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

Open Access
File
4 Citations (Scopus)
37 Downloads (Pure)

Unfolding Shape Graphs

Sathyanathan, P. W. & Rensink, A., 22 Nov 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 28 p. (CTIT Technical Report Series; no. 06-68)

Research output: Book/ReportReportProfessional

File
33 Downloads (Pure)

Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain

Mazanek, S., Rensink, A. (ed.) & van Gorp, P. (ed.), Jun 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 207 p. (CTIT Workshop Proceedings Series; vol. 10-03)

Research output: Book/ReportBook editingAcademic

File
26 Downloads (Pure)

Towards Rigorously Faking Bidirectional Model Transformations

Poskitt, C. M., Dodds, M., Paige, R. F. & Rensink, A., Sep 2014, Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014. Dingel, J., De Lara, J., Lúcio, L. & Vangheluwe, H. (eds.). Aachen: RWTH Aachen, Germany, p. 70-75 6 p. (CEUR-WS; vol. 1277).

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

File
8 Citations (Scopus)
18 Downloads (Pure)

Towards model structuring based on flow diagram decomposition

Rensink, A. & Zimakova, M. V., 2009, Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture. Aksit, M., Kindler, E., Roubtsova, E. & McNeile, A. (eds.). New York: Association for Computing Machinery (ACM), p. 5:1-5:8 8 p. 10.1145/1555852.1555857. (ACM International Conference Proceeding Series; vol. 379).

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

Towards Model Checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A., 12 Jun 2000. 10 p.

Research output: Contribution to conferencePaper

Towards model checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A., 21 Feb 2000, Defining Precise Semantics for UML (satellite workshop of ECOOP 2000). Cannes, France, p. 0-9 10 p.

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

Towards Compliance Verification Between Global and Local Process Models

Kwantes, P. M., van Gorp, P., Kleijn, J. & Rensink, A., Jul 2015, Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. Parisi-Presicce, F. & Westfechtel, B. (eds.). Berlin: Springer, p. 221-236 16 p. (Lecture Notes in Computer Science; vol. 9151).

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

File
7 Citations (Scopus)
2 Downloads (Pure)

Towards a formal specification of multi-paradigm modelling

Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., Sep 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. 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.). IEEE, p. 419-424 6 p. 8904740

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

Towards a body of knowledge for model-based software engineering

Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., Rensink, A., Vallecillo, A., Kappel, G., Paige, R. F., Salay, R. & Wimmer, M., 14 Oct 2018, MODELS'18. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery (ACM), p. 82-89 8 p.

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

Open Access
File
7 Citations (Scopus)
45 Downloads (Pure)

Time and Space Issues in the Generation of Graph Transition Systems

Rensink, A., Mar 2005, Proceedings of the International Workshop on Graph-Based Tools (GraBaTs 2004). Mens, T., Schürr, A. & Taentzer, G. (eds.). Amsterdam: Elsevier, p. 127-139 13 p. (Electronic Notes in Theoretical Computer Science; vol. 127, no. 1).

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

Open Access
File
6 Citations (Scopus)
32 Downloads (Pure)

The Joys of Graph Transformation

Rensink, A., 2005, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 9, p. - 13 p.

Research output: Contribution to journalArticleProfessional

File
19 Downloads (Pure)

The GROOVE Simulator: A Tool for State Space Generation

Rensink, A., 2004, p. 479-485. 7 p.

Research output: Contribution to conferencePaper

190 Citations (Scopus)
74 Downloads (Pure)

The Edge of Graph Transformation - Graphs for Behavioural Specification

Rensink, A., Nov 2010, Graph Transformations and Model-Driven Engineering. Engels, G., Lewerentz, C., Schäfer, W., Schürr, A. & Westfechtel, B. (eds.). Berlin: Springer, p. 6-32 27 p. (Lecture Notes in Computer Science; vol. 5765, no. 5765).

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

8 Citations (Scopus)

Syntaxis van Java

Rensink, A., 2001, Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 7-24

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Subjects, Models, Languages, Transformations

Rensink, A., 2005, Language Engineering for Model-Driven Software Development. Bézivin, J. & Heckel, R. (eds.). Schloss Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik, p. - 13 p. (Dagstuhl Seminar Proceedings; vol. 04101).

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

File
14 Downloads (Pure)

Spezifikation eines RPC-Speichers mit der Sprache ProFun

Firley, T., Gehrke, T. & Rensink, A., 1998, Formale Beschreibungstechniken für verteilte Systeme: 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. König, H. & Langendörfer, P. (eds.). Aachen, Germany: Shaker Verlag, p. 136-147 12 p.

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

Specification of Systems: Theory in Search of Practice

Brinksma, H., Parrow, J., Rensink, A. & Heymer, S., Sep 1994, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 21 p.

Research output: Book/ReportReportOther research output

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)

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

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)

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)
127 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)

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)

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)

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

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
56 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)

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)
230 Downloads (Pure)

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)

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

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)