World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
32
Citations
5430
World Ranking
13028
National Ranking
250

Research.com Recognitions

  • 2009 - ACM Senior Member

Best Publications

  • Model-Driven Architecture - Foundations and Applications

    Arend Rensink

  • The GROOVE simulator: A tool for state space generation

    Unknown

  • Modelling and analysis using GROOVE

    Unknown

  • Representing First-Order Logic Using Graphs

    Unknown

  • Compositional Testing with ioco

    Unknown

  • Model Checking Graph Transformations: A Comparison of Two Approaches

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

  • Fair testing

    Unknown

  • Model checking dynamic states in GROOVE

    Unknown

  • Compositional testing with IOCO

    Unknown

  • Fair Testing

    Unknown

  • Abstract Graph Transformation

    Unknown

  • Action Refinement

    Unknown

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

    Gabriele Taentzer;Arend Rensink

  • Towards model checking graph grammars

    Unknown

  • Canonical Graph Shapes

    Unknown

  • Model Checking Graph Grammars

    Unknown

  • On a temporal logic for object-based systems

    Dino Distefano;Joost-Pieter Katoen;Arend Rensink

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

    Unknown

  • Bisimilarity of Open Terms

    Unknown

  • On a Temporal Logic for Object-Based Systems

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

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: