2026 Jin Song Dong: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	35	11559	11228	349	348	245	6492

Overview

Jin Song Dong is affiliated with Griffith University in Australia and specializes in Computer Science with a research focus across several subfields including Artificial Intelligence, Information Systems, Signal Processing, Software, and Computer Vision and Pattern Recognition.

The scientist's work covers multiple main topics, including:

Adversarial Robustness in Machine Learning
Advanced Malware Detection Techniques
Software Testing and Debugging Techniques
Software Engineering Research
Explainable Artificial Intelligence (XAI)
Anomaly Detection Techniques and Applications
Formal Methods in Verification

Jin Song Dong has published extensively, with frequent publication venues that include:

arXiv (Cornell University)
IEEE Transactions on Dependable and Secure Computing
IEEE Transactions on Software Engineering
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Software Engineering

Their recent papers include:

"Early Clinical and CT Manifestations of Coronavirus Disease 2019 (COVID-19) Pneumonia," 2020, published in American Journal of Roentgenology
"Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective," 2022, published in IEEE Transactions on Dependable and Secure Computing
"A Framework to Predict High-Resolution Spatiotemporal PM2.5 Distributions Using a Deep-Learning Model: A Case Study of Shijiazhuang, China," 2020, published in Remote Sensing
"DGL-KE: Training Knowledge Graph Embeddings at Scale," 2020, published in arXiv (Cornell University)
"Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling," 2021, published in IEEE Transactions on Software Engineering

The scientist has collaborated frequently with other researchers including Zhé Hóu, Jun Sun, Yun Lin, Guangdong Bai, and Hadrien Bride.

Best Publications

PAT: Towards Flexible Verification under Fairness

Jun Sun;Yang Liu;Jin Song Dong;Jun Pang

504
Citations
Semantic Space: an infrastructure for smart spaces

X. Wang;J.S. Dong;C.Y. Chin;S.R. Hettiarachchi

485
Citations
Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues

Pardeep Kumar;Yun Lin;Guangdong Bai;Andrew Paverd

333
Citations
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit

Jun Sun;Yang Liu;Jin Song Dong

233
Citations
Genetic algorithm: Theory, literature review, and application in image reconstruction

Seyedali Mirjalili;Jin Song Dong;Jin Song Dong;Ali Safa Sadiq;Hossam Faris

198
Citations
Blending Object-Z and Timed CSP: an introduction to TCOZ

Unknown

179
Citations
Integrating Specification and Programs for System Modeling and Verification

Jun Sun;Yang Liu;Jin Song Dong;Chunqing Chen

152
Citations
Nature-Inspired Optimizers: Theories, Literature Reviews and Applications

Seyedali Mirjalili;Jin Song Dong;Andrew Lewis

143
Citations
White-box fairness testing through adversarial sampling

Peixin Zhang;Jingyi Wang;Jun Sun;Guoliang Dong

123
Citations
Binary Harris Hawks Optimizer for High-Dimensional, Low Sample Size Feature Selection

Thaer Thaher;Ali Asghar Heidari;Majdi Mafarja;Jin Song Dong

113
Citations
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers

Yang Liu;Jun Sun;Jin Song Dong

110
Citations
Modeling and verifying hierarchical real-time systems using stateful timed CSP

Jun Sun;Yang Liu;Jin Song Dong;Yan Liu

98
Citations
Timed Automata Patterns

Jin Song Dong;Ping Hao;Shengchao Qin;Jun Sun

95
Citations
Verification of computation orchestration via timed automata

Jin Song Dong;Yang Liu;Jun Sun;Xian Zhang

90
Citations
Multi-Objective Optimization using Artificial Intelligence Techniques

Seyedali Mirjalili;Jin Song Dong

90
Citations
Timed patterns: TCOZ to timed automata

Jin Song Dong;Ping Hao;Sheng Chao Qin;Jun Sun

68
Citations
A Formal Semantics for Complete UML State Machines with Communications

Shuang Liu;Yang Liu;Étienne André;Christine Choppy

66
Citations
Particle Swarm Optimization: Theory, Literature Review, and Application in Airfoil Design

Seyedali Mirjalili;Jin Song Dong;Jin Song Dong;Andrew Lewis;Ali Safa Sadiq

63
Citations
Specifying and Verifying Event-Based Fairness Enhanced Systems

Jun Sun;Yang Liu;Jin Song Dong;Hai H. Wang

62
Citations
Design synthesis from interaction and state-based specifications

J. Sun;J.S. Dong

60
Citations
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

Jun Sun;Yang Liu;Jin Song Dong;Xian Zhang

58
Citations
A formal framework for modeling and validating Simulink diagrams

Chunqing Chen;Jin Song Dong;Jun Sun

57
Citations
Formal Analysis of a Proof-of-Stake Blockchain

Wai Yan Maung Maung Thin;Naipeng Dong;Guangdong Bai;Jin Song Dong

57
Citations

Frequent Co-Authors

Jun Sun Singapore Management University

Zhenkai Liang National University of Singapore

Ali Asghar Heidari National University of Singapore

David S. Rosenblum George Mason University

Majdi M. Mafarja Birzeit University

Gordon Fraser University of Passau

Sebastian Elbaum University of Virginia

Hossam Faris University of Jordan

Seyedali Mirjalili Torrens University Australia

Qinghua Zheng Xi'an Jiaotong University

External Links

Personal website of Jin Song Dong

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring online education options can open doors to a variety of technology careers. For students looking to enter the workforce quickly, pursuing an associate degree online in computer science can be a practical path. This credential can help you land entry-level roles or provide a foundation for further study.

If you’re seeking advanced opportunities, there are also fastest masters degree online programs that let you earn your master’s in as little as a year. The flexibility of these programs allows you to balance work and study, and rapidly upskill for competitive technology jobs.

Not sure which specialization is best for your future? Consider reviewing what masters program should I do to learn about industry trends and the most in-demand computer science fields.

Cost is also a major factor for many learners. Researching the cheapest online college options helps you minimize tuition expenses while still receiving a quality education.