Arend Rensink
Scholar

Arend Rensink

Google Scholar ID: fdos0QMAAAAJ
Professor in Computer Science, University of Twente
Software VerificationModel TransformationModel CheckingGraph TransformationModel-Based Testing
Google Scholar↗
Citations & Impact
All-time
Citations
1,004
 
H-index
17
 
i10-index
25
 
Publications
20
 
Co-authors
32
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
32 total
Co-author 1
Co-author 1
Barbara König
Barbara König
Universität Duisburg-Essen, Theoretische Informatik
Co-author 3
Co-author 3
Heike Wehrheim
Heike Wehrheim
University of Oldenburg
Co-author 5
Co-author 5
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Co-author 7
Co-author 7
Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente