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

Jiafu Xu

dblp:80/5079 · DBLP profile ↗
← Back
10ranked-venue papers
4as first author
1since 2021 · last 2026
—ORCID · none

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

Applied, interdisciplinary, general and emerging computing · 5 · 2 first-authorSoftware engineering, systems software and programming languages · 3 · 2 first-author · 1 since 2021Theory of computation · 3Artificial intelligence and machine learning · 1 · 1 first-authorSystems, architecture and hardware · 1 · 1 first-author · 1 since 2021

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
Programming languages and type systems · 100%
Theoretical computer science
1 paper
Quantum computing and quantum information · 100%

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

TopicWeightPapersLastEvidence papers
Programming languages and type systems › domain-specific languages
quantum programming languages
0.112008
Quantum programming languages: A tentative study · Sci. China Ser. F Inf. Sci. 2008
Quantum computing and quantum information
quantum programming
0.112008
Quantum programming languages: A tentative study · Sci. China Ser. F Inf. Sci. 2008
YearPublicationVenuePosition
2026 Abusing DDS Discovery: Denial-of-Service Attacks Against ROS 2
abstract
The Data Distribution Service (DDS) provides data-centric publish-subscribe messaging with a mandatory discovery protocol, enabling distributed applications to automatically locate and communicate with each other. ROS 2, the de facto middleware for robotic systems, adopts DDS as its communication backbone. In this paper, we demonstrate that the DDS discovery mechanism can be exploited to mount Denial-of-Service attacks against ROS 2 applications. By repeatedly triggering discovery traffic, an adversary can significantly inflate pipeline latency during runtime. We validate the attack on ROS 2 Humble with two widely used DDS implementations and a real UAV case study, confirming its effectiveness across different configurations.
Jiafu Xu, Songran Liu, Zilong Wang 0018, Minghe Yu 0001, Yue Tang 0001, Yang Wang 0082, Weiguang Pang, Wang Yi 0001
DATE1
2008 Quantum programming languages: A tentative study
Jiafu Xu, Fangmin Song
Sci. China Ser. F Inf. Sci.1
2008 Quantum programming languages
Jiafu Xu, Fanming Song
Frontiers Comput. Sci. China1
1997 Formal semantics of some functional constructs of the software requirements definition language NDRDL
abstract
NDRDL is a software requirements definition language (SRDL), designed as the source language of the software requirements analysis support system NDRASS. It considers both functional and nonfunctional requirements. To avoid the impreciseness and inconsistency of its informal semantics, this paper presents formal semantics of some functional constructs of NDRDL. Different ways and means are adopted according to the inherent characteristics of different constructs.
Lijun Dong, Jiafu Xu
COMPSAC2
1996 Requirements Analysis and Specification as a Problem of Software Automation
Jiafu Xu, Hong Zhu 0002
SEKE1
1995 Denotational semantics of a simple model of Eiffel
Yuzhong Qu, Jiafu Xu
J. Comput. Sci. Technol.3
1995 Analogical Type Theory
Jiafu Xu
J. Symb. Comput.2
1993 Design rationale for a wide spectrum specification language FGSPEC
Lu Jian, Jiafu Xu
J. Comput. Sci. Technol.2
1993 Analogical Program Derivation Based on Type Theory
Jianguo Lu, Jiafu Xu
Theor. Comput. Sci.2
1993 Analogy Calculus
Jiafu Xu
Theor. Comput. Sci.2