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

Hoogleraar
EEMCS-CS-FMT
Zilverling 3090
arend.rensink@utwente.nl
+31534894862
Visitekaartje

Publicaties

2023
From BDD Scenarios to Test Case GenerationIn Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 (pp. 36-44). IEEE. Zameni, T., van den Bos, P., Tretmans, J., Foederer, J. & Rensink, A.https://doi.org/10.1109/ICSTW58534.2023.00019A Case in Point: Verification and Testing of a EULYNX Interface, Article 2, 1–38. Bouwman, M., Wal, D. v. d., Luttik, B., Stoelinga, M. & Rensink, A.https://doi.org/10.1145/3528207
2022
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.
2021
Synthesising middleware components for reusable software. University of Twente. van der Vlist, K. B.Zero-downtime schema changes. University of Twente. Dijkstra, J.-J.Multi-paradigm modelling for cyber–physical systems: a descriptive framework, 611-639. Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A.https://doi.org/10.1007/s10270-021-00876-zOn the Efficacy of Online Proctoring using ProctorioIn Proceedings of the 13th International Conference on Computer Supported Education (CSEDU 2021) (pp. 279-290). SCITEPRESS. Bergmans, L., Bouali, N., Luttikhuis, M. & Rensink, A.https://doi.org/10.5220/0010399602790290Integration and Orchestration of Analysis ToolsIn Composing Model-Based Analysis Tools (pp. 71-95). Springer. Heinrich, R., Bousse, E., Koch, S., Rensink, A., Riccobene, E., Ratiu, D. & Sirjani, M.https://doi.org/10.1007/978-3-030-81915-6_5
2020
What is the point: Formal analysis and test generation for a railway standardIn Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference (pp. 921-928). Research Publishing Services. Bouwman, M., van der Wal, D., Luttik, B., Stoelinga, M. & Rensink, A.https://doi.org/10.3850/978-981-14-8593-0_4410-cdSpecial section on ICMT at STAF 2018, 399-400. Cuadrado, J. S. & Rensink, A.https://doi.org/10.1007/s10270-020-00775-9
2019
Contents for a Model-Based Software Engineering Body of Knowledge, 3193-3205. 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.https://doi.org/10.1007/s10270-019-00746-9Preface to the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (pp. xviii-xxiv). 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.https://doi.org/10.1109/MODELS-C.2019.00005Towards a formal specification of multi-paradigm modellingIn Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019, Article 8904740 (pp. 419-424). IEEE. Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A.https://doi.org/10.1109/MODELS-C.2019.00067

Onderzoeksprofielen

Verbonden aan opleidingen

Vakken collegejaar 2023/2024

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.

Vakken collegejaar 2022/2023

Lopende projecten

FormaSig

Aselsan - University of Twente cooperation

Maintainability of Critical Banking Software

EACSC

Voltooide projecten

GROOVE

CHARTER

TREsPASS

ATOMYSTE

AOSD

GRASLAND

Scan de QR-code of
Download vCard