Arend Rensink

prof.dr.ir.

Formal Methods and Tools

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

Fingerprint Dive into the research topics where Arend Rensink is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

2 Similar Profiles

Software engineering Engineering & Materials Science

Nutrition Engineering & Materials Science

Specifications Engineering & Materials Science

Interoperability Engineering & Materials Science

Graph Rewriting Mathematics

Scheduling Engineering & Materials Science

Graph Transformation Mathematics

Gluing Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1988 2018

91 Conference contribution
56 Report
30 Article
25 Paper
35 More

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 proceeding › Chapter › Academic › peer-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 conference › Paper › Academic

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 proceeding › Conference contribution › Academic › peer-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 proceeding › Chapter › Academic › peer-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 proceeding › Conference contribution › Academic › peer-review

Open Access

File

instructor

engineering

Teaching

teaching method

learning