Chris A. Vissers

23 papers A* 1Journal 7Unranked 13
YearRankTypeTitle / Venue / Authors
2016 — book
Architectural Design - Conception and Specification of Interactive Systems
Chris A. Vissers, Luís Ferreira Pires, Dick A. C. Quartel, Marten van Sinderen
2003 — conf
Reference Models for Advanced E-Services.
I3E
Chris A. Vissers, Marc M. Lankhorst, Robert Slagter
1999 — conf
A Business Process Design Language.
World Congress on Formal Methods
Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers
1997 J jnl
On the Role of Basic Design Concepts in Behaviour Structuring.
Comput. Networks ISDN Syst.
Dick A. C. Quartel, Luís Ferreira Pires, Marten van Sinderen, Henry M. Franken, Chris A. Vissers
1995 J jnl
A Design Model for Open Distributed Processing Systems.
Comput. Networks ISDN Syst.
Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen
1995 — conf
An Engineering Approach towards Action Refinement.
FTDCS
Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers
1994 — conf
Issues in design methodologies for distributed information systems.
Methods and Associated Tools for the Information Systems Life Cycle
Mark K. de Weger, Chris A. Vissers
1993 — conf
Report on the Architectural Semantics Workshop.
Open Distributed Processing
Chris A. Vissers
1993 — conf
What Makes Industries Believe in Formal Methods.
PSTV
Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires
1992 J jnl
Protocol Design and Implementation Using Formal Methods.
Comput. J.
Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers
1991 J jnl
Introduction to the PSTV-IX.
Comput. Networks ISDN Syst.
Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
1991 J jnl
Specification Styles in Distributed Systems Design and Verification.
Theor. Comput. Sci.
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
1990 — conf
FDTs for open distributed systems, a retrospective and a prospective view.
PSTV
Chris A. Vissers
1990 — ed.
Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989
PSTV
Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
1989 — conf
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract).
TAPSOFT, Vol.2
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
1989 J jnl
SEDOS: Designing Open Distributed Systems.
IEEE Softw.
Michael Diaz, Chris A. Vissers
1986 — conf
Formal Specification in OSI.
Networking in Open Systems
Chris A. Vissers, Giuseppe Scollo
1986 — conf
Lotos in Practice.
IFIP Congress
Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano
1986 — conf
Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper).
IFIP Congress
Chris A. Vissers
1985 — conf
Networks Interconnections - An Architectural Reference Model.
Kommunikation in Verteilten Systemen (1)
Berthold Butscher, Luciano Lenzini, R. Morling, Chris A. Vissers, Radu Popescu-Zeletin, Marten van Sinderen
1985 — conf
The importance of the service concept in the design of data communications protocols.
PSTV
Chris A. Vissers, Luigi Logrippo
1984 J jnl
Twentenet: A LAN with message priorities, design and performance considerations.
Comput. Commun. Rev.
Ignas G. Niemegeers, Chris A. Vissers
1976 A* conf
Interface, A Dispersed Architecture.
ISCA
Chris A. Vissers