Arend Rensink

Arend Rensink publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Arend Rensink sits on this spectrum.

Arend Rensink D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Arend Rensink sits on this spectrum.

Research.com Recognitions

• 2009 - ACM Senior Member

Best Publications

• Model-Driven Architecture - Foundations and Applications

  Arend Rensink

  566
  Citations

• The GROOVE simulator: A tool for state space generation

  Unknown

  469
  Citations

• Modelling and analysis using GROOVE

  Unknown

  220
  Citations

• Representing First-Order Logic Using Graphs

  Unknown

  195
  Citations

• Compositional Testing with ioco

  Unknown

  168
  Citations

• Model Checking Graph Transformations: A Comparison of Two Approaches

  Arend Rensink;Ákos Schmidt;Dániel Varró

  167
  Citations

• Fair testing

  Unknown

  166
  Citations

• Model checking dynamic states in GROOVE

  Unknown

  165
  Citations

• Compositional testing with IOCO

  Unknown

  157
  Citations

• Fair Testing

  Unknown

  131
  Citations

• Abstract Graph Transformation

  Unknown

  104
  Citations

• Action Refinement

  Unknown

  104
  Citations

• Ensuring structural constraints in graph-based models with type inheritance

  Gabriele Taentzer;Arend Rensink

  101
  Citations

• Towards model checking graph grammars

  Unknown

  97
  Citations

• Canonical Graph Shapes

  Unknown

  97
  Citations

• Model Checking Graph Grammars

  Unknown

  94
  Citations

• On a temporal logic for object-based systems

  Dino Distefano;Joost-Pieter Katoen;Arend Rensink

  89
  Citations

• A survey and comparison of transformation tools based on the transformation tool contest

  Unknown

  73
  Citations

• Bisimilarity of Open Terms

  Unknown

  73
  Citations

• On a Temporal Logic for Object-Based Systems

  Dino Distefano;Joost-Pieter Katoen;Arend Rensink;Scott F. Smith

  72
  Citations