Welkom...

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

Hoogleraar

Expertises

Semantics
Model Checking
Specifications
Algebra
Graph In Graph Theory
Chemical Analysis
Testing
Refinement

Publicaties

Recente Artikelen
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
Ruijters, E. J. J., Schivo, S., Stoelinga, M. I. A., & Rensink, A. (2017). Uniform analysis of fault trees through model transformations. Paper presented at 63rd Annual Reliabliity and Maintainability Symposium, RAMS 2017, .DOI: 10.1109/RAM.2017.7889759
Berger, C. (Ed.), Ahmad, W., Yildiz, B. M., Reza Mousavi, M. (Ed.), Rensink, A., Wisniewski, R. (Ed.), & Stoelinga, M. I. A. (2017). A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. 1-16. Paper presented at 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016. Revised Selected Papers., .DOI: 10.1007/978-3-319-51738-4_1
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
Kwantes, P. M., van Gorp, P., Kleijn, J., & Rensink, A. (2015). Towards Compliance Verification Between Global and Local Process Models. In F. Parisi-Presicce, & B. Westfechtel (Eds.), Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015 (pp. 221-236). (Lecture Notes in Computer Science; Vol. 9151). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-21145-9_14

Pure Link

Contactgegevens

Bezoekadres

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

Navigeer naar locatie

Postadres

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