Author Publications

2006

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2006) Safety and Liveness in Concurrent Pointer Programs. In: 4th Internatinal Symposium on Formal Methods for Components and Objects, FMCO 2005, November 1-4, 2005, Amsterdam, The Netherlands.

Rensink, Arend and Distefano, Dino (2006) Abstract Graph Transformation. In: Software Verification and Validation, 31 Oct 2005, Manchester.

2005

Rensink, Arend and Distefano, Dino (2005) Abstract Graph Transformation. [Report]

2004

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, 16-18 December 2004, Chennai, India.

2003

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2003) Who is pointing When to Whom: On Model-Checking Pointer Structures. [Report]

Distefano, Dino Salvo (2003) On model checking the dynamics of object-based software : a foundational approach. thesis.

2002

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2002) Model checking birth and death. In: 2nd IFIP International Conference on Theoretical Computer Science, TCS: Foundations of Information Technology in the Era of Network and Mobile Computing, August 25-30, 2002, Quebec, Canada.

2001

Distefano, Dino and Rensink, Arend and Katoen, Joost-Pieter (2001) Model Checking Dynamic Allocation and Deallocation. [Report]

2000

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a Temporal Logic for Object-Based Systems. [Report]

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) Towards Model Checking OCL. In: ECOOP 2000: Defining Precise Semantics for UML, 12 June 2000, Sophia Antipolis, France.

Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2000, September 6-8, 2000, Stanford, CA, USA.