Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000
Number of items: 11.

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 (pp. pp. 280-312).

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

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 (pp. pp. 250-262).

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 (pp. pp. 435-447).

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 (pp. pp. 305-326).

This list was generated on Fri Jul 25 05:11:08 2014 CEST.