Arend Rensink -

Registered user since Wed 29 Nov 2017

Name:Arend Rensink

Country:Netherlands

Affiliation:University of Twente, The Netherlands

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

Contributions

ICGT 2023	Session Chair of ICGT Session 2: Specification and Verification (part of Research Papers) Committee Member in Journal-First Committee within the Journal-First-track Steering Committee Member in Steering Committee Committee Member in Program Committee within the Research Papers-track
A-MOST 2023	Author of From BDD Scenarios to Test Case Generation within the A-MOST 2023-track
MODELS 2021	Author of Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive Framework within the Technical Papers-track Committee Member in Programme Committee within the Educators Symposium-track
MODELS 2020	Committee Member in Program Committee within the Educators Symposium-track
FOSSACS 2019	Author of Rewriting Abstract Structures: Materialization Explained Categorically within the FOSSACS 2019-track
Bx 2018	Committee Member in Programme Committee within the Bx 2018-track
MOMO 2017	Author of An MDE Approach for Modular Program Analyses within the MOMO 2017-track