Marten van Sinderen - Publications

Journal publications

Dockhorn Costa, P., Ferreira Pires, L. & Sinderen, M. van. Designing a configurable services platform for mobile context-aware applications. International Journal of Pervasive Computing and Communications (JPCC), Vol. 1, No. 1, March 2005, 27-37.

J.P.A. Almeida, M.J. van Sinderen, D.A.C. Quartel, L. Ferreira Pires. Interaction systems design and the protocol- and middleware-centred paradigms in distributed application development. IEEE Distributed Systems Online, 2005, Vol. 6, No. 1. ISSN 1541-4922.

M. van Sinderen, S. Joosten, C. Guareis de Farias. Workflow automation by means of the OSI job transfer and manipulation standard. Computer Standards & Interfaces, Vol. 21, No. 5, December 1999, 403-415. ISSN 0920-5489.

D.A.C. Quartel, L. Ferreira Pires, M.J. van Sinderen, H. Franken, C.A. Vissers. On the role of basic design concepts in behaviour structuring. Computer Networks and ISDN Systems, Vol. 29, 1997, pp. 413-436. ISSN 0169-7552.

M.J. van Sinderen, L. Ferreira Pires, C.A. Vissers, J.P. Katoen. A design model for open distributed processing systems. Computer Networks and ISDN Systems, Vol. 27, 1995, pp. 1263-1285. ISSN 0169-7552.

M.J. van Sinderen, L. Ferreira Pires, C.A. Vissers. Protocol design and implementation using formal methods. Computer Journal, Vol. 5, No. 35, 1992, pp. 478-491. ISSN 0010-4620.

C.A. Vissers, G. Scollo, M.J. van Sinderen, H. Brinksma. Specification styles in distributed systems design and verification. Theoretical Computer Science, Vol. 89, 1991, pp. 179-206. ISSN 1073-0486.

M.J. van Sinderen, E. Dorregeest. A critical analysis of the X.400 model of message handling systems. Computer Standards & Interfaces, Vol. 7, No. 4, 1988, pp. 363-375. ISSN 0920-5489.

M.J. van Sinderen, C. Huijs, C.A. Blaauw. APL - an effective design language. IEE Proceedings, Vol. 133, No. 2, 1986, pp. 100-104.

Edited proceedings

J.P. Andrade Almeida, L. Ferreira Pires, M. van Sinderen (Editors). Proceediings of the European Workshop on Milestones, Models and Mappings for Model-Driven Architecture (3M4MDA), CTIT Workshop Proceedings Series, WP06-02, July 2006, 110 pages. ISSN 1574-0846.

M.J. van Sinderen, L. Ferreira pires (Editors). Model-driven architecture with emphasis on industrial applications. Proceedings of the 1^st European Workshop on Model Driven Architecture (MDA-IA 2004), CTIT Technical Report Series, TR-CTIT-04-12, March 2004, 142 pages. ISSN 1381-3625.

M. van Sinderen, L. Nieuwenhuis (Editors). Protocols for multimedia systems. Proceedings of the 6^th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001, LNCS 2213, Springer, 2001, 240 pages.

H. Scholten, M. van Sinderen (Editors). Interactive distributed multimedia systems and telecommunication services. Proceedings 7^th International Workshop, IDMS 2000, Enschede, Netherlands, October 17-20, 2000, LNCS 1905, Springer, 2000, 280 pp.

Publications, chronologically ordered

2006

M. van Sinderen, J.P. Andrade Almeida, L. Ferreira Pires, D. Quartel. Designing enterprise applications using model-driven service-oriented architectures. Accepted book chapter in Enterprise service computing: from concept to deployment, Idea Group Inc. To appear in 2006.

P. Dockhorn Costa, L. Ferreira Pires, M. van Sinderen. Architectural support for mobile context-aware applications. Accepted book chapter in Handbook of research on mobile multimedia, Idea Group Inc. To appear in 2006.

2005

