Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Thomas P. Blumer

dblp:55/5828 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
0since 2021 · last 1989
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 4 · 2 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer networks
2 papers
Network management and operations · 43% Transport protocols and congestion control · 43% Internet architecture and protocols · 14%
Software engineering, system software, and programming languages
1 paper
Program verification · 67% Concurrent programming · 33%
Theoretical computer science
2 papers
Automata and formal languages · 79% Automated reasoning and model checking · 21%
Network and information security
1 paper
Authentication and access control · 100%

Topics — the 11 heaviest of 12, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Network management and operations
protocol verification		 0.021987
Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol · IEEE Trans. Commun. 1987
Verification of NBS Class 4 Transport Protocol · IEEE Trans. Commun. 1986
Transport protocols and congestion control
connection management		 0.011987
Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol · IEEE Trans. Commun. 1987
Automata and formal languages
protocol specification		 0.011987
Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol · IEEE Trans. Commun. 1987
Transport protocols and congestion control
transport protocols		 0.011986
Verification of NBS Class 4 Transport Protocol · IEEE Trans. Commun. 1986
Concurrent programming
communication protocols		 0.011986
Mechanical Verification and Automatic Implementation of Communication Protocols · IEEE Trans. Software Eng. 1986
Program verification
protocol verification		 0.011986
Mechanical Verification and Automatic Implementation of Communication Protocols · IEEE Trans. Software Eng. 1986
Program verification › model checking › state space exploration
reachability analysis		 0.011986
Mechanical Verification and Automatic Implementation of Communication Protocols · IEEE Trans. Software Eng. 1986
Internet architecture and protocols › link-layer protocols
IEEE 802.2		 0.011987
Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol · IEEE Trans. Commun. 1987
Internet architecture and protocols › link-layer protocols
logical link control		 0.011987
Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol · IEEE Trans. Commun. 1987
Authentication and access control › authentication
authentication protocols		 0.011986
Mechanical Verification and Automatic Implementation of Communication Protocols · IEEE Trans. Software Eng. 1986
Authentication and access control
network authentication		 0.011986
Mechanical Verification and Automatic Implementation of Communication Protocols · IEEE Trans. Software Eng. 1986

Methods — techniques the papers use, named apart from their topics

reachability analysis · 0.0model checking · 0.0formal specification · 0.0automated protocol development technique · 0.0automated protocol development · 0.0
YearPublicationVenuePosition
1989 Semi-Automatic Implementation of OSI Protocols
Deepinder P. Sidhu, Thomas P. Blumer
 Comput. Networks ISDN Syst.2
1987 Automated Verification of the Connection Management Aspects of the IEEE 802.2 Logical Link Control Protocol
abstract
This paper discusses the verification of the connection management aspects of the IEEE 802.2 logical link control (LLC) protocol standard for local area networks. An automated protocol development technique is used to verify a subset of the protocol with respect to the protocol properties of completeness, deadlock freeness, boundedness, and termination. These properties are found to hold for the subset of the protocol analyzed here. The technique is also used to derive user event sequences for some interesting subsets of the protocol. These user event sequences together make up a partial service specification of the protocol.
Thomas P. Blumer, Deepinder P. Sidhu
 IEEE Trans. Commun.1
1986 Verification of NBS Class 4 Transport Protocol
abstract
This paper discusses the verification of the connection management aspects of a transport layer protocol available from the National Bureau of Standards. An automated protocol development technique is used to verify a subset of the protocol with respect to the protocol properties of completeness, deadlock freeness, boundedness, and termination. The analysis points out several error situations in which the completeness property does not hold for the protocol. We first give an overview of the protocol development technique used in specification and verification of the protocol. We then describe the transport layer protocol, and present the results obtained by applying the automated verification technique to this protocol.
Deepinder P. Sidhu, Thomas P. Blumer
 IEEE Trans. Commun.2
1986 Mechanical Verification and Automatic Implementation of Communication Protocols
abstract
An automated technique for protocol development is discussed along with its application to the specification, verification, and semiautomatic implementation of an authentication protocol for computer networks. An overview is given of the specification language, implementation method, and software tools used with this technique. The authentication protocol is described, along with an example of its operation. The reachability analysis technique for the verification of some protocol properties is discussed, and protocol verification software that uses this technique is described. The results of mechanical verification of some properties of this protocol are presented with a partial implementation generated automatically from the protocol specification.
Thomas P. Blumer, Deepinder P. Sidhu
 IEEE Trans. Software Eng.1
1982 A Formal Specification Technique and Implementation Method for Protocols
Thomas P. Blumer, Richard L. Tenney
 Comput. Networks1