| 1999 |
|---|
| 13 | | Tony Przygienda,
Patrick Droz,
Colin H. West:
Proxy PNNI Augmented Routing (Proxy PAR).
Telecommunication Systems 11(3-4): 241-251 (1999) |
| 1995 |
|---|
| 12 | EE | Colin H. West,
Angelo Tosi:
Experiences with a Random Test Driver.
Computer Networks and ISDN Systems 27(7): 1163-1174 (1995) |
| 1993 |
|---|
| 11 | | Colin H. West:
The Challenges Facing Formal Description Techniques.
FORTE 1993: 105-121 |
| 1992 |
|---|
| 10 | | Colin H. West:
Protocol Validation - Principles and Applications.
Computer Networks and ISDN Systems 24(3): 219-242 (1992) |
| 1990 |
|---|
| 9 | | Colin H. West:
The first ten years, the next ten years.
PSTV 1990: 411-414 |
| 1989 |
|---|
| 8 | EE | Colin H. West:
Protocol Validation in Complex Systems.
SIGCOMM 1989: 303-312 |
| 1987 |
|---|
| 7 | | Harry Rudin,
Colin H. West:
Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987
North-Holland 1987 |
| 1986 |
|---|
| 6 | | Colin H. West:
A Validation of the OSI Session Layer Protocol.
Computer Networks 11: 173-182 (1986) |
| 1983 |
|---|
| 5 | | Harry Rudin,
Colin H. West:
Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983
North-Holland 1983 |
| 1982 |
|---|
| 4 | | Colin H. West:
Applications and Limitations of Automated Protocol Validation.
PSTV 1982: 361-371 |
| 3 | | J. Rubin,
Colin H. West:
An Improved Protocol Validation Technique.
Computer Networks 6(2): 65-73 (1982) |
| 2 | | Harry Rudin,
Colin H. West:
A Validation Technique for Tightly Coupled Protocols.
IEEE Trans. Computers 31(7): 630-636 (1982) |
| 1978 |
|---|
| 1 | | Harry Rudin,
Colin H. West,
Pitro Zafiropulo:
Automated Protocol Validation: One Chain of Development.
Computer Networks 2: 373-380 (1978) |
