EEMCS

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

EEMCS EPrints Service


Research Project: ESPRIT/Lotosphere
Home Policy Brochure Browse Search User Area Contact Help

1996

Terpstra, R. and Ferreira Pires, L. and Heerink, A.W. and Tretmans, G.J. (1996) Testing theory in practice: a simple experiment. In: COST 247 International Workshop on Applied Formal Methods in System Design, 17-19 Jun 1996, Maribor, Slovenia. pp. 168-183. IEEE Slovenia Section. ISBN 86-435-0155-7

1995

Turner, K.J. and van Sinderen, M.J. (1995) LOTOS specification style for OSI. In: LOTOShere - Software development using LOTOS - Results of the LOTOShere project. Kluwer Academic Publishers, Dordrecht, pp. 137-159. ISBN 0-7923-9529-8

1994

Ferreira Pires, L. (1994) Architectural notes: a framework for distributed systems development. PhD thesis, University of Twente, Enschede, the Netherlands. CTIT Ph.D.-thesis series No. 94-01 ISBN 90-9007461-9

1993

Ferreira Pires, L. and Vissers, C.A. and van Sinderen, M.J. (1993) Advances in architectural concepts to support distributed systems design. In: Eleventh Brazilian Symposium on Computer Networks, SBRC 1993, May 1993, Campinas, Brazil. Universitária Unicamp. ISBN not assigned
Vissers, C.A. and van Sinderen, M.J. and Ferreira Pires, L. (1993) What makes industries believe in formal methods. In: Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, PSTV XIII, 25-28 May 1993, Liege, Belgium. pp. 3-26. IFIP Transactions C-16. North-Holland. ISBN 0-444-81648-8

1992

Ferreira Pires, L. and van Sinderen, M.J. and Vissers, C.A. (1992) On the use of pre-defined implementation constructs in distributed systems design. In: Proceedings of the Third Workshop on Future Trends in of Distributed Computing Systems, FTDCS 1992, 14-16 Apr 1992, Taipei, Taiwan. pp. 114-120. IEEE Computer Society. ISBN 0-8186-2755-7
van Sinderen, M.J. and Ferreira Pires, L. and Vissers, C.A. (1992) Protocol design and implementation using formal methods. The Computer Journal, 35 (5). pp. 478-491. ISSN 0010-4620 *** ISI Impact 1,000 ***
Turner, K.J. and van Sinderen, M.J. (1992) LOTOS specification style for OSI. In: Proceedings of the Third LOTOShere Workshop, 14-16 Sep 1992, Pisa, Italy. CNUCE. ISBN not assigned

1991

van Sinderen, M.J. and Ferreira Pires, L. (1991) FDT-based Protocol Design. In: Computer Networks '91. Proceedings of the Conference, 26-28 Jun 1991, Wroclaw, Poland. pp. 161-169. Wydawnictwo Politechniki Wroclawskiej.
van Sinderen, M.J. and Widya, I.A. (1991) On the design and formal specification of a transaction processing protocol. In: Proceedings of the IFIP TC/WG6.1 Third International Conference on Formal Description Techniques for Distributed and Communication Protocols, FORTE 1990, 5-8 Nov 1990, Madrid, Spain. pp. 411-426. Elsevier. ISBN 0 444 89024 6
Vissers, C.A. and Scollo, G. and van Sinderen, M.J. and Brinksma, H. (1991) Specification styles in distributed systems design and verification. Theoretical Computer Science, 89 (1). pp. 179-206. ISSN 0304-3975 *** ISI Impact 0,643 ***

1990

van Eijk, P. and Kremer, H.H.C. and van Sinderen, M.J. (1990) On the use of specification styles for automated protocol implementation from LOTOS to C. In: Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990, 12-15 Jun 1990, Ottawa, Canada. pp. 157-168. Elsevier. ISBN 0-444-88810-1
van Sinderen, M.J. (1990) Generic service and protocol structures. Memorandum INF-90-61, Department of Computer Science, University of Twente, Enschede. ISSN 0924-3755
Vissers, C.A. and van de Lagemaat, J. and Ferreira Pires, L. (1990) Formal description techniques for distributed computing systems: the challenges for the 1990's. In: Proceedings of Second IEEE Workshop on Future Trends of Distributed Computing Systems, 30 Sep - 2 Oct 1990, Cairo, Egypt. pp. 465-471. IEEE Computer Society. ISBN 0 8186 2088 9