- Defining Object-Oriented Execution Semantics Using Graph Transformations
- To appear in: Mathematical Foundations of Computer Science, Dependencybased action refinement
- CTIT Technical Report TRCTIT0334, University of Twente, 2003 Component Based Testing with ioco
- On a Temporal Logic for Object-Based Systems Dino Distefano, Joost-Pieter Katoen and Arend Rensink
- Process Algebra with Action Dependencies Arend Rensink
- Visualisatie van het Objectgeorinteerde Paradigma. Arend Rensink
- (this page intentionally left blank) (Why Object-Orientation)
- Graph Transformation Semantics for a QVT Arend Rensink1
- Graph Transformation for Verification and Concurrency
- Abstract Graph Transformation Arend Rensink
- Canonical Graph Shapes Arend Rensink
- The GROOVE Simulator: A Tool for State Space Generation
- Representing First-Order Logic Using Graphs Arend Rensink
- Towerds Model Checking Graph Grammars Arend Rensink
- CTIT Technical Report TRCTIT0327, University of Twente Model Driven Architecture
- Model Checking Dynamic States in GROOVE Harmen Kastenberg and Arend Rensink
- State Space Abstraction using Shape Graphs Arend Rensink
- The Joys of Graph Transformation Arend Rensink
- Who is pointing when to whom: on model-checking pointer structures
- Fair Testing Arend Rensink
- Abstract Graph Transformation Arend Rensink
- Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
- GraBaTs'04 Preliminary Version Time and Space Issues in the Generation of
- Towards model checking OCL Dino Distefano, JoostPieter Katoen and Arend Rensink
- Model Checking Graph Transformations: A Comparison of Two Approaches
- CTIT Technical Report TRCTIT0335, University of Twente, 2003 A Logic of Local Graph Shapes
- Model Checking Dynamic Allocation and Deallocation Dino Distefano, Arend Rensink, Joost-Pieter Katoen
- Action Refinement in Testing with uioco Machiel van der Bijl
- ON A TEMPORAL LOGIC FOR OBJECTBASED Dino Distefano, JoostPieter Katoen, and Arend Rensink
