Harry Rudin  Harry Rudin photo       

contact information

Consultant
Zurich Research Laboratory, Zurich, Switzerland
  +41dash44dash724dash81dash11

links

Professional Associations

Professional Associations:  ACM  |  ERCIM News  |  Fellow, IEEE  |  IFIP TC6


2014



2012

The WEB we live in
Dirk Husemann, Harry Rudin
Computer Networks 56(18), 3809-3810, 2012


2011




2007



2006

Cell Phone Danger
Martin Röösli and Harry Rudin
ERCIM News67, 2006


1997

Archiving agents for the World Wide Web
C Brandli, H Rudin
Sixth International Conference on Computer Communications and Networks (ICCCN '97), 1997


1996

Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95
Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
Computer Networks and ISDN Systems 28(13), 1845-1855, 1996


1994

Media-access techniques for high-speed LANs and MANs
Harmen R. van As, Harry Rudin
Computer Networks and ISDN Systems 26(6-8), 601-602, 1994


1992

The ATM — Asynchronous transfer mode
Harry Rudin
Computer Networks and ISDN Systems 24(4), 277-278, 1992


1990

A survey of light-weight transport protocols for high-speed networks
W.A. Doeringer, D. Dykeman, M. Kaiserswerth, B.W. Meister, H. Rudin, R. Williamson
IEEE Transactions on Communications 38(11), 2025-2039, 1990


1989

Including a Queue in a Formal-Description-Driven Protocol Performance Analysis
J Gustavsson, H Rudin
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX, pp. 247-258, 1989

Faster, More Efficient Streamlined Protocols
Harry Rudin, Robin Williamson
IEEE Communications Magazine 27(6), 10-12, 1989

Protocols for high-speed networks
Harry Rudin, Robin Williamson
IFIP WG 6.1/WG 6.4 International Workshop on Protocols for High-Speed Networks, Zurich, Switzerland, 9-11 May, 1989, North Holland


1987

The dimension of time in protocol specification
H Rudin
Networking in Open Systems, pp. 360-372, 1987

Tools for protocols driven by formal specifications
H Rudin
Embedded Systems, pp. 127-152, 1987

Network protocols and tools to help produce them
Harry Rudin
Annual Review of Computer Science 2(1), 291-316, 1987

Protocol Specification
H Rudin, CH West
Testing and Verification, 1987



1985

An informal overview of formal protocol specification
Harry Rudin
Communications Magazine, IEEE 23(3), 46-52, IEEE, 1985


1984


Protocol Specification, Testing and Verification
Harry Rudin, Colin H West
Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, Organized by IBM Research, Ruschlikon, Switzerland, 31 May-2 June, 1983, Elsevier Science Inc., 1984

Performance of Computer-communication Systems
Werner Bux, Harry Rudin
Proceedings of the IFIP WG 7.3/TC 6 Second International Symposium on the Performance of Computer-Communication Systems, Zurich, Switzerland, 21-23 March, 1984, Elsevier Science Ltd

An improved algorithm for estimating protocol performance
H Rudin
In proceeding of: Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984


1983

Tools and studies of formal techniques — Petri nets and temporal logic
Matti Anttila, Harri Eriksson, Jukka Ikonen, H Rudin, CH West
Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification III, pp. 139-148, 1983

From formal protocol specification towards automated performance prediction
Harry Rudin (Ed.)
Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification III, 1983


1982

Using automated validation techniques to detect lockups in packet-switched networks
Mark Sherman, HARRY Rudin
Communications, IEEE Transactions on 30(7), 1762--1767, IEEE, 1982

Automated protocol validation: Some practical examples
H Rudin
Proc. Sixth International Conference on Computer Communication, pp. 919-924, 1982

A validation technique for tightly coupled protocols
Harry Rudin, Colin H. West
IEEE Transactions on Computers 100(7), 630-636, IEEE, 1982

Protocol analysis and synthesis using a state transition model
Pitro Zafiropulo, Colin H West, Harry Rudin, DD Cowan, Daniel Brand
Computer Network Architectures and Protocols, pp. 645--669, Springer, 1982


1981

Validation of Protocols using State Enumeration: A summary of some experience
H Rudin, CH West
In Protocol Testing, Towards Proof?, Proc. INWG/NPL Workshop on Protocol Testing, Teddington, Middlesex, UK, pp. 371-375, 1981

Validation of a Token Ring Protocol
H Rudin
Technical Report 016272 , 1981


1980

Dynamic Routing and Flow Control
H Rudin, H Mueller
IEEE Transactions on Communications COM-28(7), 1030-1039, 1980

Automated protocol synthesis via graphics
H Rudin, H Walther, P Zafiropulo, DD Cowan, NK Link
Proceedings of the Fifth International Conference on Computer Communications, Atlanta, Georgia, 1980

Towards analyzing and synthesizing protocols
Pitro Zafiropulo, C West, Harry Rudin, D Cowan, Daniel Brand
Communications, IEEE Transactions on 28(4), 651-661, IEEE, 1980


1979

Towards Synthesizing Two-Process Interactions
P Zafiropulo, H Rudin, DD Cowan
Proc. Computer Networking Symposium, Gaithersburg, Md, 1979


1978

On routing and flow control
Harry Rudin, H Müller
1978 - IBM Thomas J. Watson Research ..., IBM Thomas J. Watson Research Center

Packet and circuit switching: Cost/performance boundaries
Karl Kuemmerle, Harry Rudin
Computer Networks (1976) 2(1), 3--17, Elsevier, 1978

Automated protocol validation: One chain of development
Harry Rudin, Colin H West, Pitro Zafiropulo
Computer Networks (1976) 2(4), 373--380, Elsevier, 1978


1976

On Alternate Routing in Circuit Switched Data Networks
Harry Rudin
Technical Report, IBM Research Report RZ 801, 1976

A network architecture for the integration of circuit and packet switching
E Port, K Kuemmerle, H Rudin, C Jenny, P Zafiropulo
Proc. ICCC 1976, pp. 505-514


1974



1973



1972

On the optimization of message-switching networks
B Meister, H Muller, H Rudin Jr
IEEE Transactions on Communications 20(1), 8-14, IEEE, 1972


1971

Optimization of a New Model for Message Switching Networks
B Meister, H Muller, H Rudin Jr
Proc. of the International Conference on Communications, pp. 39--16, 1971

New optimization criteria for message-switching networks
Bernd Meister, H Muller, H Rudin Jr
Communication Technology, IEEE Transactions on 19(3), 256--260, IEEE, 1971


1970

Data transmission: a direction for future development
Harry Rudin
Spectrum, IEEE 7(2), 79--85, IEEE, 1970


1967

Automatic equalization using transversal filters
Harry Rudin
Spectrum, IEEE 4(1), 53--59, IEEE, 1967

An automatic equalizer for general-purpose communication channels
Re W Lucky, HR Rudin
Bell Syst. Tech. J 46(9), 2179-2208, 1967


1966

Generalized automatic equalization for communication channels
RW Lucky, HR Rudin
Proceedings of the IEEE 54(3), 439-440, 1966