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

Joseph J. Kott

dblp:67/5322 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1997
—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 · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Embedded and real-time systems · 67% Performance modeling and evaluation · 33%

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

TopicWeightPapersLastEvidence papers
Program verification
automated reasoning and model checking		 0.011997
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report) · ICSE 1997
Embedded and real-time systems
real-time software		 0.011997
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report) · ICSE 1997
Embedded and real-time systems
telephone switching systems		 0.011997
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report) · ICSE 1997

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

probabilistic specification checking · 0.0model checking · 0.0
YearPublicationVenuePosition
1997 Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report)
abstract
We describe the application of model checking tools to analyze a real-time software challenge in the design of Lucent Technologies' 5ESS telephone switching system.We use two tools: COSPAN for checking real-time properties, and TPWB for checking probabilistic specifications.We report on the feedback given by the tools, and based on our experience, discuss the advantages and the limitations of the approach used.
Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen
 ICSE3