• 1511 Citations
1988 …2020

Research output per year

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

Research Output

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

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

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)

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

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)

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

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)

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)

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 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 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 Model Checking OCL

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

Research output: Contribution to conferencePaper

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

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)

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)

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)

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)

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)

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

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)

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)

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)

Visualisatie van het Object-georiënteerde Paradigma

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

Research output: Contribution to journalArticleAcademic

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)

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)

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)

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)

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

20 Downloads (Pure)