Arend Rensink

  • 1928
1988 …2023

Research activity per year

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

Personal profile

Personal profile

I am fascinated and inspired by how systems work, in their composition from small interacting building blocks. This has always applied to computer systems; more and more I also include organisational and social systems in my sphere of interest, in particular where it concerns the university educational system.

After understanding why a system works, or doesn't work, the question of improvement arises. I usually do not take for granted that things must be the way they currently are, even after understanding why they are that way. Change, however, is not easily brought about: in software, the (lack of) maintainability stands in the way, in organisations it is typically inertia and lack of motivation for change.

External positions

Akademischer Rat, University of Hildesheim

1 Sept 199330 Sept 1993


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.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Case in Point: Verification and Testing of a EULYNX Interface

    Bouwman, M., Wal, D. V. D., Luttik, B., Stoelinga, M. & Rensink, A., Mar 2023, In: Formal aspects of computing. 35, 1, p. 1–38 2.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    5 Citations (Scopus)
    16 Downloads (Pure)
  • From BDD Scenarios to Test Case Generation

    Zameni, T., van den Bos, P., Tretmans, J., Foederer, J. & Rensink, A., 29 May 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Piscataway, NJ: IEEE, p. 36-44 9 p.

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

  • Preface

    Garavel, H., de Lara, J., Molina, P. J., Paige, R., di Ruscio, D., Wimmer, M., Barmpis, K., Boronat, A., Boubeta-Puig, J., Bousse, E., Le Calvar, T., García-Domínguez, A., Hinkel, G., Horvath, A., Rensink, A., Cuadrado, J. S., Varró, G. & Wei, R., 2022, In: CEUR workshop proceedings. 3089

    Research output: Contribution to journalEditorialAcademicpeer-review

    Open Access
    18 Downloads (Pure)
  • Integration and Orchestration of Analysis Tools

    Heinrich, R., Bousse, E., Koch, S., Rensink, A., Riccobene, E., Ratiu, D. & Sirjani, M., 2021, Composing Model-Based Analysis Tools. Heinrich, R., Durán, F., Talcott, C. & Zschaler, S. (eds.). Cham: Springer, p. 71-95 25 p.

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

    Open Access
    54 Downloads (Pure)
  • Multi-paradigm modelling for cyber–physical systems: a descriptive framework

    Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., 9 Jun 2021, In: Software and systems modeling. 20, 3, p. 611-639 29 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    16 Citations (Scopus)
    53 Downloads (Pure)