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



Model Checking
Graph In Graph Theory
Chemical Analysis


Recente Artikelen
Orhan, G., Aksit, M., & Rensink, A. (2017). A Formal Product-Line Engineering Approach for Schedulers. In L. Jololian, D. E. Robbins, & S. L. Fernandes (Eds.), SDPS 2017 (pp. 15-30)
Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., ... Stoelinga, M. I. A. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. Larsen, O. Sokolsky, & J. Wang (Eds.), Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (pp. 319-336). (Lecture Notes in Computer Science; Vol. 10606). Springer. DOI: 10.1007/978-3-319-69483-2_19
Rensink, A. (2016). Model Patterns - The Quest for the Right Level of Abstraction. In B. Steffen (Ed.), Transactions on Foundations for Mastering Change I (pp. 47-70). (Lecture Notes in Computer Science; Vol. 9960, No. 9960). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-46508-1_4
Rensink, A. (2016). Verification Techniques for Graph Rewriting (Tutorial). In P. A. Abdulla, F. Gadducci, B. K├Ânig, & V. Vafeiadis (Eds.), Verification of Evolving Graph Structures (pp. 18-18). (Dagstuhl Reports; Vol. 5, No. 11). Dagstuhl, Germany: Dagstuhl Publishing. DOI: 10.4230/DagRep.5.11.1
Ahmad, W., Yildiz, B. M., Rensink, A., & Stoelinga, M. I. A. (2016). A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). (CTIT Technical Report Series; No. TR-CTIT-16-09). Enschede: Centre for Telematics and Information Technology (CTIT).
Rensink, A., & Zambon, E. (2015). Graphs as Models - Preface. In A. Rensink, & E. Zambon (Eds.), Proceedings Graphs as Models (pp. -). (Electronic Proceedings in Theoretical Computer Science; Vol. 181). Australia: Open Publishing Association. DOI: 10.4204/EPTCS.181

Pure Link



Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3090
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie


Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3090
Postbus 217
7500 AE Enschede