Demo Data from SIGIR 2026 / reviewers in the wild / expert
Dongluo Chen
dblp:48/5222
· DBLP profile ↗
3ranked-venue papers
0as first author
0since 2021 · last 2006
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Computer networks · 3Software 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.
| Computer networks
2 papers |
Network management and operations · 85% Internet architecture and protocols · 15% | |
| Theoretical computer science
2 papers |
Logic in computer science · 85% Automata and formal languages · 15% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Network management and operations › network testing
passive testing |
0.1 | 2 | 2006 | Network protocol system monitoring: a formal approach with passive testing · IEEE/ACM Trans. Netw. 2006 A Formal Approach for Passive Testing of Protocol Data Portions · ICNP 2002 |
Network management and operations › fault management
fault diagnosis |
0.1 | 1 | 2006 | Network protocol system monitoring: a formal approach with passive testing · IEEE/ACM Trans. Netw. 2006 |
Logic in computer science
formal methods |
0.1 | 1 | 2006 | Network protocol system monitoring: a formal approach with passive testing · IEEE/ACM Trans. Netw. 2006 |
Network management and operations
fault management |
0.0 | 1 | 2002 | A Formal Approach for Passive Testing of Protocol Data Portions · ICNP 2002 |
Automata and formal languages › finite automata
extended finite state machines |
0.0 | 1 | 2002 | A Formal Approach for Passive Testing of Protocol Data Portions · ICNP 2002 |
Methods — techniques the papers use, named apart from their topics
formal methods · 0.1passive testing · 0.1extended finite state machine · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2006 | Network protocol system monitoring: a formal approach with passive testing
Dongluo Chen, Ruibing Hao, Raymond E. Miller |
IEEE/ACM Trans. Netw. | 2 |
| 2004 | Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee 0001 |
FORTE | 3 |
| 2002 | A Formal Approach for Passive Testing of Protocol Data PortionsabstractPassive testing is a process of detecting faults in a system under test by passively observing its input/output behaviors only without interrupting its normal operations, and proves to be a promising technique for network fault management. We study passive testing of data portions of network protocols and present two algorithms, using an event-driven extended finite state machine model. Experimental results on the Internet routing protocol OSPF (open shortest path first) are reported. Dongluo Chen, Ruibing Hao, Raymond E. Miller |
ICNP | 2 |