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 VLDB 2026 / reviewers in the wild / expert

Michael C. Wilbur-Ham

dblp:30/4968 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1988
—ORCID · none

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

Software engineering, systems software and programming languages · 1

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.

Software engineering, system software, and programming languages
1 paper
Program verification · 50% Requirements engineering and software design · 25% Concurrent programming · 25%
Computer networks
1 paper
Internet architecture and protocols · 100%

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

TopicWeightPapersLastEvidence papers
Requirements engineering and software design
formal specification		 0.011988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols · IEEE Trans. Software Eng. 1988
Concurrent programming › concurrency models
petri nets		 0.011988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols · IEEE Trans. Software Eng. 1988
Program verification
protocol verification		 0.011988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols · IEEE Trans. Software Eng. 1988
Program verification › model checking › state space exploration
reachability analysis		 0.011988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols · IEEE Trans. Software Eng. 1988
Internet architecture and protocols
protocol engineering		 0.011988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols · IEEE Trans. Software Eng. 1988
Internet architecture and protocols
protocol specification		 0.011988
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols · IEEE Trans. Software Eng. 1988

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

simulation · 0.0reachability analysis · 0.0numerical petri nets · 0.0
YearPublicationVenuePosition
1988 PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols
abstract
The PROTEAN protocol emulation and analysis computer aid is presented. It is based on a formal specification technique called numerical Petri nets (NPNs), and provides both graphical (color) and textual interfaces to the protocol designer. NPN specifications may be created, stored, appended to other NPNs, structured, edited, listed, displayed, and analyzed. Interactive simulation, exhaustive reachability analysis, and several directed graph analysis facilities are described. Specification languages are compared, with concentration on extended finite state machines and high-level Petri nets. Both the NPN and PROTEAN facilities are described and illustrated with a simple example. The application of PROTEAN to complex examples is mentioned briefly. Work towards a comprehensive protocol engineering workstation is also discussed.>
Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham
 IEEE Trans. Software Eng.3