• 1369 Citations
1988 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2019

2012
1 Citation (Scopus)
42 Downloads (Pure)

Incremental pattern matching for regular expressions

Jalali, A., Ghamarian, A. H. & Rensink, A., Mar 2012, 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012. Fish, A. & Lambers, L. (eds.). Berlin: European Association for Software Science and Technology, p. 736:1-736:12 12 p. (Electronic Communications of the EASST; vol. 47).

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

File
71 Citations (Scopus)

Modelling and analysis using GROOVE

Ghamarian, A. H., de Mol, M. J., Rensink, A., Zambon, E. & Zimakova, M. V., Feb 2012, In : International journal on software tools for technology transfer. online pre, 1, p. 15-40 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
21 Downloads (Pure)

Pattern-Based Graph Abstraction

Rensink, A. & Zambon, E., Sep 2012, International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer, p. 66-80 15 p. (Lecture Notes in Computer Science; vol. 7562).

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

File
22 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
13 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)
23 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
45 Downloads (Pure)

Modelleren is het Nieuwe Programmeren

Rensink, A., Nov 2011. 29 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
9 Citations (Scopus)

Neighbourhood Abstraction in GROOVE

Rensink, A. & Zambon, E., 11 Apr 2011, In : Electronic Communications of the EASST. 32, p. 1-13 13 p.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
Model checking
57 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
43 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
40 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
64 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
15 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)
11 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
90 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
11 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

Open Access
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
21 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

19 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)
87 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, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lee, D., Lopes, A. & Poetzsch-Heffter, A. (eds.). Berlin, Heidelberg: Springer, p. 237-242 6 p. (Lecture Notes in Computer Science; vol. 5522).

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

Java programming language
Specification languages
Model checking
Static analysis
Computer programming languages
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

49 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)
334 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
4 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

18 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

22 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

85 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