Welkom...

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

Hoogleraar

Expertises

Mathematics
Graph In Graph Theory
Graph Transformation
Engineering & Materials Science
Formal Methods
Gluing
Model Checking
Nutrition
Semantics
Software Engineering

Publicaties

Recent
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. 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 Digital Library. https://doi.org/10.5220/0010399602790290
van der Vlist, K. B. (2021). Synthesising middleware components for reusable software. 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). [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
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
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. 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
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
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., 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
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
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
Kumar, R. , Schivo, S. , Ruijters, E. , Yildiz, B. M. , Huistra, D., Brandt, J. , Rensink, A. , & Stoelinga, M. (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
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

Pure Link

Google Scholar Link

Verbonden aan Opleidingen

Bachelor

Master

Vakken Collegejaar  2022/2023

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  2021/2022

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