Arend Rensink

prof.dr.ir.

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

Research Output 1988 2018

2018
1 Citation (Scopus)
3 Downloads (Pure)

A tutorial on graph transformation

König, B., Nolte, D., Padberg, J. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 83-104 22 p. (Lecture Notes in Computer Science; vol. 10800).

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

Open Access
File
Gluing
Graph Transformation
Graph Rewriting
Leader Election
Tool Support

Designing Reusable and Run-Time Evolvable Scheduling Software

Orhan, G., Aksit, M. & Rensink, A., 28 Aug 2018, p. 339-373. 35 p.

Research output: Contribution to conferencePaperAcademic

Open Access
Scheduling
Reusability
Vehicle routing
Industrial plants
Logistics
82 Downloads (Pure)

Effective Analysis of Attack Trees: A Model-Driven Approach

Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A., Apr 2018, Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802).

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

Open Access
File
Interoperability
1 Citation (Scopus)
4 Downloads (Pure)

Graph Attribution Through Sub-Graphs

Kastenberg, H. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer, p. 245-265 (Lecture Notes in Computer Science; vol. 10800).

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

Open Access
File
2 Citations (Scopus)
1 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
instructor
engineering
Teaching
teaching method
learning
1 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
Specification languages
Arches
Semantics
Specifications
1 Downloads (Pure)

Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE

Zambon, E. & Rensink, A., 24 Oct 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Springer, p. 305-323

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

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

Towards a body of knowledge for model-based software engineering

Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., Rensink, A., Vallecillo, A., Kappel, G., Paige, R. F., Salay, R. & Wimmer, M., 14 Oct 2018, MODELS'18. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery (ACM), p. 82-89 8 p.

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

Open Access
File
Software engineering
Curricula
126 Downloads (Pure)

Truth or dare: quantitative security risk analysis via attack trees

Kumar, R., 17 Oct 2018, Enschede: University of Twente. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Risk analysis
Taxonomies
Model checking
Security of data
Computer viruses
2017

A Formal Product-Line Engineering Approach for Schedulers

Orhan, G., Aksit, M. & Rensink, A., Nov 2017, SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22).

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

Open Access
Scheduling
Elevators
Radar systems
Airports
Railroad cars

A Java Bytecode Metamodel for Composable Program Analyses

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M., Jul 2017, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 30-40 (Lecture Nodes in Computer Science; vol. 10748).

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

Interoperability
Specifications
1 Citation (Scopus)
27 Downloads (Pure)

A Model-Derivation Framework for Software Analysis

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M., Apr 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höffner, P. (eds.). arXiv.org, p. 217-229 (EPTCS - Electronic Publications in Theoretical Computer Science; vol. 244).

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

Open Access
File
Scalability
Electric potential
1 Citation (Scopus)
52 Downloads (Pure)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., 13 Jan 2017, Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer, Vol. 10107. p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107).

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

Open Access
File

An MDE Approach for Modular Program Analyses

Yildiz, B. M., Bockisch, C., Aksit, M. & Rensink, A., Apr 2017, Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery (ACM), 5 p. 15

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

Model checking
Application programming interfaces (API)
Interoperability
Specifications
6 Citations (Scopus)

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M., 2017, In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Contribution to journalArticleAcademicpeer-review

Graph Rewriting
Fault Tree
Nutrition
Directed graphs
Reliability Modeling
2 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

First-order Logic
First-order
Graph in graph theory
Operator
Graph Transformation
5 Citations (Scopus)
73 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
Query languages
Computer hardware
Cyber Physical System
52 Downloads (Pure)

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
Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling
1 Citation (Scopus)
26 Downloads (Pure)

Uniform analysis of fault trees through model transformations

Ruijters, E., Schivo, S., Stoelinga, M. & Rensink, A., 23 Jan 2017, 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 7 p.

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

Open Access
File
Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
2016
44 Downloads (Pure)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., Sep 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: Book/ReportReportProfessional

File
2 Citations (Scopus)
10 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
22 Downloads (Pure)

Verification Techniques for Graph Rewriting (Tutorial)

Rensink, A., Mar 2016, Verification of Evolving Graph Structures. Abdulla, P. A., Gadducci, F., König, B. & Vafeiadis, V. (eds.). Dagstuhl, Germany: Dagstuhl Publishing, p. 18-18 1 p. (Dagstuhl Reports; vol. 5, no. 11).

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

File
2015
65 Downloads (Pure)

A Model-Derivation Framework for Timing Analysis of Java Software Systems

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M., 30 Dec 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-15-08)

Research output: Book/ReportReportProfessional

File
5 Citations (Scopus)
4 Downloads (Pure)

Fault Trees on a Diet: Automated Reduction by Graph Rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A., Nov 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering).

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

