EEMCS

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2006) Safety and Liveness in Concurrent Pointer Programs. (Invited) In: Proceedings of the 4th Internatinal Symposium on Formal Methods for Components and Objects, November 1-4, 2005, Amsterdam, The Netherlands. pp. 280-312. Lecture Notes in Computer Science 4111. Springer Verlag. ISBN 978-3-540-36749-9

Rensink, A. and Distefano, D.S. (2006) Abstract Graph Transformation. In: Software Verification and Validation, 31 Oct 2005, Manchester. pp. 39-59. Electronic Notes in Theoretical Computer Science 157. Elsevier. ISSN 1571-0661

Rensink, A. and Distefano, D.S. (2005) Abstract Graph Transformation. Technical Report TR-CTIT-05-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2004) Who is pointing when to whom? In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 16-18 Dec 2004, Chennai, India. pp. 250-262. Lecture notes in Computer Science 3328. Springer. ISBN 3-540-24058-6

Distefano, D.S. (2003) On Model Checking the Dynamics of Object-Based Software: A Foundational Approach. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 03-58

Distefano, D.S. and Rensink, A. and Katoen, J.P. (2003) Who is pointing when to whom: on model-checking pointer structures. Technical Report TR-CTIT-03-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Distefano, D.S. and Rensink, A. and Katoen, J.P. (2002) Model checking birth and death. In: Foundations of Information Technology in the Era of Network and Mobile Computing: 2nd IFIP International Conference on Theoretical Computer Science (TCS), Quebec, Canada. pp. 435-447. IFIP Proceedings 223. Kluwer Academic Publishers. ISBN 1402071817

Distefano, D.S. and Rensink, A. and Katoen, J.P. (2001) Model Checking Dynamic Allocation and Deallocation. Technical Report TR-CTIT-01-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) Towards Model Checking OCL. In: ECOOP 2000: Defining Precise Semantics for UML, 12 June 2000, Sophia Antipolis, France. ISBN not assigned

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a temporal Logic for Object-based Systems. Technical Report TR-CTIT-00-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Distefano, D.S. and Katoen, J.P. and Rensink, A. (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'2000). pp. 305-326. Kluwer Academic Publishers. ISBN 0-7923-7923-3