Arend Rensink

prof.dr.ir.

  • 1992
    Citations
1988 …2024

Research activity per year

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.

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 9 - Industry, Innovation, and Infrastructure
  • SDG 11 - Sustainable Cities and Communities

External positions

Akademischer Rat, University of Hildesheim

1 Sept 199330 Sept 1993

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.
  • 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
  • An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing

    Zameni, T., Bos, P. V. D., Rensink, A. & Tretmans, J., 15 Aug 2024, 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C). IEEE, p. 199-206 8 p. 10621723

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

  • 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
    File
    5 Citations (Scopus)
    82 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

    Open Access
    File
    1 Citation (Scopus)
    124 Downloads (Pure)
  • 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
    File
    43 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
    File
    92 Downloads (Pure)