J.P.A. Almeida, M.J. van Sinderen, D.A.C. Quartel, L. Ferreira Pires. Interaction systems design and the protocol- and middleware-centred paradigms in distributed application development. IEEE Distributed Systems Online, 2005, Vol. 6, No. 1. ISSN 1541-4922.

B. Zieba, M. van Sinderen, M. Wegdam. Quality-constrained routing in publish/subscribe systems. 3^rd Intl. Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2005), in conjunction with Middleware 2005, Grenoble, France, 28 Nov. – 2 Dec. 2005, ACM Intl. Conf. Proceedings Series, Vol. 115, ACM Press, 2005, 1-8.

D. Quartel, R. Dijkman, M. van Sinderen. Extending profiles with stereotypes for composite concepts using model transformation. ACM/IEEE 8^th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2005), Montego Bay, Jamaica, October 2-7, 2005, LNCS 3713, Springer, 2005, 232-247.

G. Guizzardi, L. Ferreira Pires, M. van Sinderen. An ontology-based approach for evaluating the domain appropriateness and comprehensibility appropriateness of modeling languages. ACM/IEEE 8^th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2005), Montego Bay, Jamaica, October 2-7, 2005, LNCS 3713, Springer, 2005, 691-705.

C.R.G. de Farias, C.E. Goncalves, M.C. Rosatelli, L. Ferreira Pires, M. van Sinderen. An architectural model for component groupware. 11^th Intl. Workshop on Groupware (CRWG 2005), Proto de Galinhas, Brazil, 25-29 September 2005, LNCS 3706, Springer, 2005, 105-120.

G. Guizzardi, M. van Sinderen, L. Ferreira Pires. Ontology-based evaluation and design of domain-specific visual modeling languages. 14^th International Conference on Information Systems Development (ISD 2005), Karlstad, Sweden, August 15-17, 2005.

D. Quartel, R. Dijkman, M. van Sinderen. An approach to relate business and application services using ISDL. 9^th IEEE EDOC Conference: The Enterprise Computing Conference (EDOC 2005), IEEE Computer Society Press, 2005, 157-168.

J.P.A. Almeida, R. Dijkman, L. Ferreira Pires, D. Quartel, M. van Sinderen. Abstract interactions and interaction refinement in model-driven design, 9^th IEEE EDOC Conference: The Enterprise Computing Conference (EDOC 2005), IEEE Computer Society Press, 2005, 273-286.

L.O.B.S. Santos, R.S.S. Guizzardi, M. van Sinderen. Agent-oriented context-aware platforms supporting communities of practice in healthcare. 4^th Intl. Conf. on Autonomous Agents and Multi-agent Systems (AAMAS 2005), Utrecht, The Netherlands, July 2005.

T. Broens, A. van Halteren, M. van Sinderen, K. Wac. Towards an application framework for context-aware m-health applications. 11^th Open European Summer School and IFIP Workshop (EUNICE 2005), Madrid, July 6-8, 2005.

 J.P. A. Almeida, L. Ferreira Pires and M. van Sinderen. Dependencies between Models in the Model-driven Design of Distributed Applications, Joint Workshop on Web Services and Model-Driven Enterprise Information Systems (WSMDEIS 2005), in conjunction with ICEIS 2005, May 24-25, 2005, 95-109.

P. Dockhorn Costa, L. Ferreira Pires, M. van Sinderen. Architectural patterns for context-aware services platforms. 2^nd International Workshop on Ubiquitous Computing (IWUC 2005), in conjunction with ICEIS 2005, Miami, USA, May 24-25, 2005.

2004

J.P. Almeida, L. Ferreira Pires, M. van Sinderen. Costs and benefits of multiple levels of models in MDA developments. 2nd European Workshop on Model-Driven Architecture with Emphasis on Methodologies and Transformations (EWMDA-MT 2004), 7-8 Sept. 2004, Kent, UK, Technical Report No. 17-04, Computing Lab., U. of Kent, 2004, 12-20.

