Thomas P. Blumer

11 papers Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
1991 J jnl
Experience with formal methods in protocol development.
Comput. Commun. Rev.
Deepinder P. Sidhu, Anthony Chung, Thomas P. Blumer
1989 J jnl
Semi-Automatic Implementation of OSI Protocols.
Comput. Networks ISDN Syst.
Deepinder P. Sidhu, Thomas P. Blumer
1987 J jnl
Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol.
IEEE Trans. Commun.
Thomas P. Blumer, Deepinder P. Sidhu
1986 J jnl
Mechanical Verification and Automatic Implementation of Communication Protocols.
IEEE Trans. Software Eng.
Thomas P. Blumer, Deepinder P. Sidhu
1986 J jnl
Verification of NBS Class 4 Transport Protocol.
IEEE Trans. Commun.
Deepinder P. Sidhu, Thomas P. Blumer
1985 J jnl
Some problems with the specification of the Military Standard Transmission Control Protocol.
RFC
Deepinder P. Sidhu, Thomas P. Blumer
1984 — conf
Some Problems with the Specification of the Military Standard Transmission Control Protocol.
PSTV
Deepinder P. Sidhu, Thomas P. Blumer
1983 — conf
Experience with an Automated Protocol Development System.
Protocol Specification, Testing, and Verification
Thomas P. Blumer, Deepinder P. Sidhu
1982 J jnl
A Formal Specification Technique and Implementation Method for Protocols.
Comput. Networks
Thomas P. Blumer, Richard L. Tenney
1982 — conf
Generating a Service Specification of a Connection Management Protocol.
PSTV
Thomas P. Blumer, John C. Burruss
1982 — conf
Specification and Implementation of a Protocol Standard.
COMPCON
Thomas P. Blumer, John C. Burruss