• 1511 Citations
1988 …2020

Research output per year

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

Research Output

Graph Attribution Through Sub-Graphs

Kastenberg, H. & Rensink, A., Nov 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-12-27)

Research output: Book/ReportReportProfessional

File
73 Downloads (Pure)

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

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

1 Citation (Scopus)

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 passing in graph transformation

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. 723:1-723:14 14 p. (Electronic Communications of the EASST; vol. 47).

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

File
7 Downloads (Pure)

Graph Passing in Graph Transformation

Ghamarian, A. H. & Rensink, A., 31 Jan 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-12-04)

Research output: Book/ReportReportProfessional

File
25 Downloads (Pure)

Graphs as Models - Preface

Rensink, A. & Zambon, E., Apr 2015, Proceedings Graphs as Models. Rensink, A. & Zambon, E. (eds.). Australia: Open Publishing Association, p. - 1 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

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

File
26 Downloads (Pure)

Graph Subsumption in Abstract State Space Exploration

Zambon, E. & Rensink, A., Apr 2012, Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012). Wijs, A., Bosnacki, D. & Edelkamp, S. (eds.). Open Publishing Association, p. 35-49 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 99).

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

File
73 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
23 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

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)

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

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

3 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

11 Citations (Scopus)

Graph Transforming Java Data

de Mol, M. J., Rensink, A. & Hunt, J. J., Mar 2012, Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012). London: Springer, p. 209-223 15 p. (Lecture Notes in Computer Science; vol. 7212).

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

3 Citations (Scopus)

Graph- versus Vector-Based Analysis of a Consensus Protocol

Delzanno, G., Rensink, A. & Traverso, R., Apr 2014, Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). Bošnački, D., Edelkamp, S., Lluch Lafuente, A. & Wijs, A. (eds.). EPTCS, p. 44-57 14 p. (Electronic Proceedings in Theoretical Computer Science; vol. 159).

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

File
74 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
16 Downloads (Pure)

How do we teach modelling and model-driven engineering? A survey

Ciccozzi, F., Famelis, M., Kappel, G., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., Taentzer, G., Valecillo, A. & Wimmer, M., 14 Oct 2018, International Conference on Model Driven Engineering Languages and Systems (MODELS): Companion Proceedings. ACM Press, p. 122-129

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

Open Access
File
7 Citations (Scopus)
25 Downloads (Pure)

How much are your geraniums? Taking graph conditions beyond first Order

Rensink, A., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, Vol. 10500 LNCS. p. 191-213 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

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

2 Downloads (Pure)

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., Rensink, A. & Stoelinga, M. I. A., Oct 2017, Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K., Sokolsky, O. & Wang, J. (eds.). Springer, p. 319-336 (Lecture Notes in Computer Science; vol. 10606)(Lecture Notes in Programming and Software Engineering).

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

Open Access
File
6 Citations (Scopus)
212 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
1 Citation (Scopus)
40 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
5 Citations (Scopus)
14 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
15 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
17 Downloads (Pure)

Klasse- en Objectdiagrammen

Rensink, A., 2001, Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 25-46

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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
3 Citations (Scopus)
38 Downloads (Pure)

LOCKS: a property specification language for security goals

Kumar, R., Rensink, A. & Stoelinga, M. I. A., 9 Apr 2018, SAC'18. Proceedings of the 33rd Annual ACM Symposium on Applied Computing (SAC). Association for Computing Machinery (ACM), p. 1907-1915

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

Open Access
File
2 Citations (Scopus)
27 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

2 Citations (Scopus)
78 Downloads (Pure)

Methodological Aspects of Action Refinement

Olderog, E-R. (ed.) & Rensink, A., 1994, p. 227-246. 20 p.

Research output: Contribution to conferencePaper

File
13 Downloads (Pure)

Model checking birth and death

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, p. 435-447. 13 p.

Research output: Contribution to conferencePaper

File
12 Citations (Scopus)
57 Downloads (Pure)

Model checking birth and death.

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, In : Theoretical computer science. p. -

Research output: Contribution to journalArticleAcademicpeer-review

Model Checking Dynamic Allocation and Deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P., Dec 2001, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTIT-01-40)

Research output: Book/ReportReportOther research output

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 for dynamic allocation and deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, Centre for Telematics and Information Technology (CTIT). 57 p. (CTIT Technical Report Series; no. 01-40)

Research output: Book/ReportReportAcademic

Model Checking Graph Grammars

Rensink, A., 2003, Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS’03): April 2-3 2003, Southampton (GB). Leuschel, M., Gruner, S. & Presti, S. L. (eds.). Southampton: University of Southampton, p. 150-160 11 p. (Technical Report; vol. DSSE-TR-2003-02, no. TR-2003-2).

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

Open Access
File
60 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)

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

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

Model Driven Architecture: Foundations and Applications

Rensink, A. (ed.), Jun 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 132 p. (CTIT technical report series; no. TR-CTIT-03-27)

Research output: Book/ReportReportProfessional

Open Access
File
70 Downloads (Pure)

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

2 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

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A., 2017, Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editingAcademic

Open Access
File
99 Downloads (Pure)

Modelleren is het Nieuwe Programmeren

Rensink, A., Nov 2011. 29 p.

Research output: Contribution to conferencePaper

Open Access
File
60 Downloads (Pure)

Modelling and analysis using GROOVE

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

Research output: Contribution to journalArticleAcademicpeer-review

80 Citations (Scopus)

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

Model Patterns - The Quest for the Right Level of Abstraction

Rensink, A., Sep 2016, Transactions on Foundations for Mastering Change I. Steffen, B. (ed.). Berlin: Springer, p. 47-70 24 p. (Lecture Notes in Computer Science; vol. 9960, no. 9960).

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

File
2 Citations (Scopus)
20 Downloads (Pure)

Models and Methods for Action Refinement

Rensink, A., 1993, Enschede: Universiteit Twente. 319 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT