EEMCS

Spelt, D. and Even, S.J. (2001) Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. Concurrency and Computation: Practice and Experience, 13 (11). pp. 1013-1032. ISSN 1532-0626 *** ISI Impact 0,907 ***

Even, S.J. and Spelt, D. (1999) Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model. In: Proceedings of the 1st ECOOP Workshop on Object-Oriented Databases, 15 Jun 1999, Lisbon, Portugal. pp. 109-120. Università di Genova. ISBN not assigned

Spelt, D. and Even, S.J. (1999) A theorem prover-based analysis tool for object-oriented databases. In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), 22-28 March 1999, Amsterdam, The Netherlands. pp. 375-389. Lecture Notes in Computer Science 1579. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-65703-3

Even, S.J. and Spelt, D. (1998) Verification of Compensation Requirements for the SEPIA Cooperative Authoring System. Technical Report TR-CTIT-98-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Faase, F.J. and Even, S.J. and de By, R.A. and Apers, P.M.G. (1998) Integrating organisational and transactional aspects of cooperative activities. In: Proceedings 6th Workshop on Database Programming Languages (DBPL 1997), 18-20 Aug 1997, Estes Park, Colorado, USA. pp. 336-354. Lecture Notes in Computer Science 1369. Springer Verlag. ISBN 3-540-64823-2

Spelt, D. and Even, S.J. (1998) An Engineering Approach to Atomic TransactionVerification: Use of a Simple Object Model to Achieve Semantics-basedReasoning at Compile-time. Technical Report TR-CTIT-98-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Spelt, D. and Even, S.J. (1998) Theorem Prover-based Analysis of Transactions on Object-Oriented Databases (Extended Abstract). Technical Report TR-CTIT-98-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Even, S.J. and Faase, F.J. and de By, R.A. (1996) Language features for cooperation in an object-oriented database environment. International Journal of Cooperative Information Systems, Special Issue on Formal Methods, 5 (4). pp. 469-500. ISSN 0218-8430 *** ISI Impact 1,433 ***

de By, R.A. and Even, S.J. and Verkoulen, P.A.C. (1995) Functionally Specified Distributed Transactions in Co-operative Scenarios. In: Proceedings of the 5th International Workshop on Research Issues in Data Engineering - Distributed Object Management (RIDE-DOM '95), 6-7 Mar 1995, Taipei, Taiwan. pp. 116-121. IEEE Computer Society. ISBN 0-8186-7056-8