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

Dongluo Chen

dblp:48/5222 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Network management and operations › network testing
passive testing		 0.122006
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.112006
Network protocol system monitoring: a formal approach with passive testing · IEEE/ACM Trans. Netw. 2006
Logic in computer science
formal methods		 0.112006
Network protocol system monitoring: a formal approach with passive testing · IEEE/ACM Trans. Netw. 2006
Network management and operations
fault management		 0.012002
A Formal Approach for Passive Testing of Protocol Data Portions · ICNP 2002
Automata and formal languages › finite automata
extended finite state machines		 0.012002
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
YearPublicationVenuePosition
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
 FORTE3
2002 A Formal Approach for Passive Testing of Protocol Data Portions
abstract
Passive 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
 ICNP2