Arend Rensink

Activities

Activities per year 1991 2004 2019

• 21 Oral presentation
• 12 Organising a conference, workshop, ...
• 4 Invited talk

Activities per year

Search results

• What is Software Change?

  Rensink, A. (Speaker)

  12 Apr 2019

  Activity: Talk or presentation › Invited talk

• Educators Symposium 2019

  Polack, F. (Chair) & Rensink, A. (Chair)

  17 Sept 2019

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 11th International Conference on Model Transformation, ICMT 2018

  Rensink, A. (Chair) & Sánchez Cuadrado, J. (Chair)

  25 Jul 2018

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Defining Software Change

  Rensink, A. (Speaker)

  Jan 2018

  Activity: Talk or presentation › Invited talk

• Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017

  Katoen, J. P. (Organiser), Langerak, R. (Organiser) & Rensink, A. (Organiser)

  17 Oct 2017

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Graphs as Models 2015

  Rensink, A. (Chair) & Zambon, E. (Chair)

  11 May 2015

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014

  Gnesi, S. (Chair) & Rensink, A. (Chair)

  2014

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• ICT with Industry 2019

  Rensink, A. (Organiser)

  2014 → 2019

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 5th International Conference on Graph Transformationcs, ICGT 2010

  Rensink, A. (Organiser) & Schürr, A. (Chair)

  9 Oct 2010

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 5th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009

  Paige, R. F. (Organiser), Hartman, A. (Organiser) & Rensink, A. (Organiser)

  2009

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• 2nd European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2006

  Rensink, A. (Chair) & Warmer, J. (Chair)

  2006

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Towards Model Checking Graph Grammars

  Rensink, A. (Speaker)

  1 May 2004

  Activity: Talk or presentation › Oral presentation

• Representing First Order Logic Using Graphs

  Rensink, A. (Speaker)

  1 Apr 2004

  Activity: Talk or presentation › Oral presentation

• Time and Space Issues in the Generation of Graph Transition Systems

  Rensink, A. (Speaker)

  1 Oct 2004

  Activity: Talk or presentation › Oral presentation

• Graph Based State Spaces

  Rensink, A. (Speaker)

  1 Jun 2004

  Activity: Talk or presentation › Oral presentation

• Graph Based State Spaces

  Rensink, A. (Speaker)

  1 Apr 2004

  Activity: Talk or presentation › Oral presentation

• Graph Based State Spaces

  Rensink, A. (Speaker)

  1 May 2004

  Activity: Talk or presentation › Oral presentation

• Graph Based State Spaces

  Rensink, A. (Speaker)

  1 Dec 2004

  Activity: Talk or presentation › Oral presentation

• Abstract Graph Transformations

  Rensink, A. (Speaker)

  1 Jul 2004

  Activity: Talk or presentation › Oral presentation

• European Workshop on Model-Driven Architecture - Foundations and Applications, MDAFA 2004

  Assmann, U. (Chair), Akşit, M. (Chair) & Rensink, A. (Chair)

  2004

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Subjects, Models, Languages --- An Attempt to Understand (Meta) Modelling

  Rensink, A. (Speaker)

  1 Mar 2004

  Activity: Talk or presentation › Oral presentation

• Graph Based State Spaces

  Rensink, A. (Speaker)

  1 Jul 2004

  Activity: Talk or presentation › Oral presentation

• Verification Using Abstract Graph Transformations

  Rensink, A. (Speaker)

  1 Dec 2004

  Activity: Talk or presentation › Oral presentation

• Graph Based State Spaces

  Rensink, A. (Speaker)

  1 Apr 2004

  Activity: Talk or presentation › Oral presentation

• Canonical Graph Shapes

  Rensink, A. (Speaker)

  1 Mar 2004

  Activity: Talk or presentation › Oral presentation

• Model Checking Graph Grammars

  Rensink, A. (Speaker)

  3 Apr 2003

  Activity: Talk or presentation › Oral presentation

• The GROOVE Simulator: A Tool for State Space Generation

  Rensink, A. (Speaker)

  1 Oct 2003

  Activity: Talk or presentation › Oral presentation

• 1st Workshop on Model Driven Architecture: Foundations and Application 2003

  Assmann, U. (Chair), Akşit, M. (Chair) & Rensink, A. (Chair)

  2003

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• AGTIVE 2003: From the Outside In

  Rensink, A. (Speaker)

  1 Oct 2003

  Activity: Talk or presentation › Oral presentation

• 5th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002

  Jacobs, B. (Chair) & Rensink, A. (Organiser)

  2002

  Activity: Participating in or organising an event › Organising a conference, workshop, ...

• Model Checking Birth and Death

  Rensink, A. (Speaker)

  12 Mar 2002

  Activity: Talk or presentation › Oral presentation

• On Logics for Object-Based Systems

  Rensink, A. (Speaker)

  24 Apr 2001

  Activity: Talk or presentation › Oral presentation

• Programmeeronderwijs in Java: Ervaringen in Twente

  Rensink, A. (Invited speaker)

  13 Nov 2000

  Activity: Talk or presentation › Invited talk

• On a Temporal Logic for Object-Based Systems

  Rensink, A. (Invited speaker)

  19 Jul 2000

  Activity: Talk or presentation › Oral presentation

• Families of posets and event domains

  Rensink, A. (Speaker)

  24 Oct 1991

  Activity: Talk or presentation › Oral presentation

• Families of posets and event domains

  Rensink, A. (Speaker)

  24 Sept 1991

  Activity: Talk or presentation › Invited talk

• Families of posets and event domains

  Rensink, A. (Speaker)

  18 Oct 1991

  Activity: Talk or presentation › Oral presentation