Rensink, Arend
Rensink, Arend, 1964-
Arend Rensink Dutch computer scientist
VIAF ID: 15438193 ( Personal )
Permalink: http://viaf.org/viaf/15438193
Preferred Forms
- 100 0 _ ‡a Arend Rensink ‡c Dutch computer scientist
- 100 1 _ ‡a Rensink, Arend
-
-
-
- 100 1 _ ‡a Rensink, Arend
-
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Abstraction and Refinement in Configuration Structures | |
Action contraction using coupled simulation | |
Action refinement in testing with UIOCO | |
Bisimilarity of open terms | |
Causal traces | |
Engineering object-oriented semantics using graph transformations | |
Fair testing | |
FASE 2014 | |
Graven in software | |
International Conference on Formal Methods for Open Object-Based Distributed Systems (5th : 2002 : Enschede, Netherlands). Formal methods for open object-based distributed systems V, 2002: | |
MDAFA 2004 | |
Model checking dynamic allocation and deallocation | |
Model driven architecture : foundations and applications : second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006 : proceedings | |
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday | |
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise | |
Models and methods for action refinement | |
MSX-handboek voor gevorderden | |
Het mysterie van Arendarvon Castle | |
On the semantics of non-atomic actions | |
Process algebra with action dependencies | |
Process creation and full sequential composition in a name-passing calculus | |
Spezifikation eines RPC-Speichers mit der Sprache ProFun | |
Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings | |
Vertical bisimulation | |
Who is pointing when to whom : on model-checking pointer structures | |
YOO | |
YOO (Why object-orientation) |