Colin H. West

17 papers A* 1C 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2010 J jnl
Some notes on the history of protocol engineering.
Comput. Networks
Gregor von Bochmann, Dave Rayner, Colin H. West
1999 J jnl
Proxy PNNI Augmented Routing (Proxy PAR).
Telecommun. Syst.
Tony Przygienda, Patrick Droz, Colin H. West
1995 J jnl
Experiences with a Random Test Driver.
Comput. Networks ISDN Syst.
Colin H. West, Angelo Tosi
1993 C conf
The Challenges Facing Formal Description Techniques.
FORTE
Colin H. West
1992 J jnl
Protocol Validation - Principles and Applications.
Comput. Networks ISDN Syst.
Colin H. West
1990 — conf
The first ten years, the next ten years.
PSTV
Colin H. West
1989 A* conf
Protocol Validation in Complex Systems.
SIGCOMM
Colin H. West
1987 — ed.
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
PSTV
Harry Rudin, Colin H. West
1986 J jnl
A Validation of the OSI Session Layer Protocol.
Comput. Networks
Colin H. West
1983 — ed.
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
PSTV
Harry Rudin, Colin H. West
1982 J jnl
A Validation Technique for Tightly Coupled Protocols.
IEEE Trans. Computers
Harry Rudin, Colin H. West
1982 J jnl
An Improved Protocol Validation Technique.
Comput. Networks
J. Rubin, Colin H. West
1982 — conf
Applications and Limitations of Automated Protocol Validation.
PSTV
Colin H. West
1980 J jnl
Executable Description and Validation of SNA.
IEEE Trans. Commun.
Gary D. Schultz, David B. Rose, Colin H. West, James P. Gray
1980 J jnl
Towards Analyzing and Synthesizing Protocols.
IEEE Trans. Commun.
Pitro Zafiropulo, Colin H. West, Harry Rudin, D. D. Cowan, Daniel Brand
1978 J jnl
An Automated Technique of Communications Protocol Validation.
IEEE Trans. Commun.
Colin H. West
1978 J jnl
Automated Protocol Validation: One Chain of Development.
Comput. Networks
Harry Rudin, Colin H. West, Pitro Zafiropulo