Arend Rensink

Identifiers

• name variant Arend Rensink 0.60 · backfill

Papers (5)

1. Visualising CTL Witnesses and Counterexamples -- Extended Version cs.LO · 2026 · author #1
2. Rewriting Abstract Structures: Materialization Explained Categorically cs.LO · 2019 · author #5
3. A Model-Derivation Framework for Software Analysis cs.SE · 2017 · author #2
4. Proceedings Graphs as Models cs.SE · 2015 · author #1
5. Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case cs.SE · 2011 · author #3

Mentions

• 1504.02448 #1 · backfill · confidence 0.70 Arend Rensink
• 1111.4754 #3 · backfill · confidence 0.70 Arend Rensink

Frequent Coauthors

• Eduardo Zambon 2 shared papers
• Amir Hossein Ghamarian 1 shared papers
• Andrea Corradini 1 shared papers
• Barbara K\"onig 1 shared papers
• Bugra M. Yildiz 1 shared papers
• Christoph Bockisch 1 shared papers
• Dennis Nolte 1 shared papers
• Maarten de Mol 1 shared papers
• Mehmet Aksit 1 shared papers
• Tobias Heindel 1 shared papers