Thomas P. Blumer

According to our database, Thomas P. Blumer authored at least 10 papers between 1982 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Experience with formal methods in protocol development.

Deepinder P. Sidhu, Anthony Chung, Thomas P. Blumer

Comput. Commun. Rev., 1991

1989

Semi-Automatic Implementation of OSI Protocols.

Deepinder P. Sidhu, Thomas P. Blumer

Comput. Networks ISDN Syst., 1989

1987

Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol.

Thomas P. Blumer, Deepinder P. Sidhu

IEEE Trans. Commun., 1987

1986

Mechanical Verification and Automatic Implementation of Communication Protocols.

Thomas P. Blumer, Deepinder P. Sidhu

IEEE Trans. Software Eng., 1986

Verification of NBS Class 4 Transport Protocol.

Deepinder P. Sidhu, Thomas P. Blumer

IEEE Trans. Commun., 1986

1985

Some problems with the specification of the Military Standard Transmission Control Protocol.

Deepinder P. Sidhu, Thomas P. Blumer

RFC, November, 1985

1983

Experience with an Automated Protocol Development System.

Thomas P. Blumer, Deepinder P. Sidhu

Proceedings of the 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, 1983

1982

A Formal Specification Technique and Implementation Method for Protocols.

Thomas P. Blumer, Richard L. Tenney

Comput. Networks, 1982

Generating a Service Specification of a Connection Management Protocol.

Thomas P. Blumer, John C. Burruss

Proceedings of the Protocol Specification, 1982

Specification and Implementation of a Protocol Standard.

Thomas P. Blumer, John C. Burruss

Proceedings of the COMPCON'82, 1982