• 1447 Citations
1988 …2020

Research output per year

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

Research Output

2007

Atomic Action Refinement in Model Based Testing

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., 22 Aug 2007, Enschede: Formal Methods and Tools (FMT). 67 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-64)

Research output: Book/ReportReportProfessional

File
23 Downloads (Pure)

Fair Testing

Rensink, A. & Vogler, W., 2007, In : Information and computation. 205, 2, p. 125-198 74 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
98 Citations (Scopus)
18 Downloads (Pure)

Graph Abstraction and Abstract Graph Transformation

Boneva, I. B., Rensink, A., Kurban, M. E. & Bauer, J., 23 Jul 2007, Enschede: Formal Methods and Tools (FMT). 52 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-50)

Research output: Book/ReportReportProfessional

File
351 Downloads (Pure)

Graph Transformation and AI Planning

Edelkamp, S. & Rensink, A., Sep 2007, Knowledge Engineering Competition (ICKEPS). Edelkamp, S. & Frank, J. (eds.). Canberra, Australia: Australian National University, p. - 7 p.

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

File
22 Downloads (Pure)

Graph Transformation for Concurrency and Verification - Preface

Rensink, A., Heckel, R. & König, B., Jul 2007, Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC). Amsterdam: Elsevier, p. 1-2 2 p. 10.1016/j.entcs.2007.04.012. (Electronic Notes in Theoretical Computer Science; vol. 175, no. 1).

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

Isomorphism Checking in GROOVE

Rensink, A., Sep 2007, Graph-Based Tools (GraBaTs). Zündorf, A. & Varró, D. (eds.). European Association of Software Science and Technology, p. - 11 p. (Electronic Communications of the EASST; vol. 1, no. LNCS4549).

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

File
17 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)
2006

Abstract Graph Transformation

Rensink, A. & Distefano, D. S., May 2006, Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005). Mukhopadhyay, S., Roychoudhury, A. & Yang, Z. (eds.). Elsevier, p. 39-59 21 p. (Electronic Notes in Theoretical Computer Science; vol. 157).

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

40 Citations (Scopus)

A Graph-Transformation-Based Semantics for Analysing Aspect Interference

Staijen, T. & Rensink, A., 18 Sep 2006, p. 1-12. 12 p.

Research output: Contribution to conferencePaper

File
50 Downloads (Pure)

An Abstract Metamodel for Aspect Languages

Havinga, W., Staijen, T., Rensink, A., Bergmans, L. & van den Berg, K., May 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 21 p. (CTIT Technical Report Series; no. 06-22)

Research output: Book/ReportReportProfessional

Open Access
File
16 Downloads (Pure)

An Abstract Metamodel for Aspect Languages

Havinga, W., Staijen, T., Rensink, A., Bergmans, L. & van den Berg, K., 2006, Open and Dynamic Aspect Languages. Brichau, J., Chiba, S., Lorenz, D. H., Tanter, E. & De Volder, K. (eds.). Aspect-Oriented Software Association, 8 p.

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

Open Access
File
13 Downloads (Pure)

Defining Object-Oriented Execution Semantics Using Graph Transformations

Kastenberg, H., Kleppe, A. G. & Rensink, A., Jun 2006, Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems. Gorrieri, R. & Wehrheim, H. (eds.). London: Springer, p. 186-201 16 p. 10.1007/11768869_15. (Lecture Notes in Computer Science; vol. 4037, no. 2).

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

File
30 Citations (Scopus)
62 Downloads (Pure)

Engineering Object-Oriented Semantics Using Graph Transformations

Kastenberg, H., Kleppe, A. G. & Rensink, A., Mar 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 93 p. (CTIT Technical Report Series; no. 06-12)

Research output: Book/ReportReportProfessional

File
25 Downloads (Pure)

Model Checking Dynamic States in GROOVE

Kastenberg, H. & Rensink, A., 2006, Model Checking Software (SPIN). Valmari, A. (ed.). Berlin: Springer, p. 299-305 7 p. 10.1007/11691617_19. (Lecture Notes in Computer Science; vol. 3925, no. 2).

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

67 Citations (Scopus)

Model Checking Quantified Computation Tree Logic

Rensink, A., 2006, Concurrency Theory (CONCUR). Baier, C. & Hermanns, H. (eds.). Berlin: Springer, p. 110-125 16 p. 10.1007/11817949_8. (Lecture Notes in Computer Science; vol. 4137, no. 2).

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

14 Citations (Scopus)

Model Driven Architecture - Foundations and Applications

Rensink, A. (ed.) & Warmer, J. (ed.), Jul 2006, Berlin: Springer. 392 p. (Lecture Notes in Computer Science; vol. 4066, no. 2/4066)

Research output: Book/ReportBook editingAcademic

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)

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)

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

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

Abstract Graph Transformation

Rensink, A. & Distefano, D., Jan 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. TR-CTIT-05-04)

Research output: Book/ReportReportProfessional

Open Access
File
37 Downloads (Pure)

Action Refinement in Conformance Testing

van der Bijl, M., Rensink, A. & Tretmans, J., 2005, Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings. Khendek, F. & Dssouli, R. (eds.). Berlin: STW, p. 81-96 16 p. (Lecture Notes in Computer Science; vol. 3502).

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

Open Access
File
53 Downloads (Pure)

Action Refinement in Conformance Testing

