Welcome...

prof.dr.ir. A. Rensink (Arend)

Full Professor

About Me

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.

Publications

Recent
Zameni, T., van den Bos, P., Tretmans, J., Foederer, J. , & Rensink, A. (2023). From BDD Scenarios to Test Case Generation. In Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 (pp. 36-44). IEEE. https://doi.org/10.1109/ICSTW58534.2023.00019
Bouwman, M., Wal, D. V. D., Luttik, B. , Stoelinga, M. , & Rensink, A. (2023). A Case in Point: Verification and Testing of a EULYNX Interface. Formal aspects of computing, 35(1), 1–38. Article 2. https://doi.org/10.1145/3528207
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). Preface. CEUR workshop proceedings, 3089.
Heinrich, R., Bousse, E., Koch, S. , Rensink, A., Riccobene, E., Ratiu, D., & Sirjani, M. (2021). Integration and Orchestration of Analysis Tools. In R. Heinrich, F. Durán, C. Talcott, & S. Zschaler (Eds.), Composing Model-Based Analysis Tools (pp. 71-95). Springer. https://doi.org/10.1007/978-3-030-81915-6_5
Dijkstra, J.-J. (2021). Zero-downtime schema changes. [EngD Thesis, University of Twente]. University of Twente.
Bergmans, L. , Bouali, N., Luttikhuis, M. , & Rensink, A. (2021). On the Efficacy of Online Proctoring using Proctorio. In B. Csapó, & J. Uhomoibhi (Eds.), Proceedings of the 13th International Conference on Computer Supported Education (CSEDU 2021) (Vol. 1, pp. 279-290). SCITEPRESS. https://doi.org/10.5220/0010399602790290
van der Vlist, K. B. (2021). Synthesising middleware components for reusable software. [EngD Thesis, University of Twente]. University of Twente.
Amrani, M., Blouin, D., Heinrich, R. , Rensink, A., Vangheluwe, H., & Wortmann, A. (2021). Multi-paradigm modelling for cyber–physical systems: a descriptive framework. Software and systems modeling, 20(3), 611-639. https://doi.org/10.1007/s10270-021-00876-z
Bouwman, M., van der Wal, D., Luttik, B. , Stoelinga, M. , & Rensink, A. (2020). What is the point: Formal analysis and test generation for a railway standard. In P. Baraldi, F. Di Maio, & E. Zio (Eds.), Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference (pp. 921-928). Research Publishing Services. https://doi.org/10.3850/978-981-14-8593-0_4410-cd
Cuadrado, J. S. , & Rensink, A. (2020). Special section on ICMT at STAF 2018. Software and systems modeling, 19(2), 399-400. https://doi.org/10.1007/s10270-020-00775-9
Burgue, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E. , Rensink, A., Polack, F., Engels, G., & Kappel, G. (2019). Preface to the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). In L. Burgueño, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Engels, & G. Kappel (Eds.), 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (pp. xviii-xxiv) https://doi.org/10.1109/MODELS-C.2019.00005
Amrani, M., Blouin, D., Heinrich, R. , Rensink, A., Vangheluwe, H., & Wortmann, A. (2019). Towards a formal specification of multi-paradigm modelling. In L. Burgueño, A. Pretschner, S. Voss, M. Chaudron, J. Kienzle, M. Völter, S. Gérard, M. Zahedi, E. Bousse, A. Rensink, F. Polack, G. Engels, & G. Kappel (Eds.), Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019 (pp. 419-424). Article 8904740 IEEE. https://doi.org/10.1109/MODELS-C.2019.00067
Corradini, A., Heindel, T., König, B., Nolte, D. , & Rensink, A. (2019). Rewriting Abstract Structures: Materialization Explained Categorically. In A. Simpson, & M. Bojanczyk (Eds.), Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 169-188). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11425 LNCS). Springer. https://doi.org/10.1007/978-3-030-17127-8_10
Burgueño, L., Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R. F., Pierantonio, A. , Rensink, A., Salay, R., Taentzer, G., Vallecillo, A., & Wimmer, M. (2019). Contents for a Model-Based Software Engineering Body of Knowledge. Software and systems modeling, 18(6), 3193-3205. https://doi.org/10.1007/s10270-019-00746-9

UT Research Information System

Google Scholar Link

Education

Since 2021 I am vice-dean for education of the faculty EEMCS. In this capacity I am one of the members of the faculty board, being the primary contact person for all education-related metters that concern the entire faculty, rather than any particular study programme.

Before this, I served in a number of other roles in our educational organisation, besides actually developing and teaching numerous courses in the Computer Science Bachelor and Master programmes:

  • Examination Board member for Computer Science
  • Examination Board chair for the facult
  • Programme Director of the Bachelor of Technical Computer Science and the Master of Computer Science

 


Affiliated Study Programmes

Bachelor

Master

Courses Academic Year  2023/2024

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
 

Courses Academic Year  2022/2023

Projects

The principle of Model-Driven Engineering is widely applicable and, indeed, widely applied. In consequence, collaborations and projects can be established in many places. This diversity is clearly reflected in the list below: there are industrial collaborations and large European projects as well as more fundamental research projects.

 

Current Projects

Finished Projects

Media

As scientists, it is part of our job to explain, not once but again and again, what the role of research is and why it is one of the cornerstones of our society. No matter how easy it is to shed doubt on truths uncovered by truly objective research, and no matter how hard to explain the outcomes and their consequences, it is the only way in which we can make progress and dispel ignorance.

In another role, as managers of such a large and complex organisation as a university, we have to make sure to communicate using all available channels, to look for feedback and to explain why decisions are made, especially if they are painful. Transparency is the only way through which the open atmosphere can exist that we need to do our primary jobs: teaching and research, research and teaching.

In the press

News on utwente.nl

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3090
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3090
P.O. Box 217
7500 AE Enschede
The Netherlands