Arend Rensink

Registered user since Wed 29 Nov 2017

Name: Arend Rensink

Country: Netherlands

Affiliation: University of Twente, The Netherlands

Personal website: http://www.cs.utwente.nl/~rensink

Research interests: Software Correcness, Graph Transformation, Model Transformation, Maintainability, Domain-Specific Languages, Verification

Contributions

FOSSACS 2019Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track
Bx 2018Committee Member in Programme Committee within the Bx 2018-track
MOMO 2017Author of An MDE Approach for Modular Program Analyses within the MOMO 2017-track