EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS
Home Policy Brochure Browse Search User Area Contact Help

2014

Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying Class Invariants in Concurrent Programs. Technical Report TR-CTIT-14-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2004

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

2003

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

2002

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