Thomas P. Blumer

Publication Activity (10 Years)

Years Active: 1982-1991
Publications (10 Years): 0

Publications

Deepinder P. Sidhu, Anthony Chung, Thomas P. Blumer
Experience with formal methods in protocol development. Comput. Commun. Rev. 21 (2) (1991)
Deepinder P. Sidhu, Thomas P. Blumer
Semi-Automatic Implementation of OSI Protocols. Comput. Networks ISDN Syst. 18 (3) (1989)
Thomas P. Blumer, Deepinder P. Sidhu
Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol. IEEE Trans. Commun. 35 (12) (1987)
Deepinder P. Sidhu, Thomas P. Blumer
Verification of NBS Class 4 Transport Protocol. IEEE Trans. Commun. 34 (8) (1986)
Thomas P. Blumer, Deepinder P. Sidhu
Mechanical Verification and Automatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 12 (8) (1986)
Deepinder P. Sidhu, Thomas P. Blumer
Some problems with the specification of the Military Standard Transmission Control Protocol. RFC 964 (1985)
Deepinder P. Sidhu, Thomas P. Blumer
Some Problems with the Specification of the Military Standard Transmission Control Protocol. PSTV (1984)
Thomas P. Blumer, Deepinder P. Sidhu
Experience with an Automated Protocol Development System. Protocol Specification, Testing, and Verification (1983)
Thomas P. Blumer, John C. Burruss
Generating a Service Specification of a Connection Management Protocol. PSTV (1982)
Thomas P. Blumer, Richard L. Tenney
A Formal Specification Technique and Implementation Method for Protocols. Comput. Networks 6 (3) (1982)
Thomas P. Blumer, John C. Burruss
Specification and Implementation of a Protocol Standard. COMPCON (1982)