Welkom...

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

Hoogleraar

Publicaties

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

Pure Link

Google Scholar Link

Current Projects

Finished Projects

  • GROOVE

  • ATOMYSTE

  • AOSD

  • GRASLAND

  • CHARTER

  • TREsPASS

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3090
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3090
Postbus 217
7500 AE Enschede