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.

Expertise

Semantics
Model Checking
Specifications
Algebra
Testing
Graph In Graph Theory
Software Engineering
Chemical Analysis

Publications

Recent
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ñ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
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
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). [8904740] IEEE. https://doi.org/10.1109/MODELS-C.2019.00067
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
Kastenberg, H. , & Rensink, A. (2018). Graph Attribution Through Sub-Graphs. In R. Hecke, & G. Taentzer (Eds.), Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig (pp. 245-265). (Lecture Notes in Computer Science; Vol. 10800), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-319-75396-6_14
Kumar, R. , Schivo, S. , Ruijters, E. J. J. , Yildiz, B. M. , Huistra, D. J., Brandt, J. , Rensink, A. , & Stoelinga, M. I. A. (2018). Effective Analysis of Attack Trees: A Model-Driven Approach. In A. Russo, & A. Schürr (Eds.), Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018) (pp. 56-73). (Lecture Notes in Computer Science; Vol. 10802). Springer. https://doi.org/10.1007/978-3-319-89363-1_4
Orhan, G. , Aksit, M. , & Rensink, A. (2018). Designing Reusable and Run-Time Evolvable Scheduling Software. In E. K. Burke, L. Di Gaspero, B. McCollum, N. Musliu, & E. Özcan (Eds.), PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling (pp. 339-373). TU Wien. https://www.persistent-identifier.nl/urn:nbn:nl:ui:28-57a7f02c-0016-44d2-afe1-9be0cc807e66
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. (2018). Towards a body of knowledge for model-based software engineering. In Ö. Babur, D. Strüber, & S. Abrahão (Eds.), MODELS'18. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (pp. 82-89). ACM Press. https://doi.org/10.1145/3270112.3270121
König, B., Nolte, D., Padberg, J. , & Rensink, A. (2018). A tutorial on graph transformation. In R. Heckel, & G. Taentzer (Eds.), Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig (pp. 83-104). (Lecture Notes in Computer Science; Vol. 10800), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-319-75396-6_5
Ciccozzi, F., Famelis, M., Kappel, G., Mosser, S., Paige, R. F., Pierantonio, A. , Rensink, A., Salay, R., Taentzer, G., Valecillo, A., & Wimmer, M. (2018). How do we teach modelling and model-driven engineering? A survey. In Ö. Babur, D. Strüber, & S. Abrahão (Eds.), MODELS'18. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (pp. 122-129). ACM Press. https://doi.org/10.1145/3270112.3270129
Kastenberg, H. , & Rensink, A. (2018). Graph Attribution Through Sub-Graphs. In R. Heckel, & G. Taentzer (Eds.), Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig (Vol. 10800, pp. 245-265). (Lecture Notes in Computer Science; Vol. 10800). Springer. https://doi.org/10.1007/978-3-319-75396-6_14
Zambon, E. , & Rensink, A. (2018). Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE. In P. Müller, & I. Schaefer (Eds.), Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday (pp. 305-323). Springer. https://doi.org/10.1007/978-3-319-98047-8_19
Kumar, R. , Rensink, A. , & Stoelinga, M. I. A. (2018). LOCKS: a property specification language for security goals. In H. M. Haddad, R. L. Wainwright, & R. Chbeir (Eds.), SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing (pp. 1907-1915). Association for Computing Machinery (ACM). https://doi.org/10.1145/3167132.3167336
Orhan, G. , Aksit, M. , & Rensink, A. (2017). A Formal Product-Line Engineering Approach for Schedulers. In L. Jololian, D. E. Robbins, & S. L. Fernandes (Eds.), SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions (pp. 15-30). (Integrated design and process technology; Vol. 22). https://www.sdpsnet.org/sdps/documents/sdps-2017/proceedings-sdps-2017-v2.pdf
Yildiz, B. M. , Rensink, A. , Bockisch, C. , & Aksit, M. (2017). A Model-Derivation Framework for Software Analysis. In H. Hermanns, & P. Höffner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017 (pp. 217-229). (EPTCS - Electronic Publications in Theoretical Computer Science; Vol. 244). arXiv.org. https://doi.org/10.4204/EPTCS.244.9
Yildiz, B. M. , Bockisch, C. , Rensink, A. , & Aksit, M. (2017). A Java Bytecode Metamodel for Composable Program Analyses. In M. Seidl, & S. Zschaler (Eds.), Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (pp. 30-40). (Lecture Notes in Computer Science; Vol. 10748). Springer. https://doi.org/10.1007/978-3-319-74730-9_4
Rensink, A. (2017). How much are your geraniums? Taking graph conditions beyond first Order. In J-P. Katoen, R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Vol. 10500 LNCS, pp. 191-213). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10500 LNCS). Springer. https://doi.org/10.1007/978-3-319-68270-9_10
Yildiz, B. M. , Bockisch, C. , Aksit, M. , & Rensink, A. (2017). An MDE Approach for Modular Program Analyses. In Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming [15] Association for Computing Machinery (ACM). https://doi.org/10.1145/3079368.3079392
Schivo, S. , Yildiz, B. M. , Ruijters, E. J. J., Gerking, C. , Kumar, R., Dziwok, S. , Rensink, A. , & Stoelinga, M. I. A. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. Larsen, O. Sokolsky, & J. Wang (Eds.), Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (pp. 319-336). (Lecture Notes in Computer Science; Vol. 10606), (Lecture Notes in Programming and Software Engineering). Springer. https://doi.org/10.1007/978-3-319-69483-2_19

UT Research Information System

Google Scholar Link

Education

After having helped develop and teach numerous courses in the Computer Science Bachelor and Master programmes, and having served for many years as Examination Board member and chair, since September 2019 I am Programme Director of those study programmes.

In this capacity I foremost guard the content and quality of the programme. Though this has always been and still is quite safe in the hands of our dedicated lecturers, with the increasing volume of the programme there is growing need of a firm safeguarding system.

It is my firm conviction that a large factor in the continued quality of the programme is the feeling of community, both among the students and among the teachers. We try to stimulate this through various means:

  • For the students, by defining conglomerates (houses) in size between the total number of the yearly student intake, which has grown too large to feel at home in, and the much smaller group of personal friends.
  • For the teachers, by explicitly welcoming all new staff members through the employee news, by sending a biweekly news mailing regarding all teaching matters, by organising an annual Educational Day, and by supporting the faculty-wide UTeachers Community.


Affiliated Study Programmes

Bachelor

Master

Courses

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