Arend Rensink

prof.dr.ir.

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

Research Output 1988 2018

2007
20 Downloads (Pure)

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
91 Citations (Scopus)

Fair Testing

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

Research output: Contribution to journalArticleAcademicpeer-review

112 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
18 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

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

14 Downloads (Pure)

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
2 Citations (Scopus)
26 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
2006
36 Citations (Scopus)

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

11 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
13 Downloads (Pure)

An Abstract Metamodel for Aspect Languages

Havinga, W. K., 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, p. 9 8 p.

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

File
13 Downloads (Pure)

An Abstract Metamodel for Aspect Languages

Havinga, W. K., 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

File
30 Citations (Scopus)
40 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
18 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
61 Citations (Scopus)

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

13 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

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

12 Citations (Scopus)
6 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

Scalability
Semantics
7 Citations (Scopus)

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

5 Citations (Scopus)
44 Downloads (Pure)

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
29 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
10 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

Precondition
Proof Theory
Correctness
Imply
Graph in graph theory
27 Citations (Scopus)
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
Precondition
Proof Theory
Correctness
Imply
Graph in graph theory
2005
26 Downloads (Pure)

Abstract Graph Transformation

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

Research output: Book/ReportReportProfessional

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

Action Refinement in Conformance Testing

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., Oct 2005, Enschede: Formal Methods and Tools (FMT). 33 p. (CTIT Technical Report Series; no. 1381-3625)

Research output: Book/ReportReportProfessional

File
31 Downloads (Pure)

Action Refinement in Conformance Testing

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., 2005, Testing of Communicating Systems (TESTCOM). Khendek, F. & Dssouli, R. (eds.). Berlin: STW Technology Foundation, p. 81-96 16 p. (Lecture Notes in Computer Science; vol. 3502, no. X).

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

File
9 Downloads (Pure)

Action Refinement in Testing with UIOCO

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., Feb 2005, Enschede: Formal Methods and Tools (FMT). 45 p. (CTIT Technical Report Series; no. TR-CTIT-05-10)

Research output: Book/ReportReportProfessional

File
32 Citations (Scopus)
25 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
17 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
7 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
Petri nets
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
69 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
2 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

Health
Industry
Software engineering
Servers
Acoustic waves
13 Citations (Scopus)
49 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
11 Downloads (Pure)

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
13 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
6 Citations (Scopus)
29 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

File
2004
16 Downloads (Pure)

A formal MDA approach for mobile health systems

Akehurst, D. H. (ed.), Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A., Sep 2004, p. 28-35. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

A formal MDA approach for mobile health systems

Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A., 7 Sep 2004, Second European workshop on model driven architecture (MDA). Akehurst, D. H. (ed.). Canterbury, UK: University of Kent, Computing laboratory, p. 28-35

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

2 Citations (Scopus)

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

Summary
Graph Transformation

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

32 Citations (Scopus)

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

Concretes

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

69 Citations (Scopus)
41 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
59 Citations (Scopus)

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

Model checking
Hardware
8 Downloads (Pure)

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

Model checking
Hardware
61 Citations (Scopus)

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

187 Citations (Scopus)
43 Downloads (Pure)

The GROOVE Simulator: A Tool for State Space Generation

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

Research output: Contribution to conferencePaperAcademicpeer-review

Model checking
Simulators
19 Citations (Scopus)

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

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 conferencePaperAcademicpeer-review

2003
6 Downloads (Pure)

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