Verbonden aan
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
Verbonden aan Opleidingen
Bachelor
Master
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
Current Projects
Finished Projects
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3090
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3090
Postbus 217
7500 AE Enschede