M.J. van Sinderen, L. Ferreira pires (Editors). Model-driven architecture with emphasis on industrial applications. Proceedings of the 1^st European Workshop on Model Driven Architecture (MDA-IA 2004), CTIT Technical Report Series, TR-CTIT-04-12, March 2004, 142 pages. ISSN 1381-3625.

G. Guizzardi, G. Wagner, M.J. van Sinderen. A formal theory of conceptual modeling universals. Proceeedings of the 1^st Workshop on Philosophy and Informatics (WSPI 2004), Cologne, Germany, March 31 – April 1, 2004, Deutsche Forschungszentrum fur Kunstliche Intelligenz Report, 2004. ISSN 0946-008X.

P. Dockhorn Costa, L. Ferreira Pires, M.J. van Sinderen, J. Goncalves Filho. Towards a services platform for mobile context-aware applications. Proceedings of the 6^th Intl. Conf. on Enterprise Information Systems (ICEIS 2004) / 1st Intl. Workshop on Ubiquitous Computing (IWUC 2004), Porto, Portugal, April 13-14, 2004.

J.P.A. Almeida, M.J. van Sinderen, L. Ferreira Pires, M. Wegdam. Platform-independent Dynamic Reconfiguration of Distributed Applications. Proceedings of the 10^th Intl. Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), Suzhou, China, May 26-28, 2004, IEEE Computer Society, 2004. ISBN 0-7695-2118-5.

G. Guizzardi. G. Wagner, N. Guarino, M.J. van Sinderen. An ontologically well-founded profile for UML conceptual models. In: A. Persson, J. Stirna (Editors), Proceedings of the 16^th Intl. Conference on Advanced Information Systems Engineering (CAISE 2004), Riga, Latvia, June 7-11, 2004, LNCS 3084, Springer, 2004. ISBN 3-540-22151-4.

L. Ferreira Pires, M. van Sinderen, C. de Farias, J.P.A. Almeida. Use of models and modeling techniques for service development. In: M.J. Mendes et al. (Editors), Digital Communications in a Networked Society – e-Commerce, e-Business and e-Government, Chapter 33, Proceedings of the 3^rd IFIP Conference on E-commerce, E-business and E-government (I3E 2003), Sept. 21-24, 2003, Sao Paulo, Brazil, Kluwer Academic Publishers, 2004, 441-456. ISBN 1-4020-7795-5.

J. van Sloten, A. Pras, M. van Sinderen. On the standardization of web service management operations. Proceedings of the 10^th EUNICE Summer School and IFIP Workshop on Advances in Fixed and Mobile Networks (EUNICE 2004), Tampere, Finland, June 14-16, 2004, TTY-Paino, 2004. ISBN 952-15-1187-7.

J.P.A. Almeida, R. Dijkman, M.J. van Sinderen, L. Ferreira Pires. On the notion of abstract platform in MDA development. Proceedings of the 8^th IEEE Intl. Conference on Enterprise Distributed Object Computing (EDOC 2004), Monterey, California, USA, September 20-24, 2004, IEEE Computer Society, 2004, 253-263. ISSN 1541-7719. ISBN 0-7695-2214-9.

R. Dijkman, D.A.C. Quartel, L. Ferreira Pires, M.J. van Sinderen. A rigorous approach to relate enterprise and computational viewpoints. Proceedings of the 8^th IEEE Intl. Conference on Enterprise Distributed Object Computing (EDOC 2004), Monterey, California, USA, September 20-24, 2004, IEEE Computer Society, 2004, 187-200. ISSN 1541-7719. ISBN 0-7695-2214-9.

T. Broens, S. Pokraev, M. van Sinderen, P. Dockhorn Costa, J. Koolwaaij. Context-aware, ontology-based, service discovery. In: P. Markopoulos et al. (Editors), Ambient intelligence: 2nd European Symposium on Ambient Intelligence (EUSAI 2004), Eindhoven, The Netherlands, November 8-11, 2004, LNCS 3295, Springer-Verlag Heidelberg, 2004, 72-83. ISSN 0302-9743.

2003