van der Bijl, M., Rensink, A. & Tretmans, J., Oct 2005, Enschede: University of Twente, Department of Computer Science. 33 p. (CTIT Technical Report Series; no. 1381-3625)

Research output: Book/ReportReportProfessional

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

Action Refinement in Testing with UIOCO

van der Bijl, M., Rensink, A. & Tretmans, J., Feb 2005, Enschede: University of Twente, Department of Computer Science. 45 p. (CTIT Technical Report Series; no. TR-CTIT-05-10)

Research output: Book/ReportReportProfessional

Open Access
File
14 Downloads (Pure)

Ensuring Structural Constraints in Graph-Based Models with Type Inheritance

Taentzer, G. & Rensink, A., Apr 2005, Fundamental Approaches to Software Engineering (FASE). Cerioli, M. (ed.). Berlin: Springer, p. 64-79 15 p. (Lecture Notes in Computer Science; vol. 3442, no. XIII).

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

File
33 Citations (Scopus)
49 Downloads (Pure)

Fair Testing

Rensink, A. & Vogler, W., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 74 p. (CTIT Technical Report Series; no. 05-64)

Research output: Book/ReportReportProfessional

File
25 Downloads (Pure)

Graph Grammar Verification through Abstraction

Baldan, P., Koenig, B. & Rensink, A., 2005, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. König, B., Montanari, U. & Gardner, P. (eds.). Dagstuhl, 9 p. (Dagstuhl Seminar Proceedings; vol. 04241).

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

Open Access
File
9 Downloads (Pure)

Graph Transformation for Verification and Concurrency

Heckel, R., König, B. & Rensink, A., Jul 2005, Centre for Telematics and Information Technology (CTIT). 114 p. (CTIT Technical Report Series; no. 05-34)

Research output: Book/ReportReportAcademic

Open Access
File
14 Downloads (Pure)

Model Driven Architecture

Aßmann, U., Aksit, M. (ed.) & Rensink, A. (ed.), 2005, Berlin / Heidelberg: Springer. 233 p. (Lecture Notes in Computer Science; vol. 3599, no. 3599)

Research output: Book/ReportBook editingAcademic

File
125 Downloads (Pure)

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

Jones, V., Rensink, A. & Brinksma, E., 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05). van Sinderen, M. J., Steen, M. W. A., Lankhorst, M. M., Aleksy, M. & Hung, P. C. K. (eds.). Los Alamitos, CA: IEEE, p. 58-69 12 p. (IEEE International EDOC Enterprise Computing Conference; vol. 2005).

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

2 Downloads (Pure)

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

Jones, V. M., Rensink, A. & Brinksma, H., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-05-66)

Research output: Book/ReportReportProfessional

File
13 Citations (Scopus)
89 Downloads (Pure)

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

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)

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

A formal MDA approach for mobile health systems

Jones, V., Rensink, A., Ruys, T., Brinksma, E. & van Halteren, A., Sep 2004, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. Akehurst, D. H. (ed.). University of Kent, p. 28-35 8 p. (Technical Report; no. 17-04).

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

Open Access
File
15 Downloads (Pure)

AGTIVE'03: Summary from the Outside In

Rensink, A., 2004, Applications of Graph Transformations with Industrial Relevance: Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers. Pfaltz, J. L., Nagl, M. & Böhlen, B. (eds.). Berlin, Heidelberg: Springer, p. 486-488 3 p. (Lecture Notes in Computer Science; vol. 3062).

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

2 Citations (Scopus)

AGTIVE '03: Summary From the Outside In

Rensink, A., 2004, Applications of Graph Transformations with industrial Relevance. Pfalz, J., Nagl, M. & Boehlen, B. (eds.). Springer, p. 486-488 3 p.

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

Canonical Graph Shapes

Rensink, A., 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004. Proceedings. Schmidt, D. (ed.). Berlin: Springer, p. 401-415 15 p. (Lecture Notes in Computer Science; vol. 2986).

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

37 Citations (Scopus)

Compositional based testing with ioco

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., 6 Oct 2004, Formal approaches to software testing. Petrenko, A. & Ulrich, A. (eds.). Berlin: Springer, p. 86-100

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

Compositional Testing with ioco

Petrenko, A. (ed.), van der Bijl, H. M., Rensink, A., Ulrich, A. (ed.) & Tretmans, G. J., 2004, p. 86-100. 15 p.

Research output: Contribution to conferencePaper

File
79 Citations (Scopus)
69 Downloads (Pure)

Model Checking Graph Transformations: A Comparison of Two Approaches

Rensink, A., Schmidt, A. & Varro, D., 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.). Berlin, Heidelberg: Springer, p. 226-241 16 p. (Lecture Notes in Computer Science; vol. 3256).

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

62 Citations (Scopus)

Model Checking Graph Transformations: A Comparison of Two Approaches

Ehrig, H. (ed.), Rensink, A., Engels, G. (ed.), Schmidt, Á., Parise-Presicce, F. (ed.), Varró, D. & Rozenberg, G. (ed.), 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. 226-241 16 p.

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

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

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

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?

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

A Logic of Local Graph Shapes

Rensink, A., Aug 2003, Enschede: Software Engineering (SE). 33 p. (CTIT-technical reports; no. 2003-35)

Research output: Book/ReportReportProfessional

File
13 Downloads (Pure)