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

Jeroen Schot

dblp:23/4083 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 1992
—ORCID · none

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

Computer networks · 2 · 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
1 paper
Internet architecture and protocols · 100%
Software engineering, system software, and programming languages
1 paper
Requirements engineering and software design · 100%

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

TopicWeightPapersLastEvidence papers
Internet architecture and protocols › protocol specification
formal specification		 0.011991
Systematic Design of a Network Gateway Using the FDT LOTOS · INFOCOM 1991
Internet architecture and protocols › network interconnection
gateway		 0.011991
Systematic Design of a Network Gateway Using the FDT LOTOS · INFOCOM 1991
Requirements engineering and software design › formal specification
formal description techniques		 0.011991
Systematic Design of a Network Gateway Using the FDT LOTOS · INFOCOM 1991

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

formal refinement · 0.0LOTOS · 0.0
YearPublicationVenuePosition
1992 Addressing performance requirements in the FDT-based design of distributed systems
Jeroen Schot
 Comput. Commun.1
1991 Systematic Design of a Network Gateway Using the FDT LOTOS
abstract
The design and partial implementation of a network gateway (an intermediate system) using the formal description technique (FDT) LOTOS are described. The requirements capturing process and the formalization process that results in an abstract and formal description of the gateway are described. This description is then refined through a series of functionality decomposition steps. It is claimed that the use of an FDT can improve the quality of the design and implementation, by allowing early evaluation of correctness of design steps.>
Luís Ferreira Pires, Jeroen Schot
 INFOCOM2