M. Wegdam, J.P.A. Almeida, M.J. van Sinderen, L.J.M. Nieuwenhuis. Dynamic reconfiguration for middleware-based applications. CTIT Technical Report Series, TR-CTIT-03-09, March 2003, 30 pp. ISSN 1381-3625.

J.P.A. Almeida, M.J. van Sinderen, L. Ferreira Pires, D.A.C. Quartel. The role of the service concept in model-driven middleware development. ACM/IFIP/USENIX Intl. Middleware Conference, Workshop on Model-driven Approaches to Middleware Applications Development (Middleware 2003 MAMAD, Ed.: K. Duddy), Rio de Janeiro, Brazil, June 17, 2003, pp. 288-296. ISBN 85-87926-03-9.

J.P.A. Almeida, M.J. van Sinderen, L. Ferreira Pires, M. Wegdam. Handling QoS in MDA: a discussion on availability and dynamic reconfiguration. Workshop on Model Driven Architecture: Foundations and Application (MDAFA 2003, Ed.: A. Rensink), University of Twente, Enschede, The Netherlands, June 26-27, 2003, CTIT Technical Report Series, TR-CTIT-03-27, pp. 91-96. ISSN 1381-3625.

J.P.A. Almeida, L. Ferreira Pires, M.J. van Sinderen. Web Services and Seamless Interoperability. ECOOP 2003 1st European Workshop on Object Orientation and Web Services (EOOWS 2003), Darmstadt, Germany, July 21, 2003, IBM Research Report series, RA220 Computer Science (Eds.: S. Weerawarana, G. Piccinelli), IBM, 2003, pp. 14-22.

J.P.A. Almeida, M.J. van Sinderen, D.A.C. Quartel, L. Ferreira Pires. Interaction systems design and the protocol- and middleware-centred paradigms in distributed application development. ECOOP 2003 Workshop on Communication Abstractions for Distributed Systems, Darmstadt, Germany, July 22, 2003.

J.P.A. Almeida, M.J. van Sinderen, L. Ferreira Pires, D.A.C. Quartel. A systematic approach to platform-independent design based on the service concept. 7th IEEE Intl. Enterprise Distributed Object Computing Conference (EDOC 2003, Ed.: K. Duddy), Brisbane, Australia, September 16-19, 2003, IEEE Society Press, 2003, pp. 112-123. ISBN 0-7695-1994-6.

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, M.J. van Sinderen. An approach to relate viewpoints and modeling languages. 7th IEEE Intl. Enterprise Distributed Object Computing Conference (EDOC 2003, Ed.: K. Duddy), Brisbane, Australia, September 16-19, 2003, IEEE Society Press, 2003, 14-27. ISBN 0-7695-1994-6.

M. Zuidweg, J. Goncalves Filho, M.J. van Sinderen. Using P3P in a web services-based context-aware application platform. 9th EUNICE Open European Summer School and IFIP Workshop on Next Generation Networks (EUNICE 2003, Eds.: E. Halasz et al.), Hungary, Budapest – Balatonfuered, September 8-10, 2003, pp. 238-243. ISBN 963-421-576-9.

M. Zuidweg, J. Goncalves Filho, M.J. van Sinderen. Using P3P in a web services-based context-aware application platform. W3C Workshop on the Long Term Future of P3P and Enterprise Privacy Language, Kiel, Germany, June 19-20, 2003.

P. Dockhorn Costa, J. Goncalves Filho, M. van Sinderen. Architectural requirements for building context-aware services platforms. 9th EUNICE Open European Summer School and IFIP Workshop on Next Generation Networks (EUNICE 2003, Eds.: E. Halasz et al.), Hungary, Budapest – Balatonfuered, September 8-10, 2003, pp. 62-69. ISBN 963-421-576-9.

D. Rios, P. Dockhorn Costa, G. Guizzardi, L. Ferreira Pires, J. Goncalves Filho, M. van Sinderen. Using ontologies for modeling context-aware services platforms. OOPSLA 2003 Workshop on Ontologies to Complement Software Architectures, Anaheim, CA, USA, October 26-30, 2003.

