Arend Rensink

prof.dr.ir.

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

Research Output 1988 2018

2012
20 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
2011
15 Downloads (Pure)

Formal Semantics of the CHART Transformation Language

de Mol, M. J. & Rensink, A., Dec 2011, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-12-03)

Research output: Book/ReportReportProfessional

File
12 Downloads (Pure)

Graven in Software

Rensink, A., 10 Nov 2011, Enschede: University of Twente. 34 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File
3 Citations (Scopus)
20 Downloads (Pure)

Knowledge-based Graph Exploration Analysis

Galvao, I., Zambon, E., Rensink, A., Wevers, L. & Aksit, M., Oct 2011, AGTIVE 2011: Applications of Graph Transformations with Industrial Relevance. Schürr, A., Varró, D. & Varró, G. (eds.). Berlin, Heidelberg: Springer, p. 105-120 16 p. (Lecture Notes in Computer Science; vol. 7233).

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

Open Access
File
43 Downloads (Pure)

Modelleren is het Nieuwe Programmeren

Rensink, A., Nov 2011. 29 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File

Neighbourhood Abstraction in GROOVE

Rensink, A. & Zambon, E., 11 Apr 2011, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Enschede: European Association for the Study of Science and Technology, p. 1-13 13 p. (Electronic Communications of the EASST; vol. 32).

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

50 Downloads (Pure)

On changing models in Model-Based Testing

van der Bijl, H. M., 12 May 2011, Enschede: Centre for Telematics and Information Technology (CTIT). 231 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
36 Downloads (Pure)

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

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

2010
14 Downloads (Pure)

A First Study of Compositionality in Graph Transformation

Rensink, A., Feb 2010, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-10-08)

Research output: Book/ReportReportProfessional

File
8 Citations (Scopus)

Compositionality in Graph Transformation

Rensink, A., Jul 2010, Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Berlin: Springer, p. 309-320 12 p. (Lecture Notes in Computer Science; vol. 6199).

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

Algebra
Specifications
Synchronization
2 Citations (Scopus)
15 Downloads (Pure)

Distributed Graph-Based State Space Generation

Blom, S., Kant, G. & Rensink, A., Sep 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Berlin: European Association of Software Science and Technology (EASST), p. 8 12 p. (Electronic Communications of the EASST; vol. 32, no. WP 10-06).

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

File
62 Downloads (Pure)

Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques

Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., Feb 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-10-09)

Research output: Book/ReportReportProfessional

File
9 Downloads (Pure)

Graph-based Specification and Verification for Aspect-Oriented Languages

Staijen, T., 6 Jun 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 234 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File

Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

Ehrig, H. (ed.), Rensink, A. (ed.), Rozenberg, G. (ed.) & Schürr, A. (ed.), 2010, Berlin: Springer. 418 p. (Lecture Notes in Computer Science; vol. 6372)

Research output: Book/ReportBook editingAcademic

11 Citations (Scopus)

Graph transformation tool contest 2008

Rensink, A. & van Gorp, P., Jun 2010, In : International journal on software tools for technology transfer. 12, 3-4, p. 171-181 11 p., 10.1007/s10009-010-0157-7.

Research output: Contribution to journalArticleAcademic

5 Citations (Scopus)
10 Downloads (Pure)

Incremental Pattern Matching in Graph-Based State Space Exploration

Ghamarian, A. H., Rensink, A. & Jalali, A., 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Enschede: European Association for the Study of Science and Technology, p. 144-154 12 p. (CTIT Workshop Proceedings; no. WP 10-06).

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

File
12 Downloads (Pure)

Isomorphism Checking for Symmetry Reduction

Rensink, A., Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 15 p. (CTIT Technical Report Series; no. TR-CTIT-10-27)

Research output: Book/ReportReportProfessional

File
67 Downloads (Pure)

Modelling and Analysis Using GROOVE

Ghamarian, A. H., de Mol, M. J., Rensink, A., Zambon, E. & Zimakova, M. V., Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-10-18)

Research output: Book/ReportReportProfessional

File
15 Downloads (Pure)

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

File
10 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
20 Citations (Scopus)

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

Semantics
Software design
Scalability
8 Citations (Scopus)

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

17 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
2009
35 Citations (Scopus)

A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points

Aksit, M., Rensink, A. & Staijen, T., 2009, AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York: Association for Computing Machinery (ACM), p. 39-50 12 p. 10.1145/1509239.1509247

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

5 Citations (Scopus)
76 Downloads (Pure)

A Type Graph Model for Java Programs

Rensink, A. & Zambon, E., 9 Feb 2009, Enschede: Formal Methods and Tools (FMT). 94 p. (CTIT Technical Report Series; no. TR-CTIT-09-01)

Research output: Book/ReportReportProfessional

File

A Type Graph Model for Java Programs

Rensink, A. & Zambon, E., 15 Jun 2009, Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2009. Lee, D., Lopes, A. & Poetzsch-Heffter, A. (eds.). Berlin: Springer, p. 237-242 6 p. (Lecture Notes in Computer Science; vol. 5522).

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

7 Citations (Scopus)
4 Downloads (Pure)

Editorial for Special Section on Dependencies and Interactions with Aspects

Chitchyan, R., Rashid, A. (ed.), Fabry, J., Ossher, H. (ed.), Katz, S. & Rensink, A., 2009, In : Lecture notes in artificial intelligence. 5490, p. 133-134 2 p.

Research output: Contribution to journalArticleAcademic

File
15 Downloads (Pure)

