Concepedia

Arend Rensink

AR

Statistics

Publications

40

Citations

1.2K

H-Index

20

Active since

1996

Affiliations

University of Twente(Current)

Scientific Methods (United States)

Hasso Plattner Institute

University of York

Université de Montréal

Arend Rensink is an author at University of Twente specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringSoftware EngineeringSoftware DesignAutomated ReasoningFormal VerificationProgram AnalysisSoftware Analysis

Publications per year

1996–2024

40

Publications

40

Modelling and analysis using GROOVE

Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink et al. · International Journal on Software Tools for Technology Transfer · 2011 · 149 citations

Geometric Modeling, Engineering, Numerical Simulation +5

Arend Rensink, Walter Vogler · Information and Computation · 2006 · 123 citations · Full text

Action Refinement

Roberto Gorrieri, Arend Rensink · 1999 · 75 citations

Process Algebras, Process Calculus, Engineering +11

Abstract Graph Transformation

Arend Rensink, Dino Distefano · Electronic Notes in Theoretical Computer Science · 2006 · 72 citations · Full text

Engineering, Verification, Network Analysis +23

Towards model checking graph grammars

Arend Rensink · 2003 · 64 citations

1–5 of 40