2002

R.M. Dijkman, D.A.C. Quartel, L. Ferreira Pires, M.J. van Sinderen. Semantic verification of behavior conformance. In: Kilov, H. & Baclawski, K. (Editors), Proceedings of the 11th Workshop on Behavioral Semantics - Serving the Customer, OOPSLA 2002, Seattle, Washington, USA, November 4, 2002, pp. 43-54.

J.M. Morales, L. Ferreira Pires, M.J. van Sinderen. Model driven geo-information system's development. In: Williams, A.D. (Editor), Proceedings of the 6th International Enterprise Distributed Object Computing, EDOC 2002, Lausanne, Switzerland, September 17-20,  2002, IEEE Computer Society, 2002, pp. 155-166.

2001

M. van Sinderen, L. Nieuwenhuis (Editors). Protocols for multimedia systems. Proceedings of the 6^th International Conference, PROMS 2001, Enschede, The Netherlands, October 17-19, 2001, LNCS 2213, Springer, 2001, 240 pages.

C. Guareis de Farias, L. Ferreira Pires, M. van Sinderen, D. Quartel. A combined component-based approach for the design of distributed software systems. Proceedings of the 8^th Workshop on Future Trends of Distributed Computing Systems (FTDCS’01), Bologna, Italy, October 31-November 2, 2001, IEEE Computer Society Press, 2001, pp. 2-8.

J.P.A. Almeida, M. Wegdam, M. van Sinderen, L. Nieuwenhuis. Transparent dynamic reconfiguration for CORBA. Proceedings of the 3^rd International Symposium on Distributed Objects and Applications (DOA’01), Rome, Italy, September 17-20, 2001, pp. 197-207.

C. Guareis de Farias, M. van Sinderen, L. Ferreira Pires, D. Quartel. A combined approach for component-based software design. Proceedings of the 3^rd International Symposium on Distributed Objects and Applications (DOA’01), Rome, Italy, September 17-20, 2001, pp. 1-8.

J.P.A. Almeida, M. Wegdam, M., L. Ferreira Pires, M. van Sinderen. An approach to dynamic reconfiguration of distributed systems based on object-middleware. On-line Proceedings of the 19^th Brazilian Symposium on Computer Networks (SBRC’01), Florianópolis, Brazil, May 22-25, 2001, pp. 1-17.

W. Teeuw, S. Lie, H. Batteram, J. Verhoosel, B. Teunissen, H. de Poot, E. Meeuwissen, P. Brandt, M. van Sinderen. Samenwerken en zakendoen via het Internet. Architectuur & Infrastructuur, No. 1, 2001, 28-38.

2000

H. Scholten, M. van Sinderen (Editors). Interactive distributed multimedia systems and telecommunication services. Proceedings 7^th International Workshop, IDMS 2000, Enschede, Netherlands, October 17-20, 2000, LNCS 1905, Springer, 2000, 280 pp.

N. Diakov, H. Batteram, H. Zandbelt, M. van Sinderen. Monitoring of distributed component interactions. On-line Proceedings of the Reflective Middleware Workshop (RM’00), New York, USA, April 7-8, 2000.

C. Guareis de Farias, M. van Sinderen, L. Ferreira Pires. A systematic approach for component-based software development. Proceedings of the European Concurrent Engineering Conference (ECEC’00), Leicester, UK, April 17-19, 2000, pp. 127-131.

C. Guareis de Farias, L. Ferreira Pires, M. van Sinderen. A conceptual model for the development of CSCW systems. Proceedings of the 4^th International Conference on the Design of Cooperative Systems (COOP’00), Sophia Antipolis, France, May 23-26, 2000, IOS Press, 2000, pp. 189-204.

M. Aksit, A. Noutash, M. van Sinderen, L. Bergmans. QoS provisioning in CORBA by introducing a reflective aspect-oriented transport layer. On-line Proceedings of the ECOOP 2000 Workshop on Quality of Service in Distributed Object Systems, Sophia Antipolis, France, June 13, 2000.