Flow Diagram Decomposition Using Graph Transformations

Rensink, A. & Zimakova, M. V., 3 Sep 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 39 p. (CTIT Technical Report Series; no. TR-CTIT-09-30)

Research output: Book/ReportReportProfessional

File

Graph Abstraction for a Modal Logic

Boneva, I., Ehrig, H. (ed.), Kreiker, J., Kurban, M. E. & Rensink, A., Feb 2009, In : Bulletin of the European Association for Theoretical Computer Science. 97, p. 106-116 11 p.

Research output: Contribution to journalArticleAcademic

Graph-Based Specification and Simulation of Featherweight Java with Around Advice

Staijen, T. & Rensink, A., Mar 2009, FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages. New York: Association for Computing Machinery (ACM), p. 25-30 6 p. 10.1145/1509837.1509844

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

2 Citations (Scopus)

Model Driven Architecture - Foundations and Applications

Paige, R. F. (ed.), Hartman, A. (ed.) & Rensink, A. (ed.), 2009, Berlin: Springer. 337 p. (Lecture Notes in Computer Science; vol. 5562)

Research output: Book/ReportBook editingAcademic

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

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

39 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
2008
12 Citations (Scopus)
256 Downloads (Pure)

A Graph-Based Semantics for UML Class and Object Diagrams

Kleppe, A. G. & Rensink, A., 30 Jan 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-08-06)

Research output: Book/ReportReportProfessional

File
3 Citations (Scopus)

AGTIVE 2007 Graph Transformation Tool Contest

Rensink, A. & Taentzer, G., 2008, Applications of Graph Transformation with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Schürr, A., Nagl, M. & Zündorf, A. (eds.). Berlin, Heidelberg: Springer, p. 487-492 6 p. (Lecture Notes in Computer Science; vol. 5088).

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

13 Citations (Scopus)

A Modal-Logic Based Graph Abstraction

Bauer, J., Boneva, I. B., Kurban, M. E. & Rensink, A., 2008, International Conference on Graph Transformations (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Berlin: Springer, p. 321-335 15 p. 10.1007/978-3-540-87405-8_22. (Lecture Notes in Computer Science; vol. 5214, no. Supplement).

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

17 Downloads (Pure)

Applying Formal Methods to Gossiping Networks with mCRL and Groove

Crouzen, P., van de Pol, J. & Rensink, A., Dec 2008, In : SIGMETRICS performance evaluation review. 36, 3, p. 7-16 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Formal methods
Sampling
7 Citations (Scopus)

Dynamic Partial Order Reduction Using Probe Sets

Kastenberg, H. & Rensink, A., 2008, Concurrency Theory (CONCUR). Van Breughel, F. & Chechik, M. (eds.). Berlin: Springer, p. 233-247 15 p. 10.1007/978-3-540-85361-9_21. (Lecture Notes in Computer Science; vol. 5201, no. Supplement).

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

21 Citations (Scopus)

Explicit State Model Checking for Graph Grammars

Rensink, A., Jun 2008, Concurrency, Graphs and Models. de Nicola, R., Degano, P. & Meseguer, J. (eds.). Berlin: Springer, p. 114-132 19 p. 10.1007/978-3-540-68679-8_8. (Lecture Notes in Computer Science; vol. 5065, no. 274/5065).

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

14 Citations (Scopus)

From UML Activities to TAAL: Towards behaviour-preserving model transformations

Engels, G., Kleppe, A. G., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., 2008, European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA). Hartman, A. & Schieferdecker, I. (eds.). Berlin: Springer, p. 94-109 16 p. 10.1007/978-3-540-69100-6_7. (Lecture Notes in Computer Science; vol. 5095, no. 1).

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

79 Downloads (Pure)

Graph-based software specification and verification

Kastenberg, H., 3 Oct 2008, Enschede: University of Twente. 368 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1 Citation (Scopus)

Graph-Based Tools: The Contest

Rensink, A. & Van Gorp, P., 2008, International Conference on Graph Transformations (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Berlin: Springer, p. 463-466 4 p. 10.1007/978-3-540-87405-8_33. (Lecture Notes in Computer Science; vol. 5214, no. Supplement).

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

3 Citations (Scopus)

Graph Transformation Semantics for a QVT Language

Rensink, A. & Nederpel, R., May 2008, International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Bruni, R. & Varró, D. (eds.). Amsterdam: Elsevier, p. 51-62 12 p. 10.1016/j.entcs.2008.04.029. (Electronic Notes in Theoretical Computer Science; vol. 211).

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

2 Citations (Scopus)
61 Downloads (Pure)

Ludo: A Case Study for Graph Transformation Tools

Rensink, A., Dotor, A., Ermel, C., Jurack, S., Kniemeyer, O., de Lara, J., Maier, S., Staijen, T. & Zündorf, A., 2008, Applications of Graph Transformation with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Schürr, A., Nagl, M. & Zündorf, A. (eds.). Berlin, Heidelberg: Springer, p. 493-513 21 p. (Lecture Notes in Computer Science; vol. 5088).

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

24 Downloads (Pure)

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

An Object-Oriented Framework for Explicit-State Model Checking

Kattenbelt, M., Ruys, T. C. & Rensink, A., 23 Mar 2007, Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007). Groot, P., Serebrenik, A. & van Eekelen, M. (eds.). Eindhoven: Eindhoven University of Technology, p. 84-92 9 p. (TUE Computer Science Reports; no. 07-04).

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

File
Model checking
Positive ions