Zilverling

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

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

Publicaties

Jump to: 2024 | 2023 | 2022 | 2021 | 2020

2024

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing (2024)In 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) (pp. 199-206). Article 10621723. IEEE. Zameni, T., Bos, P. v. d., Rensink, A. & Tretmans, J.https://doi.org/10.1109/SANER-C62648.2024.00033Team Effectiveness Data: A Bibliometric Analysis 1992-2022 (2024)[Dataset Types › Dataset]. Zenodo. Barrios Fleitas, Y. d. C., Hoogeboom, M. A. M. G., Eysink, T. & Rensink, A.https://doi.org/10.5281/zenodo.12082528

2023

From BDD Scenarios to Test Case Generation (2023)In 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 (2023)Formal aspects of computing, 35(1), 1–38. Article 2. Bouwman, M., Wal, D. v. d., Luttik, B., Stoelinga, M. & Rensink, A.https://doi.org/10.1145/3528207

2022

Preface (2022)CEUR workshop proceedings, 3089. 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 (2021)[Thesis › EngD Thesis]. University of Twente. van der Vlist, K. B.Zero-downtime schema changes (2021)[Thesis › EngD Thesis]. University of Twente. Dijkstra, J.-J.Multi-paradigm modelling for cyber–physical systems: a descriptive framework (2021)Software and systems modeling, 20(3), 611-639. Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A.https://doi.org/10.1007/s10270-021-00876-zIntegration and Orchestration of Analysis Tools (2021)In 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_5On the Efficacy of Online Proctoring using Proctorio (2021)In 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/0010399602790290

2020

What is the point: Formal analysis and test generation for a railway standard (2020)In 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 (2020)Software and systems modeling, 19(2), 399-400. Cuadrado, J. S. & Rensink, A.https://doi.org/10.1007/s10270-020-00775-9

Onderzoeksprofielen

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