L. Bergmans, A. van Halteren, L. Ferreira Pires, M. van Sinderen, M. Aksit. A QoS-control architecture for object middleware. Proceedings of the 7^th International Conference on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS’00). Enschede, Netherlands, October 17-20, 2000, LNCS 1905, Springer, 2000, pp. 117-131.

N. Diakov, H. Batteram, H., Zandbelt, M. van Sinderen. Design and implementation of a framework for monitoring distributed component interactions. Proceedings of the 7^th International Conference on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS’00). Enschede, Netherlands, October 17-20, 2000, LNCS 1905, Springer, 2000, pp. 227-240.

C. Guareis de Farias, L. Ferreira Pires, M. van Sinderen. A component-based groupware development methodology. Proceedings of the 4^th International Enterprise Distributed Object Computing Conference (EDOC’00). Makuhari, Japan, September 25-28, 2000, IEEE Computer Society Press, 2000, pp. 204-213.

N. Diakov, M. van Sinderen, D. Quartel. Monitoring extensions for component-based distributed software. Proceedings of the 5^th International Conference on Protocols for Multimedia Systems (PROMS’00). Cracow, Poland, October 22-25, 2000, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics Press, Cracow, 2000, pp. 417-424.

1999

M. van Sinderen, S. Joosten, C. Guareis de Farias. Workflow automation by means of the OSI job transfer and manipulation standard. Computer Standards & Interfaces, Vol. 21, No. 5, December 1999, 403-415.

D. Quartel, M. van Sinderen, L. Ferrera Pires. Service creation: a model-based approach. Proceedings of the 7^th Workshop on Future Trends of Distributed Computing Systems (FTDCS ’99). IEEE Computer Society Press, 1999, pp. 102-110.

1998

M. van Sinderen, L. Ferreira Pires. The application of TINA in multimedia services for the MESH project.  Proceedings of the Fifth International workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS '98), LNCS 1483, Springer, 1998, pp. 77-82.

C. de Barros Barbosa, L. Ferreira Pires, M. van Sinderen. Frameworks for protocol implementation. Proceedings of the 16th Brazilian Symposium on Computer Networks (SBRC '98), Instituto de Computacao, Universidade Federal Fluminense, Rio de Janeiro, Brazil, 1998, pp. 385-403.

1997

D.A.C. Quartel, L. Ferreira Pires, M.J. van Sinderen, H. Franken, C.A. Vissers. On the role of basic design concepts in behaviour structuring. Computer Networks and ISDN Systems, Vol. 29, 1997, pp. 413-436.

M. van Sinderen, L. Ferreira Pires. Protocols versus objects: can models for telecommunications and distributed processing coexist?  Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), IEEE Computer Society Press, 1997, pp. 8-13.

