Chris A. Vissers - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2016

Architectural Design - Conception and Specification of Interactive SystemsChris A. Vissers, Luís Ferreira Pires, Dick A. C. Quartel, Marten van Sinderen. Springer, 2016. [doi]

2003

Reference Models for Advanced E-ServicesChris A. Vissers, Marc M. Lankhorst, Robert Slagter. i3e 2004: 369-393

1999

A Business Process Design LanguageHenk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers. FM 1999: 76-95 [doi]

1997

On the Role of Basic Design Concepts in Behaviour StructuringDick A. C. Quartel, Luís Ferreira Pires, Marten van Sinderen, Henry M. Franken, Chris A. Vissers. cn, 29(4):413-436, 1997. [doi]

1995

An Engineering Approach towards Action RefinementDick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers. ftdcs 1995: 266-273 [doi]

A Design Model for Open Distributed Processing SystemsMarten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen. cn, 27(8):1263-1285, 1995. [doi]

1994

Issues in design methodologies for distributed information systemsMark K. de Weger, Chris A. Vissers. ifip8-1 1994: 195-208

1993

Report on the Architectural Semantics WorkshopChris A. Vissers. woodpecker 1994: 367-386

What Makes Industries Believe in Formal MethodsChris A. Vissers, Marten van Sinderen, Luís Ferreira Pires. pstv 1993: 3-26

1992

Protocol Design and Implementation Using Formal MethodsMarten van Sinderen, Luís Ferreira Pires, Chris A. Vissers. cj, 35(5):478-491, 1992.

1991

Introduction to the PSTV-IXEd Brinksma, Giuseppe Scollo, Chris A. Vissers. cn, 22(1):1-6, 1991.

Specification Styles in Distributed Systems Design and VerificationChris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. TCS, 89(1):179-206, 1991.

1990

FDTs for open distributed systems, a retrospective and a prospective viewChris A. Vissers. pstv 1990: 341-362

1989

SEDOS: Designing Open Distributed SystemsMichael Diaz, Chris A. Vissers. IEEE Software, 6(6):24-33, 1989.

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract)Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. tapsoft 1989: 60

1986

Lotos in PracticeGiuseppe Scollo, Chris A. Vissers, Antonella Di Stefano. ifip 1986: 869-876

Formal Specification in OSIChris A. Vissers, Giuseppe Scollo. ibm 1987: 338-359

Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper)Chris A. Vissers. ifip 1986: 321-328

1985

Networks Interconnections - An Architectural Reference ModelBerthold Butscher, Luciano Lenzini, R. Morling, Chris A. Vissers, Radu Popescu-Zeletin, Marten van Sinderen. kivs 1985: 338-353

The importance of the service concept in the design of data communications protocolsChris A. Vissers, Luigi Logrippo. pstv 1985: 3-17

1984

Twentenet: A LAN with message priorities, design and performance considerationsIgnas G. Niemegeers, Chris A. Vissers. ccr, 14(2):178-185, 1984. [doi]

1976

Interface, A Dispersed ArchitectureChris A. Vissers. isca 1976: 98-104

Sign in or sign up to see more results.

runs on WebDSL