Scholar
Arend Rensink
Google Scholar ID: fdos0QMAAAAJ
Professor in Computer Science, University of Twente
Software Verification
Model Transformation
Model Checking
Graph Transformation
Model-Based Testing
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,004
H-index
17
i10-index
25
Publications
20
Co-authors
32
list available
Publications
4 items
Structural Morphisms for Nested Conditions - Full Version
2026
Cited
0
Visualising CTL Witnesses and Counterexamples -- Extended Version
2026
Cited
0
Disjunction Composition of BDD Transition Systems for Model-Based Testing
2026
Cited
0
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
2025
Cited
0
Co-authors
9 total
Barbara König
Universität Duisburg-Essen, Theoretische Informatik
Heike Wehrheim
University of Oldenburg
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Gabriele Taentzer
Philipps-Universität Marburg
Iovka Boneva
Associate professor in Computer Science, University of Lille
Reiko Heckel
Professor of Software Engineering, Dept. of Computer Science, University of Leicester
Manuel Wimmer
Johannes Kepler University Linz