C. Volman, V. Jones, M. van Sinderen, I. Widya, E. Michiels. Tele-education process modeling supported by the ODP viewpoint enterprise language. Proceedings of the First International Enterprise Distributed Object Computing Workshop (EDOC '97), IEEE Computer Society Press, 1997, pp. 2-12.

A. Zwemmer, E. van Hengstum, M. van Sinderen. Developing an SNMP agent protocol entity with object oriented Perl. Workshop Reader of the Tenth European Conference on Object Oriented Programming (ECOOP'96), Dpunkt-Verlag, 1997, pp. 293-298.

M. van Sinderen. Telematica: integratie van telecommunicatie en informatieverwerking. Jaarboek 1997: Keep in touch, E.S.T.V. Scintilla, Universiteit Twente, Enschede, The Netherlands, 1997, pp. 95-111.

M. van Sinderen, G. ter Hofte, H. van der Lugt. Groupware. In: de Jong, C., Michiels, E.F. and van der Vlist, P. (Editors). Telematica. Samsom, 1997, pp. 280-288.

1996

M. van Sinderen, P. Chimento, L. Ferreira Pires. Design of a shared whiteboard component for multimedia conferencing. Proceedings of the Third International Workshop on Protocols for Multimedia Systems (PROMS '96), Madrid, Spain, October 15-18, 1996, pp. 1-15.

1995

M.J. van Sinderen, L. Ferreira Pires, C.A. Vissers, J.P. Katoen. A design model for open distributed processing systems. Computer Networks and ISDN Systems, Vol. 27, 1995, pp. 1263-1285.

K. Turner, M. van Sinderen. LOTOS specification style for OSI . In: T. Bolognesi, J. van de Lagemaat, C.A. Vissers (editors), LOTOSHERE: software development with LOTOS, Kluwer Academic Publishers, 1995, pp. 137-159.

1994

M. van Sinderen, C.A. Vissers (Part Editors). Report of the architectural semantics workshop. In de Meer, J., Mahr, B. and Storp, S. (Editors). Open distributed processing, II. Elsevier Science Publishers B.V., 1994, pp.367-386.

M. van Sinderen, L. Ferreira Pires,C.A. Vissers. Design concepts for open distributed systems. Proceedings of the 2^nd International Conference on Open Distributed Systems (ICODP’94), Elsevier Science Publishers B.V., 1994, pp. 369-371.

1993

C.A. Vissers, M. van Sinderen, L. Ferreira Pires. What makes industries believe in formal methods. Proceedings of the Thirteenth International Symposium on Protocol Specification, Testing, and Verification (PSTV XIII), Elsevier Science Publishers, 1993, pp. 3-26.

L. Ferreira Pires, M. van Sinderen, C.A. Vissers. Advanced design concepts for open distributed systems development. Proceedings of the Fourth Workshop on Future Trends of Distributed Computing Systems (FTDCS '93), IEEE Computer Society Press, 1993, pp. 419-425.

L. Ferreira Pires, C.A. Vissers, M. van Sinderen. Advances in architectural concepts to support distributed systems design. Proceedings of the 11^th Brazilian Symposium on Computer Networks, Campinas, São Paulo, Brazil, May 1993, 25 pages.

1992

M.J. van Sinderen, L. Ferreira Pires, C.A. Vissers. Protocol design and implementation using formal methods. Computer Journal, Vol. 5, No. 35, 1992, pp. 478-491.

K. Turner, M. van Sinderen. LOTOS specification style for OSI. Proceedings of the 3^rd LOTOSPHERE Workshop & Seminar, Pisa, Italy, September 14-16, 1992, 22 pages.

M. van Sinderen, J. Schot. An engineering approach to ODP systems design. Proceedings of the First International Conference on Open Distributed Systems (ICODP '92), Elsevier Science Publishers, 1992, pp. 301-323.

L. Ferreira Pires, M. van Sinderen, C.A. Vissers. On the use of predefined implementation constructs in distributed systems design. Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems (FTDCS '92), IEEE Computer Society Press, 1992, pp. 114-120.

1991

C.A. Vissers, G. Scollo, M.J. van Sinderen, H. Brinksma. Specification styles in distributed systems design and verification. Theoretical Computer Science, Vol. 89, 1991, pp. 179-206.

M. van Sinderen, L. Ferreira Pires. FDT-based protocol design. Proceedings of the Computer Networks Conference, Wroclaw, Poland, June 1991, pp. 161-166.

M. van Sinderen, I. Widya. On the design and formal specification of a transaction processing protocol. Proceedings of the Third International Conference on Formal Description Techniques (FORTE III), Elsevier Science Publishers, 1991, pp. 411-426.

1990

Before 1990

C.A. Vissers, G. Scollo, M. van Sinderen, E. Brinksma. On the use of specification styles in the design of distributed systems. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT ’89), Barcelona, Spain, March 13-17, 1989, Vol. 2, LNCS 352, Springer 1989, pp. 60.

M. van Sinderen, I. Ajubi, F. Caneshi. The application of LOTOS for the formal description of the ISO session layer. Proceedings of the First International Conference on Formal Description Techniques (FORTE I), Elsevier Science Publishers, 1989, pp. 263-277.

I. Ajubi, G. Scollo, M. van Sinderen. Formal description of the OSI session layer - introduction. In: P.H.J. van Eijk, C.A. Vissers, M. Diaz (Editors). The formal description technique LOTOS, Results of the ESPRIT/SEDOS project. Elsevier Science Publishers B.V., 1989, pp. 89-96.

M. van Sinderen. Formal description of the OSI session layer - session service. In: P.H.J. van Eijk, C.A. Vissers, M. Diaz (Editors). The formal description technique LOTOS, Results of the ESPRIT/SEDOS project. Elsevier Science Publishers B.V., 1989, pp. 117-151.

M. van Sinderen. A framework for the formal description of the OSI transaction processing service. In: P.H.J. van Eijk, C.A. Vissers, M. Diaz (Editors), The formal description technique LOTOS, Results of the ESPRIT/SEDOS project, Elsevier Science Publishers, 1989, pp. 211-220.

M.J. van Sinderen, E. Dorregeest. A critical analysis of the X.400 model of message handling systems. Computer Standards & Interfaces, Vol. 7, No. 4, 1988, pp. 363-375.

C.A. Vissers, G. Scollo, M. van Sinderen. Architecture and specification style in formal descriptions of distributed systems. Proceedings of the Eighth International Symposium on Protocol Specification, Testing, and Verification (PSTV VIII), Elsevier Science Publishers, 1988, pp. 189-204.

C.A. Vissers, A. Pras, M. van Sinderen. Computernetwerken. PBNA Poly-Automatiseringszakboekje, PBNA, 1987, 38 pages. (Revised in 1992, 46 pages).

M.J. van Sinderen, C. Huijs, C.A. Blaauw. APL - an effective design language. IEE Proceedings, Vol. 133, No. 2, 1986, pp. 100-104.

G. Scollo, M. van Sinderen. On the architectural design of the formal specification of the session standards in LOTOS. Proceedings of the Sixth International Workshop on Protocol Specification, Testing, and Verification (PSTV VI), Elsevier Science Publishers, 1986, pp. 3-14.

M. van Sinderen. De applicatielaag. Proceedings of the 3^rd NGI Telematica Symposium, Amsterdam, November 1986, pp. 65-76.

M. van Sinderen, C.A. Vissers. A traffic control method for interworking: flow control by latency. Proceedings of the Third Network Planning Symposium, IEEE Communications Society Press, 1986, pp. 98-103.

B. Butcher, L. Lenzini, R. Morling, C.A. Vissers, M. van Sinderen. Network interconnection - an architectural reference model. Proceedings of the GI-NTG Congress, Springer-Verlag, 1985, pp. 338-353.

M. van Sinderen. Network layer implications of internetworking. Proceedings of the NGI-SION Computer Science Symposium, Utrecht, April 1985, pp. 387-397.

M. van Sinderen. An architectural model for network interconnection. Proceedings of the NGI-SION Computer Science Symposium, Amsterdam, April 1984, pp. 398-404.

M. van Sinderen, C.A. Vissers. An architectural model for network interconnection. Proceedings of the European Teleinformatics Conference (EUTECO), Elsevier Science Publishers B.V., 1983, pp. 475-489.

M.J. van Sinderen. Hoogfrequente data acquisitie. M.Sc. thesis (in Dutch), University of Twente, Faculty of Electrical Engineering, Enschede, The Netherlands, 1982, 90 pages.

Ph.D. thesis

M.J. van Sinderen. On the design of application protocols. Ph.D. thesis (with summary in Dutch), University of Twente, Enschede, The Netherlands, 1995, 240 pages.

Master thesis

M.J. van Sinderen. Hoogfrequente data acquisitie. M.Sc. thesis (in Dutch), University of Twente, Faculty of Electrical Engineering, Enschede, The Netherlands, 1982, 90 pages.

This page was last updated December  24, 2005