Nutrition
Directed graphs
Scalability
Experiments
15 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
Satellites
6 Citations (Scopus)
1 Downloads (Pure)

Towards Compliance Verification Between Global and Local Process Models

Kwantes, P. M., van Gorp, P., Kleijn, J. & Rensink, A., Jul 2015, Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. Parisi-Presicce, F. & Westfechtel, B. (eds.). Berlin: Springer, p. 221-236 16 p. (Lecture Notes in Computer Science; vol. 9151).

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

File
2014
35 Citations (Scopus)
129 Downloads (Pure)

A survey and comparison of transformation tools based on the transformation tool contest

Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Hegedüs, Á., Hermannsdörfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., Wätzoldt, S. & Mazanek, S., Jun 2014, In : Science of computer programming. 85A, A, p. 41-99 59 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Taxonomies
Data structures
Engineers
18 Downloads (Pure)

A timed-automata approach for critical path detection in a soft real-time application

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M., Feb 2014, Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session. Italy: SEA-Johannes Kepler University Linz, p. - 2 p.

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

File
12 Downloads (Pure)

BenchmarX

Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A. & Schürr, A., Mar 2014, Bidirectional Transformations (BX 2014), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference. Hidaka, S. & Terwilliger, J. (eds.). Aachen, Germany: CEUR-WS.org, p. 82-86 5 p. (CEUR Workshop Proceedings; vol. 1133).

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

File
1 Citation (Scopus)
3 Downloads (Pure)

Forever software

Rensink, A., Oct 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I1. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 535-537 3 p. (Lecture Notes in Computer Science; vol. 8802).

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

Software engineering
Television receivers
Railroad cars
Industry
48 Downloads (Pure)

Fundamental Approaches to Software Engineering

Gnesi, S. (ed.) & Rensink, A. (ed.), Apr 2014, Berlin: Springer. 429 p. (Lecture Notes in Computer Science; vol. 8411)(Advanced Research in Computing and Software Science)

Research output: Book/ReportBook editingAcademic

Software engineering
47 Downloads (Pure)

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

JTorX: Exploring Model-Based Testing

Belinfante, A., 18 Sep 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 324 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
1 Citation (Scopus)
20 Downloads (Pure)

Software and systems modeling with graph transformations: Theme issue of the Journal on Software and Systems Modeling

Schürr, A. & Rensink, A., Feb 2014, In : Software and systems modeling. 13, 1, p. 171-172 2 p.

Research output: Contribution to journalArticleAcademic

File
2 Citations (Scopus)
111 Downloads (Pure)

Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices

Zambon, E. & Rensink, A., Apr 2014, Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Hermann, F. & Sauer, S. (eds.). Berlin, Germany: European Association of Software Science and Technology, p. - 13 p. (Electronic Communications of the EASST; vol. 67, no. 938).

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

File
8 Citations (Scopus)
13 Downloads (Pure)

Towards Rigorously Faking Bidirectional Model Transformations

Poskitt, C. M., Dodds, M., Paige, R. F. & Rensink, A., Sep 2014, Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014. Dingel, J., De Lara, J., Lúcio, L. & Vangheluwe, H. (eds.). Aachen: RWTH Aachen, Germany, p. 70-75 6 p. (CEUR-WS; vol. 1277).

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

File
2013
43 Downloads (Pure)

Abstract Graph Transformation - Theory and Practice

Zambon, E., 24 Jan 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 162 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
51 Downloads (Pure)

Class diagram restructuring with GROOVE

Smid, W. & Rensink, A., Nov 2013, Proceedings Sixth Transformation Tool Contest. Van Gorp, P., Rose, L. M. & Krause, C. (eds.). arXiv.org, p. 83-87 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 135).

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

File
16 Downloads (Pure)

Publishing Your Prototype Tool on the Web: PUPTOL, a Framework

Belinfante, A. & Rensink, A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-15)

Research output: Book/ReportReportProfessional

File
2012
3 Citations (Scopus)
30 Downloads (Pure)

Generalised compositionality in graph transformation

Ghamarian, A. H. & Rensink, A., 1 Jul 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. TR-CTIT-12-17)

Research output: Book/ReportReportProfessional

File
6 Downloads (Pure)

Generalised compositionality in graph transformation

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

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

File
29 Downloads (Pure)

Graph abstraction and abstract graph transformations (Amended version)

Boneva, I. B., Kreiker, J., Kurban, M. E., Rensink, A. & Zambon, E., Oct 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 54 p. (CTIT Technical Report Series; no. TR-CTIT-12-26)

Research output: Book/ReportReportProfessional

File
50 Downloads (Pure)

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
7 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
20 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
47 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
3 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

1 Citation (Scopus)
40 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

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