default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJin Song Dong 0001
Jin-Song Dong 0001 – Jinsong Dong 0001
Person information
- affiliation: National University of Singapore (NUS), School of Computing, Singapore
- affiliation (1995-1998): CSIRO, Australia
- affiliation (PhD 1996): University of Queensland, Brisbane, QLD, Australia
Other persons with the same name
- Jinsong Dong (aka: Jin-song Dong, Jin-Song Dong, Jin Song Dong) — disambiguation page
- Jinsong Dong 0002
![[0000-0002-8789-2499]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-8789-2499")
— Research Institute of Highway Ministry of Transport, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2026
[j74]Yuxin Cao, Kai Ye, Derui Wang, Minhui Xue, Hao Ge, Chenxiong Qian, Jin Song Dong:
Bones of Contention: Exploring Query-Efficient Attacks Against Skeleton Recognition Systems. IEEE Trans. Inf. Forensics Secur. 21: 183-196 (2026)- [e7]Jin-Song Dong, Jing Sun, Xiaofei Xie, Kan Jiang:
Sports Analytics - Second International Conference, ISACE 2025, Shanghai, China, September 26-27, 2025, Proceedings. Lecture Notes in Computer Science 15925, Springer 2026, ISBN 978-3-032-06166-9 [contents] - 2025
- [j73]Guangdong Bai, Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Beng Chin Ooi, Jin Song Dong:
Characterizing Cryptocurrency-Themed Malicious Browser Extensions. Commun. ACM 68(11): 93-101 (2025) - [j72]Yuhuan Huang, Chen-Yan Liu, Yun Lin, Yufan Cai, Bo Jiang, Ping Yang, Zhiyong Huang, Jin Song Dong:
CoEdPilot: Interactively Recommending Project-Wise Code Edits. J. Comput. Sci. Technol. 40(4): 980-992 (2025) - [j71]Yan Xiao, Xinyue Zuo, Xiaoyue Lu, Jin Song Dong, Xiaochun Cao, Ivan Beschastnikh:
Promises and perils of using Transformer-based models for SE research. Neural Networks 184: 107067 (2025) - [j70]Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong:
Verification of Bit-Flip Attacks against Quantized Neural Networks. Proc. ACM Program. Lang. 9(OOPSLA1): 984-1014 (2025) - [j69]Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong:
Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus. Proc. ACM Program. Lang. 9(POPL): 2057-2089 (2025) - [j68]Jinhao Dong, Jun Sun, Wenjie Zhang, Jin Song Dong, Dan Hao:
ConTested: Consistency-Aided Tested Code Generation with LLM. Proc. ACM Softw. Eng. 2(ISSTA): 596-617 (2025) - [j67]Ruofan Liu, Xiwen Teoh, Yun Lin, Guanjie Chen, Ruofei Ren, Denys Poshyvanyk, Jin Song Dong:
GUIPilot: A Consistency-Based Mobile GUI Testing Approach for Detecting Application-Specific Bugs. Proc. ACM Softw. Eng. 2(ISSTA): 753-776 (2025) - [j66]Zhaoyu Liu, Chen Dong, Jia Wei Chen, Alvin Min Jun Jiang, Guanzhou Chen, Aayan Faraz Shaikh, Tian Yu Dong, Chen Wang, Kan Jiang, Jin Song Dong:
Analyzing the Formation Strategy in Tennis Doubles Game. SN Comput. Sci. 6(2) (2025) - [j65]Hangsheng Zhang, Dongqi Han, Shangyuan Zhuang, Zhiliang Wang, Jiyan Sun, Yinlong Liu, Jiqiang Liu, Jinsong Dong:
Explainable and Transferable Adversarial Attack for ML-Based Network Intrusion Detectors. IEEE Trans. Dependable Secur. Comput. 22(5): 5090-5107 (2025) - [j64]Xinyue Zuo, Yan Xiao, Xiaochun Cao, Wenya Wang, Jin Song Dong:
DT4LM: Differential Testing for Reliable Language Model Updates in Classification Tasks. IEEE Trans. Software Eng. 51(12): 3558-3573 (2025) - [c235]Ming Xu, Weili Han, Jitao Yu, Jing Liu, Xinyi Zhang, Yun Lin, Jin Song Dong:
On the Account Security Risks Posed by Password Strength Meters. AsiaCCS 2025: 1582-1599 - [c234]Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong:
Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. ICECCS 2025: 379-400 - [c233]Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong:
F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos. ICLR 2025 - [c232]Qi Zhou, Dongxia Wang, Tianlin Li, Yun Lin, Yang Liu, Jin Song Dong, Qing Guo:
Defending LVLMs Against Vision Attacks Through Partial-Perception Supervision. ICML 2025 - [c231]Xi Weng, Jianing An, Xudong Ma, Binhang Qi, Jie Luo, Xi Yang, Jin Song Dong, Lei Huang:
Clustering Properties of Self-Supervised Learning. ICML 2025 - [c230]Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger:
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. ICSE 2025: 2225-2237 - [c229]Yangjie Zhou, Honglin Zhu, Qian Qiu, Weihao Cui, Zihan Liu, Peng Chen, Mohamed Wahib, Cong Guo, Siyuan Feng, Jintao Meng, Haidong Lan, Jingwen Leng, Yun Lin, Jin Song Dong, Wenxi Zhu, Minwen Deng:
A Sample-Free Compilation Framework for Efficient Dynamic Tensor Computation. SC 2025: 167-184 - [c228]Changsheng Sun, Xinke Li, Jin Song Dong:
Ignoring Directionality Leads to Compromised Graph Neural Network Explanations. SP (Workshops) 2025: 229-235 - [c227]Xiwen Teoh, Yun Lin, Siqi Li, Ruofan Liu, Avi Sollomoni, Yaniv Harel, Jin Song Dong:
Are CAPTCHAs Still Bot-hard? Generalized Visual CAPTCHA Solving with Agentic Vision Language Model. USENIX Security Symposium 2025: 3747-3766 - [c226]Weifei Jin, Yuxin Cao, Junjie Su, Derui Wang, Yedi Zhang, Minhui Xue, Jie Hao, Jin Song Dong, Yixian Yang:
Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems. USENIX Security Symposium 2025: 4643-4662 - [d1]Ruofan Liu, Xiwen Teoh, Yun Lin, Guanjie Chen, Ruofei Ren, Denys Poshyvanyk, Jin Song Dong:
GUIPilot Datasets. Zenodo, 2025
- [i71]Yuxin Cao, Kai Ye, Derui Wang, Minhui Xue, Hao Ge, Chenxiong Qian, Jin Song Dong:
Bones of Contention: Exploring Query-Efficient Attacks Against Skeleton Recognition Systems. CoRR abs/2501.16843 (2025) - [i70]Xi Weng, Jianing An, Xudong Ma, Binhang Qi, Jie Luo, Xi Yang, Jin Song Dong, Lei Huang:
Clustering Properties of Self-Supervised Learning. CoRR abs/2501.18452 (2025) - [i69]Xianglin Yang, Gelei Deng, Jieming Shi, Tianwei Zhang, Jin Song Dong:
Enhancing Model Defense Against Jailbreaks with Proactive Safety Reasoning. CoRR abs/2501.19180 (2025) - [i68]Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong:
Verification of Bit-Flip Attacks against Quantized Neural Networks. CoRR abs/2502.16286 (2025) - [i67]Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger:
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. CoRR abs/2503.22575 (2025) - [i66]Weifei Jin, Yuxin Cao, Junjie Su, Derui Wang, Yedi Zhang, Minhui (Jason) Xue, Jie Hao, Jin Song Dong, Yixian Yang:
Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems. CoRR abs/2504.00858 (2025) - [i65]Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong:
F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos. CoRR abs/2504.08222 (2025) - [i64]Ming Xu, Weili Han, Jitao Yu, Jing Liu, Xinyi Zhang, Yun Lin, Jin Song Dong:
On the Account Security Risks Posed by Password Strength Meters. CoRR abs/2505.08292 (2025) - [i63]Qi Zhou, Jie Zhang, Dongxia Wang, Qiang Liu, Tianlin Li, Jin Song Dong, Wenhai Wang, Qing Guo:
Fair-PP: A Synthetic Dataset for Aligning LLM with Personalized Preferences of Social Equity. CoRR abs/2505.11861 (2025) - [i62]Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En, Jin Song Dong:
RvLLM: LLM Runtime Verification with Domain Knowledge. CoRR abs/2505.18585 (2025) - [i61]Changsheng Sun, Xinke Li, Jin Song Dong:
Ignoring Directionality Leads to Compromised Graph Neural Network Explanations. CoRR abs/2506.04608 (2025) - [i60]Ruofan Liu, Xiwen Teoh, Yun Lin, Guanjie Chen, Ruofei Ren, Denys Poshyvanyk, Jin Song Dong:
GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs. CoRR abs/2506.07385 (2025) - [i59]Chuan Yan, Liuhuo Wan, Bowei Guan, Fengqi Yu, Guangdong Bai, Jin Song Dong:
Tracking GPTs Third Party Service: Automation, Analysis, and Insights. CoRR abs/2506.17315 (2025) - [i58]Liuhuo Wan, Chuan Yan, Mark Huasong Meng, Kailong Wang, Haoyu Wang, Guangdong Bai, Jin Song Dong:
Beyond the Scope: Security Testing of Permission Management in Team Workspace. CoRR abs/2506.17317 (2025) - [i57]Ruofan Liu, Yun Lin, Silas Yeo Shuen Yu, Xiwen Teoh, Zhenkai Liang, Jin Song Dong:
PiMRef: Detecting and Explaining Ever-evolving Spear Phishing Emails with Knowledge Base Invariants. CoRR abs/2507.15393 (2025) - [i56]Binhang Qi, Yun Lin, Xinyi Weng, Yuhuan Huang, Chenyan Liu, Hailong Sun, Jin Song Dong:
Intention-Driven Generation of Project-Specific Test Cases. CoRR abs/2507.20619 (2025) - [i55]Fan Yang, Yihao Huang, Jiayi Zhu, Ling Shi, Geguang Pu, Jin Song Dong, Kailong Wang:
Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models. CoRR abs/2508.03006 (2025) - [i54]Zihao Xu, Ce Hao, Chunzheng Wang, Kuankuan Sima, Fan Shi, Jin Song Dong:
REBot: Reflexive Evasion Robot for Instantaneous Dynamic Obstacle Avoidance. CoRR abs/2508.06229 (2025) - [i53]Yuxin Cao, Yedi Zhang, Wentao He, Yifan Liao, Yan Xiao, Chang Li, Zhiyong Huang, Jin Song Dong:
Towards Powerful and Practical Patch Attacks for 2D Object Detection in Autonomous Driving. CoRR abs/2508.10600 (2025) - [i52]Yuxin Cao, Wei Song, Derui Wang, Jingling Xue, Jin Song Dong:
Failures to Surface Harmful Contents in Video Large Language Models. CoRR abs/2508.10974 (2025) - [i51]Yifan Liao, Yuxin Cao, Yedi Zhang, Wentao He, Yan Xiao, Xianglong Du, Zhiyong Huang, Jin Song Dong:
Towards Stealthy and Effective Backdoor Attacks on Lane Detection: A Naturalistic Data Poisoning Approach. CoRR abs/2508.15778 (2025) - [i50]Yunrui Pei, Hongshu Wang, Wenjie Zhang, Yun Lin, Weiyu Kong, Jin Song Dong:
LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging. CoRR abs/2508.18721 (2025) - [i49]Yuxin Cao, Wei Song, Jingling Xue, Jin Song Dong:
Poisoning Prompt-Guided Sampling in Video Large Language Models. CoRR abs/2509.20851 (2025) - [i48]Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong:
PAT-Agent: Autoformalization for Model Checking. CoRR abs/2509.23675 (2025) - [i47]Thomas Fargues, Ye Dong, Tianwei Zhang, Jin Song Dong:
PRIVMARK: Private Large Language Models Watermarking with MPC. CoRR abs/2509.24624 (2025) - [i46]Zihao Xu, Kuankuan Sima, Junhao Deng, Zixuan Zhuang, Chunzheng Wang, Ce Hao, Jin Song Dong:
APREBot: Active Perception System for Reflexive Evasion Robot. CoRR abs/2509.24733 (2025) - [i45]Weifei Jin, Yuxin Cao, Junjie Su, Minhui Xue, Jie Hao, Ke Xu, Jin Song Dong, Derui Wang:
ALMGuard: Safety Shortcuts and Where to Find Them as Guardrails for Audio-Language Models. CoRR abs/2510.26096 (2025) - [i44]Ruofan Liu, Yun Lin, Jin Song Dong:
DRIP: Defending Prompt Injection via De-instruction Training and Residual Fusion Model Architecture. CoRR abs/2511.00447 (2025) - [i43]Hongtai Wang, Ming Xu, Yanpei Guo, Weili Han, Hoon Wei Lim, Jin Song Dong:
RulePilot: An LLM-Powered Agent for Security Rule Generation. CoRR abs/2511.12224 (2025) - [i42]Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin-Song Dong:
Few-Shot Precise Event Spotting via Unified Multi-Entity Graph and Distillation. CoRR abs/2511.14186 (2025) - [i41]Wenjie Zhang, Yun Lin, Chun Fung Amos Kwok, Xiwen Teoh, Xiaofei Xie, Frank Liauw, Hongyu Zhang, Jin Song Dong:
MINES: Explainable Anomaly Detection through Web API Invariant Inference. CoRR abs/2512.06906 (2025) - [i40]Ye Dong, Xudong Chen, Xiangfu Song, Yaxi Yang, Tianwei Zhang, Jin-Song Dong:
MIZAR: Boosting Secure Three-Party Deep Learning with Co-Designed Sign-Bit Extraction and GPU Acceleration. IACR Cryptol. ePrint Arch. 2025: 1063 (2025) - [i39]Ye Dong, Xudong Chen, Xiangfu Song, Yaxi Yang, Wen-jie Lu, Tianwei Zhang, Jianying Zhou, Jinsong Dong:
ALKAID: Accelerating Three-Party Boolean Circuits by Mixing Correlations and Redundancy. IACR Cryptol. ePrint Arch. 2025: 2298 (2025) - 2024
- [j63]Jingxin Liu, Xiaofeng Liao, Jin-Song Dong, Amin Mansoori:
Continuous-Time Distributed Generalized Nash Equilibrium Seeking in Nonsmooth Fuzzy Aggregative Games. IEEE Trans. Control. Netw. Syst. 11(3): 1262-1274 (2024) - [j62]Jingxin Liu, Xiaofeng Liao, Jin-Song Dong:
A Quaternion-Valued Neural Network Approach to Nonsmooth Nonconvex Constrained Optimization in Quaternion Domain. IEEE Trans. Emerg. Top. Comput. Intell. 8(1): 654-669 (2024) - [j61]Jingxin Liu, Xiaofeng Liao, Jin-Song Dong:
A Recurrent Neural Network Approach for Constrained Distributed Fuzzy Convex Optimization. IEEE Trans. Neural Networks Learn. Syst. 35(7): 9743-9757 (2024) - [c225]Zhaoyu Liu, Murong Ma, Kan Jiang, Zhe Hou, Ling Shi, Jin Song Dong:
PCSP# Denotational Semantics with an Application in Sports Analytics. The Application of Formal Methods 2024: 71-102 - [c224]Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong:
Certified Quantization Strategy Synthesis for Neural Networks. FM (1) 2024: 343-362 - [c223]Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong:
Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. ICFEM 2024: 391-407 - [c222]Kan Jiang, Zhaoyu Liu, Qirui Wu, Murong Ma, Jin Song Dong:
Tracking Small and Fast Moving Ball in Broadcast Videos Using Transfer Learning and the Enhanced Interactive Multi-motion Model. ISACE 2024: 81-96 - [c221]Rajdeep Singh Hundal, Zhaoyu Liu, Bimlesh Wadhwa, Zhe Hou, Kan Jiang, Jin Song Dong:
Soccer Strategy Analytics Using Probabilistic Model Checkers. ISACE 2024: 249-264 - [c220]Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei:
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. ISSTA 2024: 466-478 - [c219]Jinhao Dong, Jun Sun, Yun Lin, Yedi Zhang, Murong Ma, Jin Song Dong, Dan Hao:
Revisiting the Conflict-Resolving Problem from a Semantic Perspective. ASE 2024: 141-152 - [c218]Yifan Liao, Ming Xu, Yun Lin, Xiwen Teoh, Xiaofei Xie, Ruitao Feng, Frank Liaw, Hongyu Zhang, Jin Song Dong:
Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality. ASE 2024: 531-543 - [c217]Ruofan Liu, Yun Lin, Xiwen Teoh, Gongshen Liu, Zhiyong Huang, Jin Song Dong:
Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List. USENIX Security Symposium 2024 - [c216]Xiwen Teoh, Yun Lin, Ruofan Liu, Zhiyong Huang, Jin Song Dong:
PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models. USENIX Security Symposium 2024 - [c215]Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong:
Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions. SANER 2024: 964-975 - [c214]Yudai Pan, Jun Liu, Tianzhe Zhao, Lingling Zhang, Yun Lin, Jin Song Dong:
A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction. WWW 2024: 2181-2192 - [e6]Jin Song Dong, Masoumeh Izadi, Zhe Hou:
Sports Analytics - First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings. Lecture Notes in Computer Science 14794, Springer 2024, ISBN 978-3-031-69072-3 [contents] - [i38]Hangsheng Zhang, Dongqi Han, Yinlong Liu, Zhiliang Wang, Jiyan Sun, Shangyuan Zhuang, Jiqiang Liu, Jinsong Dong:
Explainable and Transferable Adversarial Attack for ML-Based Network Intrusion Detectors. CoRR abs/2401.10691 (2024) - [i37]Hangsheng Zhang, Jiqiang Liu, Jinsong Dong:
CARE: Ensemble Adversarial Robustness Evaluation Against Adaptive Attackers for Security Applications. CoRR abs/2401.11126 (2024) - [i36]Mark Huasong Meng, Hao Guan, Liuhuo Wan, Sin Gee Teo, Guangdong Bai, Jin Song Dong:
PAODING: A High-fidelity Data-free Pruning Toolkit for Debloating Pre-trained Neural Networks. CoRR abs/2405.00074 (2024) - [i35]Nhat Minh Chung, Sensen Gao, Tuan-Anh Vu, Jie Zhang, Aishan Liu, Yun Lin, Jin Song Dong, Qing Guo:
Towards Transferable Attacks Against Vision-LLMs in Autonomous Driving with Typography. CoRR abs/2405.14169 (2024) - [i34]Xianglin Yang, Jin Song Dong:
Exploring the Evolution of Hidden Activations with Live-Update Visualization. CoRR abs/2405.15135 (2024) - [i33]Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong:
Towards Large Language Model Aided Program Refinement. CoRR abs/2406.18616 (2024) - [i32]Qi Guo, Minghao Yao, Zhen Tian, Saiyu Qi, Yong Qi, Yun Lin, Jin Song Dong:
Contribution Evaluation of Heterogeneous Participants in Federated Learning via Prototypical Representations. CoRR abs/2407.02073 (2024) - [i31]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. CoRR abs/2407.17215 (2024) - [i30]Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei:
CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. CoRR abs/2408.01733 (2024) - [i29]Yakun Zhang, Chen Liu, Xiaofei Xie, Yun Lin, Jin Song Dong, Dan Hao, Lu Zhang:
LLM-based Abstraction and Concretization for GUI Test Migration. CoRR abs/2409.05028 (2024) - [i28]Mark Huasong Meng, Chuan Yan, Yun Hao, Qing Zhang, Zeyu Wang, Kailong Wang, Sin Gee Teo, Guangdong Bai, Jin Song Dong:
A Large-Scale Privacy Assessment of Android Third-Party SDKs. CoRR abs/2409.10411 (2024) - [i27]Qi Guo, Zhen Tian, Minghao Yao, Yong Qi, Saiyu Qi, Yun Lin, Jin Song Dong:
Forgetting Through Transforming: Enabling Federated Unlearning via Class-Aware Representation Transformation. CoRR abs/2410.06848 (2024) - [i26]Zixiao Zhao, Jing Sun, Zhiyuan Wei, Cheng-Hao Cai, Zhe Hou, Jin Song Dong:
VisionCoder: Empowering Multi-Agent Auto-Programming for Image Processing with Hybrid LLMs. CoRR abs/2410.19245 (2024) - [i25]Jinhao Dong, Jun Sun, Wenjie Zhang, Jin Song Dong, Dan Hao:
ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation. CoRR abs/2411.15587 (2024) - [i24]Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong:
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap. CoRR abs/2412.06512 (2024) - [i23]Ming Xu, Hongtai Wang, Jiahao Liu, Yun Lin, Chenyang Xu, Yingshi Liu, Hoon Wei Lim, Jin Song Dong:
IntelEX: A LLM-driven Attack-level Threat Intelligence Extraction Framework. CoRR abs/2412.10872 (2024) - [i22]Qi Zhou, Tianlin Li, Qing Guo, Dongxia Wang, Yun Lin, Yang Liu, Jin Song Dong:
Defending LVLMs Against Vision Attacks through Partial-Perception Supervision. CoRR abs/2412.12722 (2024) - 2023
- [j60]Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao:
Extracting optimal explanations for ensemble trees via automated reasoning. Appl. Intell. 53(11): 14371-14382 (2023) - [j59]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55(13s): 277:1-277:47 (2023) - [j58]Jingxin Liu, Xiaofeng Liao, Jin-Song Dong, Amin Mansoori:
A subgradient-based neurodynamic algorithm to constrained nonsmooth nonconvex interval-valued optimization. Neural Networks 160: 259-273 (2023) - [j57]Jingxin Liu, Xiaofeng Liao, Jin-Song Dong, Amin Mansoori:
A neurodynamic approach for nonsmooth optimal power consumption of intelligent and connected vehicles. Neural Networks 161: 693-707 (2023) - [c213]Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong:
Insight Analysis for Tennis Strategy and Tactics. ICDM 2023: 1169-1174 - [c212]Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin:
Sports Analytics Using Probabilistic Model Checking and Deep Learning. ICECCS 2023: 7-11 - [c211]Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong:
Supervised Robustness-preserving Data-free Neural Network Pruning. ICECCS 2023: 22-31 - [c210]Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong:
DeepArc: Modularizing Neural Networks for the Model Maintenance. ICSE 2023: 1008-1019 - [c209]Mengyue Liu, Yun Lin, Jun Liu, Bohao Liu, Qinghua Zheng, Jin Song Dong:
B2-Sampling: Fusing Balanced and Biased Sampling for Graph Contrastive Learning. KDD 2023: 1489-1500 - [c208]Jihong Wang, Minnan Luo, Jundong Li, Yun Lin, Yushun Dong, Jin Song Dong, Qinghua Zheng:
Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective. KDD 2023: 2349-2360 - [c207]Mark Huasong Meng, Qing Zhang, Guangshuai Xia, Yuwei Zheng, Yanjun Zhang, Guangdong Bai, Zhi Liu, Sin G. Teo, Jin Song Dong:
Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers. NDSS 2023 - [c206]Yufan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, Jin Song Dong:
On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models. NeurIPS 2023 - [c205]Mark Huasong Meng, Sin G. Teo, Guangdong Bai, Kailong Wang, Jin Song Dong:
Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning. PAKDD (2) 2023: 441-453 - [c204]Zhaoyu Liu, Kan Jiang, Jin Song Dong:
Sports Injury Prediction in Professional Tennis. PRDC 2023: 304-308 - [c203]Zhaoyu Liu, Jingyu Guo, Mo Wang, Ruicong Wang, Kan Jiang, Jin Song Dong:
Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences. PRDC 2023: 337-341 - [c202]Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong:
Characterizing Cryptocurrency-themed Malicious Browser Extensions. SIGMETRICS (Abstracts) 2023: 91-92 - [c201]Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei:
DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. ESEC/SIGSOFT FSE 2023: 973-985 - [c200]Ruofan Liu, Yun Lin, Yifan Zhang, Penn Han Lee, Jin Song Dong:
Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection. USENIX Security Symposium 2023: 4139-4156 - [i21]Yan Xiao, Xinyue Zuo, Lei Xue, Kailong Wang, Jin Song Dong, Ivan Beschastnikh:
Empirical Study on Transformer-based Techniques for Software Engineering. CoRR abs/2310.00399 (2023) - 2022
- [j56]Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee:
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. 34(2): 1-31 (2022) - [j55]Qian Li, Qingyuan Hu, Saiyu Qi, Yong Qi, Di Wu, Yun Lin, Jin Song Dong:
Stochastic Ghost Batch for Self-distillation with Dynamic Soft Label. Knowl. Based Syst. 241: 107936 (2022) - [j54]Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong:
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling. IEEE Trans. Software Eng. 48(9): 3593-3612 (2022) - [c199]Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei:
DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. AAAI 2022: 5359-5366 - [c198]Zhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza:
A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. ICECCS 2022: 117-122 - [c197]Yunkai Liang, Yun Lin, Xuezhi Song, Jun Sun, Zhiyong Feng, Jin Song Dong:
gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects. ICSE-Companion 2022: 90-94 - [c196]Xianglin Yang, Yun Lin, Ruofan Liu, Jin Song Dong:
Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training. IJCAI 2022: 4022-4028 - [c195]Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, Hong Mei:
RegMiner: towards constructing a large regression dataset from code evolution history. ISSTA 2022: 314-326 - [c194]Yuxi Ling, Kailong Wang, Guangdong Bai, Haoyu Wang, Jin Song Dong:
Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions. ASE 2022: 10:1-10:12 - [c193]Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong:
Repairing Failure-inducing Inputs with Input Reflection. ASE 2022: 85:1-85:13 - [c192]Kailong Wang, Yuwei Zheng, Qing Zhang, Guangdong Bai, Mingchuang Qin, Donghui Zhang, Jin Song Dong:
Assessing certificate validation user interfaces of WPA supplicants. MobiCom 2022: 501-513 - [c191]Ruofan Liu, Yun Lin, Xianglin Yang, Jin Song Dong:
Debugging and Explaining Metric Learning Approaches: An Influence Function Based Perspective. NeurIPS 2022 - [c190]Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Siang Hwee Ng, Xin Peng, Jin Song Dong, Hong Mei:
RegMiner: mining replicable regression dataset from code repositories. ESEC/SIGSOFT FSE 2022: 1711-1715 - [c189]Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong:
Repairing Adversarial Texts Through Perturbation. TASE 2022: 29-48 - [c188]Ruofan Liu, Yun Lin, Xianglin Yang, Siang Hwee Ng, Dinil Mon Divakaran, Jin Song Dong:
Inferring Phishing Intention via Webpage Appearance and Dynamics: A Deep Vision Based Approach. USENIX Security Symposium 2022: 1633-1650 - [i20]Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei:
DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. CoRR abs/2201.01155 (2022) - [i19]Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong:
Repairing Adversarial Texts through Perturbation. CoRR abs/2201.02504 (2022) - [i18]Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang:
A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR abs/2203.10714 (2022) - [i17]Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Jin Song Dong:
Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning. CoRR abs/2204.00783 (2022) - [i16]Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong:
Geometric Theory for Program Testing. CoRR abs/2206.02083 (2022) - [i15]Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong:
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. CoRR abs/2206.12227 (2022) - 2021
- [j53]Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham:
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. Eng. Appl. Artif. Intell. 97: 104091 (2021) - [j52]Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun:
Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. 176: 114806 (2021) - [j51]Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong:
An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. J. Autom. Reason. 65(4): 569-598 (2021) - [j50]Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong:
Characterizing Cryptocurrency-themed Malicious Browser Extensions. Proc. ACM Meas. Anal. Comput. Syst. 6(3): 43:1-43:31 (2021) - [j49]Qian Li, Yong Qi, Qingyuan Hu, Saiyu Qi, Yun Lin, Jin Song Dong:
Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex Interpolation. IEEE Trans. Inf. Forensics Secur. 16: 2447-2460 (2021) - [j48]Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu:
Explaining Regressions via Alignment Slicing and Mending. IEEE Trans. Software Eng. 47(11): 2421-2437 (2021) - [j47]Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang:
Scrutinizing Implementations of Smart Home Integrations. IEEE Trans. Software Eng. 47(12): 2667-2683 (2021) - [c187]Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong:
Self-Checking Deep Neural Networks in Deployment. ICSE 2021: 372-384 - [c186]Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong:
Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA 2021: 2-15 - [c185]Siqi Li, Yun Lin, Xiaofei Xie, Yuekang Li, Xiaohong Li, Weimin Ge, Yang Liu, Jin Song Dong:
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. ASE 2021: 1186-1189 - [c184]Yun Lin, You Sheng Ong, Jun Sun, Gordon Fraser, Jin Song Dong:
Graph-based seed object synthesis for search-based unit testing. ESEC/SIGSOFT FSE 2021: 1068-1080 - [c183]Yun Lin, Ruofan Liu, Dinil Mon Divakaran, Jun Yang Ng, Qing Zhou Chan, Yiwen Lu, Yuxuan Si, Fan Zhang, Jin Song Dong:
Phishpedia: A Hybrid Deep Learning Based Approach to Visually Identify Phishing Webpages. USENIX Security Symposium 2021: 3793-3810 - [c182]Kailong Wang, Junzhe Zhang, Guangdong Bai, Ryan K. L. Ko, Jin Song Dong:
It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts. WWW 2021: 2142-2153 - [i14]Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao:
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. CoRR abs/2103.02191 (2021) - [i13]Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong:
Self-Checking Deep Neural Networks in Deployment. CoRR abs/2103.02371 (2021) - [i12]Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong:
Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling. CoRR abs/2107.08176 (2021) - [i11]Xuezhi Song, Yun Lin, Siang Hwee Ng, Ping Yu, Xin Peng, Jin Song Dong:
Constructing Regression Dataset from Code Evolution History. CoRR abs/2109.12389 (2021) - [i10]Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong:
Generalizing Neural Networks by Reflecting Deviating Data in Production. CoRR abs/2110.02718 (2021) - 2020
- [j46]Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong:
A blockchain-based decentralized booking system. Knowl. Eng. Rev. 35: e17 (2020) - [j45]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. Softw. Syst. Model. 19(4): 983-1013 (2020) - [c181]Satish Siddharth, Sircar Saurav, Kan Jiang, Bimlesh Wadhwa, Jin Song Dong:
Model Driven Inputs to aid Athlete's Decision Making. APSEC 2020: 485-489 - [c180]Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) 2020: 369-377 - [c179]Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
RL: a Language for Formal Engineering. ICECCS 2020: 31-36 - [c178]Kan Jiang, Masoumeh Izadi, Zhaoyu Liu, Jin Song Dong:
Deep Learning Application in Broadcast Tennis Video Annotation. ICECCS 2020: 53-62 - [c177]Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai:
An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. ICECCS 2020: 73-82 - [c176]Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai:
White-box fairness testing through adversarial sampling. ICSE 2020: 949-960 - [c175]Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong:
Recovering fitness gradients for interprocedural Boolean flags in search-based testing. ISSTA 2020: 440-451 - [c174]Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, Xingen Wang:
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction. ASE 2020: 499-510 - [e5]Seyedali Mirjalili, Jin Song Dong, Andrew Lewis:
Nature-Inspired Optimizers - Theories, Literature Reviews and Applications. Studies in Computational Intelligence 811, Springer 2020, ISBN 978-3-030-12126-6 [contents] - [i9]Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong:
Automated synthesis of local time requirement for service composition. CoRR abs/2003.08116 (2020) - [i8]Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
N-PAT: A Nested Model-Checker. CoRR abs/2005.05520 (2020)
2010 – 2019
- 2019
- [j44]Pardeep Kumar, Yun Lin, Guangdong Bai, Andrew Paverd, Jin Song Dong, Andrew P. Martin:
Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues. IEEE Commun. Surv. Tutorials 21(3): 2886-2927 (2019) - [j43]Cyrille Jégourel, Jun Sun, Jin Song Dong:
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. ACM Trans. Model. Comput. Simul. 29(4): 25:1-25:22 (2019) - [c173]Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang:
LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking. ISC 2019: 299-318 - [p6]Seyedali Mirjalili, Jin Song Dong:
Introduction to Nature-Inspired Algorithms. Nature-Inspired Optimizers 2019: 1-5 - [p5]Seyedali Mirjalili, Jin Song Dong, Andrew Lewis:
Ant Colony Optimizer: Theory, Literature Review, and Application in AUV Path Planning. Nature-Inspired Optimizers 2019: 7-21 - [p4]Seyedali Mirjalili, Jin Song Dong, Ali Safa Sadiq, Hossam Faris:
Genetic Algorithm: Theory, Literature Review, and Application in Image Reconstruction. Nature-Inspired Optimizers 2019: 69-85 - [p3]Shahrzad Saremi, Seyedeh Zahra Mirjalili, Seyedali Mirjalili, Jin Song Dong:
Grasshopper Optimization Algorithm: Theory, Literature Review, and Application in Hand Posture Estimation. Nature-Inspired Optimizers 2019: 107-122 - [p2]Seyedali Mirjalili, Jin Song Dong, Andrew Lewis, Ali Safa Sadiq:
Particle Swarm Optimization: Theory, Literature Review, and Application in Airfoil Design. Nature-Inspired Optimizers 2019: 167-184 - [i7]Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong:
A formalisation of the SPARC TSO memory model for multi-core machine code. CoRR abs/1906.11203 (2019) - [i6]Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong:
Analyzing Recurrent Neural Network by Probabilistic Abstraction. CoRR abs/1909.10023 (2019) - [i5]Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham:
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. CoRR abs/1910.01380 (2019) - [i4]Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili:
Silas: High Performance, Explainable and Verifiable Machine Learning. CoRR abs/1910.01382 (2019) - [i3]Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting:
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks. CoRR abs/1911.05904 (2019) - 2018
- [j42]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30(3-4): 351-380 (2018) - [j41]Shahrzad Saremi, Seyedali Mirjalili, Andrew Lewis, Alan Wee-Chung Liew, Jin Song Dong:
Enhanced multi-objective particle swarm optimisation for estimating hand postures. Knowl. Based Syst. 158: 175-195 (2018) - [j40]Seyedali Mirjalili, Andrew Lewis, Jin Song Dong:
Confidence-based robust optimisation using multi-objective meta-heuristics. Swarm Evol. Comput. 43: 109-126 (2018) - [j39]Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser:
Towards Model Checking Android Applications. IEEE Trans. Software Eng. 44(6): 595-612 (2018) - [j38]Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong:
A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. 44(8): 725-746 (2018) - [c172]Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang:
HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. ICECCS 2018: 21-30 - [c171]Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong:
Formal Analysis of a Proof-of-Stake Blockchain. ICECCS 2018: 197-200 - [c170]Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong:
Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. ICFEM 2018: 106-123 - [c169]Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham:
Towards Trustworthy AI for Autonomous Systems. ICFEM 2018: 407-411 - [c168]Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu:
Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM 2018: 412-416 - [c167]Cyrille Jégourel, Jun Sun, Jin Song Dong:
On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) 2018: 287-304 - [c166]Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong:
Break the dead end of dynamic slicing: localizing data and control omission bug. ASE 2018: 509-519 - 2017
- [c165]Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong:
Towards Solving Decision Making Problems Using Probabilistic Model Checking. ICECCS 2017: 150-153 - [c164]Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong:
A Verification Framework for Stateful Security Protocols. ICFEM 2017: 262-280 - [c163]Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si:
App genome: callback sequencing in Android. ICSE (Companion Volume) 2017: 149-151 - [c162]Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jinsong Dong:
Feedback-based debugging. ICSE 2017: 393-403 - [c161]Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong:
Mining implicit design templates for actionable code reuse. ASE 2017: 394-404 - [c160]Cyrille Jégourel, Jun Sun, Jin Song Dong:
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. QEST 2017: 333-350 - [c159]Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong:
Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. SecureComm 2017: 469-488 - [c158]Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong:
A Framework for Formal Analysis of Privacy on SSO Protocols. SecureComm 2017: 763-777 - 2016
- [j37]Stephan Merz, Jun Pang, Jin Song Dong:
Editorial. Formal Aspects Comput. 28(3): 343-344 (2016) - [j36]Stephan Merz, Jun Pang, Jin Song Dong:
Editorial. Formal Aspects Comput. 28(5): 723-724 (2016) - [j35]Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin:
From verified model to executable program: the PAT approach. Innov. Syst. Softw. Eng. 12(1): 1-26 (2016) - [j34]Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. 15(2): 453-471 (2016) - [c157]Li Li, Jun Sun, Jin Song Dong:
Automated Verification of Timed Security Protocols with Clock Drift. FM 2016: 513-530 - [c156]Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong:
Verification of Nash-Equilibrium for Probabilistic BAR Systems. ICECCS 2016: 53-62 - [c155]Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang:
Improving Quality of Use Case Documents through Learning and User Interaction. ICECCS 2016: 101-110 - [c154]Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong:
Towards Using Concurrent Java API Correctly. ICECCS 2016: 219-222 - [c153]Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu:
Automatic Construction of Callback Model for Android Application. ICECCS 2016: 231-234 - [c152]Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong:
Service Adaptation with Probabilistic Partial Models. ICFEM 2016: 122-140 - [c151]Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong:
Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM 2016: 363-382 - [c150]Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong:
Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE 2016: 85-95 - [e4]Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu:
Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10055, Springer 2016, ISBN 978-3-319-50111-6 [contents] - 2015
- [j33]Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang:
BOWL: augmenting the Semantic Web with beliefs. Innov. Syst. Softw. Eng. 11(3): 203-215 (2015) - [j32]Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li:
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng. 41(1): 3-18 (2015) - [c149]Li Li, Jun Sun, Yang Liu, Jin Song Dong:
Verifying Parameterized Timed Security Protocols. FM 2015: 342-359 - [c148]Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo:
All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ICECCS 2015: 60-69 - [c147]Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong:
Formal Analysis of a Single Sign-On Protocol Implementation for Android. ICECCS 2015: 90-99 - [c146]Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun:
Sports Strategy Analytics Using Probabilistic Reasoning. ICECCS 2015: 182-185 - [c145]Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong:
Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA 2015: 246-256 - [c144]Lin Gui, Jun Sun, Yang Liu, Jin Song Dong:
Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA 2015: 293-304 - [c143]Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong:
Interpolation Guided Compositional Verification (T). ASE 2015: 65-74 - [c142]Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen:
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). MoDELS 2015: 449 - [c141]Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi:
Event and Strategy Analytics. TASE 2015: 4-6 - 2014
- [j31]Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang:
Towards verification of computation orchestration. Formal Aspects Comput. 26(4): 729-759 (2014) - [j30]Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang:
Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. 8(1): 1-16 (2014) - [j29]Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun:
Model checking approach to automated planning. Formal Methods Syst. Des. 44(2): 176-202 (2014) - [j28]Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong:
Complexity of the Soundness Problem of Workflow Nets. Fundam. Informaticae 131(1): 81-101 (2014) - [j27]Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Parameter synthesis for hierarchical concurrent real-time systems. Real Time Syst. 50(5-6): 620-679 (2014) - [j26]Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari:
Towards Formal Modelling and Verification of Pervasive Computing Systems. Trans. Comput. Collect. Intell. 16: 62-91 (2014) - [j25]Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. 40(2): 137-153 (2014) - [c140]Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun:
Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software 2014: 151-170 - [c139]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS 2014: 11-18 - [c138]Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong:
SCC-Based Improved Reachability Analysis for Markov Decision Processes. ICFEM 2014: 171-186 - [c137]Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong:
Practical Analysis Framework for Software-Based Attestation Scheme. ICFEM 2014: 284-299 - [c136]Li Li, Jun Sun, Yang Liu, Jin Song Dong:
TAuth: Verifying Timed Security Protocols. ICFEM 2014: 300-315 - [c135]Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong:
VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. ICSE Companion 2014: 564-567 - [c134]Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong:
Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. ICSME 2014: 341-350 - [c133]Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li:
Event Analytics. ICTAC 2014: 17-24 - [c132]Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang:
Automatic early defects detection in use case documents. ASE 2014: 785-790 - [c131]Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong:
RaPiD: a toolkit for reliability analysis of non-deterministic systems. SIGSOFT FSE 2014: 727-730 - [c130]Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong:
Automated runtime recovery for QoS-based service composition. WWW 2014: 563-574 - [i2]Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong:
Stateful Security Protocol Verification. CoRR abs/1403.2237 (2014) - 2013
- [j24]Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André:
Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3:1-3:29 (2013) - [j23]Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong:
Verifying Linearizability via Optimized Refinement Checking. IEEE Trans. Software Eng. 39(7): 1018-1039 (2013) - [c129]Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen:
CELL: A Compositional Verification Framework. ATVA 2013: 474-477 - [c128]Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin:
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV 2013: 984-989 - [c127]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP Semantics for Communicating Processes with Shared Variables. ICFEM 2013: 215-230 - [c126]Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen:
Dynamic synthesis of local time requirement for service composition. ICSE 2013: 542-551 - [c125]Jin Song Dong, Jun Sun, Yang Liu:
Build your own model checker in one month. ICSE 2013: 1481-1483 - [c124]Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin:
Generating C# Programs from CSP# Models. ICST Workshops 2013: 21-26 - [c123]Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong:
Improved Reachability Analysis in DTMC via Divide and Conquer. IFM 2013: 162-176 - [c122]Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong:
A Formal Semantics for Complete UML State Machines with Communications. IFM 2013: 331-346 - [c121]Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang:
Combining model checking and testing with an application to reliability prediction and distribution. ISSTA 2013: 101-111 - [c120]Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong:
Constraint-based automatic symmetry detection. ASE 2013: 15-25 - [c119]Yongzheng Wu, Jun Sun, Yang Liu, Jin Song Dong:
Automatically partition software into least privilege components using dynamic data dependency analysis. ASE 2013: 323-333 - [c118]Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong:
AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. NDSS 2013 - [c117]G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai:
Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. SERVICES 2013: 306-311 - [c116]Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong:
USMMC: a self-contained model checker for UML state machines. ESEC/SIGSOFT FSE 2013: 623-626 - [c115]Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu:
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. VMCAI 2013: 515-535 - 2012
- [j22]Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves:
Editorial. Formal Aspects Comput. 24(1): 1 (2012) - [j21]Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Thanh Tho Quan:
SeVe: automatic tool for verification of security protocols. Frontiers Comput. Sci. China 6(1): 57-75 (2012) - [j20]Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng:
Formal modeling and validation of Stateflow diagrams. Int. J. Softw. Tools Technol. Transf. 14(6): 653-671 (2012) - [c114]Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong:
Complexity of the Soundness Problem of Bounded Workflow Nets. Petri Nets 2012: 92-107 - [c113]Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong:
Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC 2012: 644-653 - [c112]Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong:
A Model Checker for Hierarchical Probabilistic Real-Time Systems. CAV 2012: 705-711 - [c111]Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André:
Automatic Compositional Verification of Timed Systems. FM 2012: 272-276 - [c110]Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu:
Improved BDD-Based Discrete Analysis of Timed Systems. FM 2012: 326-340 - [c109]Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun:
Model Checking Software Architecture Design. HASE 2012: 193-200 - [c108]Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari:
Formal Analysis of Pervasive Computing Systems. ICECCS 2012: 169-178 - [c107]Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun:
Translating PDDL into CSP# - The PAT Approach. ICECCS 2012: 240-249 - [c106]Étienne André, Yang Liu, Jun Sun, Jin Song Dong:
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. ICECCS 2012: 253-262 - [c105]Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong:
Automatic Generation of Provably Correct Embedded Systems. ICFEM 2012: 214-229 - [c104]Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li:
More Anti-chain Based Refinement Checking. ICFEM 2012: 364-380 - [c103]Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho:
An Analytical and Experimental Comparison of CSP Extensions and Tools. ICFEM 2012: 381-397 - [c102]Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong:
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. ICFEM 2012: 398-413 - [c101]Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari:
ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). ICOST 2012: 182-189 - [c100]Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong:
Analyzing multi-agent systems with probabilistic model checking approach. ICSE 2012: 1337-1340 - [c99]Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung:
Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA 2012: 16-30 - [c98]Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun:
Planning as Model Checking Tasks. SEW 2012: 177-186 - [r1]Jun Sun, Yang Liu, Jin Song Dong:
Timed Automata. Handbook of Finite State Based Models and Applications 2012: 87-111 - [i1]Jin Song Dong, Annabelle McIver, Carroll Morgan:
Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10). NII Shonan Meet. Rep. 2012 (2012) - 2011
- [j19]Nwe Ni Tun, Jin Song Dong, Satoshi Tojo:
A philosophy-driven entity classification and enrichment for ontology mapping. Expert Syst. J. Knowl. Eng. 28(2): 138-166 (2011) - [c97]Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu:
An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472 - [c96]Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong:
On Combining State Space Reductions with Global Fairness Assumptions. FM 2011: 432-447 - [c95]Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong:
Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM 2011: 98-114 - [c94]Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li:
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM 2011: 147-162 - [c93]Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu:
Towards a Model Checker for NesC and Wireless Sensor Networks. ICFEM 2011: 372-387 - [c92]Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong:
Differencing Labeled Transition Systems. ICFEM 2011: 537-552 - [c91]Yang Liu, Jun Sun, Jin Song Dong:
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. ISSRE 2011: 190-199 - [c90]Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong:
A model checking framework for hierarchical systems. ASE 2011: 633-636 - [c89]Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu:
Towards bug-free implementation for wireless sensor networks. SenSys 2011: 407-408 - 2010
- [j18]Chunqing Chen, Jin Song Dong, Jun Sun, Andrew P. Martin:
A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. 19(4): 13:1-13:36 (2010) - [c88]Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan:
Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC 2010: 166-175 - [c87]Yang Liu, Jun Sun, Jin Song Dong:
Developing Model Checkers Using PAT. ATVA 2010: 371-377 - [c86]Jit Biswas, Mounir Mokhtari, Jin Song Dong, Philip Lin Kiat Yap:
Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. ICOST 2010: 160-170 - [c85]Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong:
SpecDiff: debugging formal specifications. ASE 2010: 353-354 - [c84]Yang Liu, Jun Sun, Jin Song Dong:
Analyzing hierarchical complex real-time systems. SIGSOFT FSE 2010: 365-366 - [e3]Jin Song Dong, Huibiao Zhu:
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science 6447, Springer 2010, ISBN 978-3-642-16900-7 [contents]
2000 – 2009
- 2009
- [j17]Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock:
Editorial. Formal Aspects Comput. 21(4): 303 (2009) - [j16]Chunqing Chen, Jin Song Dong, Jun Sun:
A formal framework for modeling and validating Simulink diagrams. Formal Aspects Comput. 21(5): 451-483 (2009) - [j15]Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong:
Software monitoring through formal specification animation. Innov. Syst. Softw. Eng. 5(4): 231-241 (2009) - [j14]Jin Song Dong, Jing Sun:
SCP special issue on the grand challenge - Preface. Sci. Comput. Program. 74(4): 167 (2009) - [c83]Jun Sun, Yang Liu, Jin Song Dong, Jun Pang:
PAT: Towards Flexible Verification under Fairness. CAV 2009: 709-714 - [c82]Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong:
Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139 - [c81]Yang Liu, Jun Sun, Jin Song Dong:
Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM 2009: 426-445 - [c80]Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang:
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM 2009: 581-600 - [c79]Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu:
Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411 - [c78]Jin Song Dong, Jun Sun:
Towards Expressive Specification and Efficient Model Checking. TASE 2009: 9 - [c77]Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen:
Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135 - 2008
- [j13]Jun Sun, Yang Liu, Jin Song Dong, Jing Sun:
Compositional encoding for bounded model checking. Frontiers Comput. Sci. China 2(4): 368-379 (2008) - [j12]Kenji Taguchi, Jin Song Dong:
Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach. Int. J. Agent Oriented Softw. Eng. 2(4): 449-474 (2008) - [j11]Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi:
Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008) - [c76]Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang:
Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24 - [c75]Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang:
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM 2008: 318-337 - [c74]Chunqing Chen, Jin Song Dong, Jun Sun:
A verification system for timed interval calculus. ICSE 2008: 271-280 - [c73]Yang Liu, Jun Sun, Jin Song Dong:
An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920 - [c72]Jun Sun, Yang Liu, Jin Song Dong:
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322 - [c71]Nwe Ni Tun, Jin Song Dong:
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. KR 2008: 318-328 - [c70]Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter:
Enhancing Semantic Web Services with Inheritance. ISWC 2008: 162-177 - [c69]Jun Sun, Yang Liu, Jin Song Dong, Jing Sun:
Bounded Model Checking of Compositional Processes. TASE 2008: 23-30 - 2007
- [c68]Jin Song Dong, Yuzhang Feng, Ho-fung Leung:
A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75 - [c67]Chunqing Chen, Jin Song Dong, Jun Sun:
Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115 - [c66]Hui Liang, Jin Song Dong, Jing Sun:
Evolution and Runtime Monitoring of Software Systems. SEKE 2007: 343-348 - [c65]Anh Tuan Luu, Tho T. Quan, Tru Hoang Cao, Jin Song Dong:
Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base. URSW 2007 - [c64]Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong:
Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388 - 2006
- [j10]Jing Sun, Jin Song Dong, Stan Jarzabek, Hai H. Wang:
Computer-aided dispatch system family architecture and verification: an integrated formal approach. IEE Proc. Softw. 153(3): 102-112 (2006) - [j9]Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun:
Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent Grid Syst. 2(4): 455-471 (2006) - [j8]Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit:
Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Trans. Reliab. 55(3): 421-435 (2006) - [j7]Jun Sun, Jin Song Dong:
Design Synthesis from Interaction and State-Based Specifications. IEEE Trans. Software Eng. 32(6): 349-364 (2006) - [c63]Ling Yuan, Jin Song Dong, Jing Sun:
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC 2006: 209-216 - [c62]Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
Semantic Web Languages - Towards an Institutional Perspective. Essays Dedicated to Joseph A. Goguen 2006: 99-123 - [c61]Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora:
Formal Specification-based Online Monitoring. ICECCS 2006: 152-162 - [c60]Chunqing Chen, Jin Song Dong:
Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93 - [c59]Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang:
Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245 - [c58]Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang:
A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359 - [c57]Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin:
HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778 - [c56]Jin Song Dong:
From semantic web to expressive software specifications: a modeling languages spectrum. ICSE 2006: 1063-1064 - [c55]Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun:
Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340 - [e2]Alvaro Arenas, Jin Song Dong, Andrew Martin, Brian Matthews:
Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005. Electronic Notes in Theoretical Computer Science 151(2), Elsevier 2006 [contents] - 2005
- [j6]Jin Song Dong, Ping Hao, Brendan P. Mahony:
Formal Designs for Embedded and Hybrid Systems. Int. J. Softw. Eng. Knowl. Eng. 15(2): 373-378 (2005) - [c54]Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun:
A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472 - [c53]Jun Sun, Jin Song Dong:
Synthesis of Distributed Processes from Scenario-Based Specifications. FM 2005: 415-431 - [c52]Jin Song Dong, D. Dan:
Software Engineering Approaches to Semantic Web. ICECCS 2005: 2 - [c51]Jun Sun, Jin Song Dong:
Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS 2005: 96-105 - [c50]Jin Song Dong, Roger Duke, Ping Hao:
Integrating Object-Z with Timed Automata. ICECCS 2005: 488-497 - [c49]Jun Sun, Jin Song Dong:
Model Checking Live Sequence Charts. ICECCS 2005: 529-538 - [c48]Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang:
The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80 - [c47]Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
Institution Morphisms for Relating OWL and Z. SEKE 2005: 286-291 - [c46]Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li:
TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359 - [c45]Hai H. Wang, Jin Song Dong, Jing Sun:
Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631 - [c44]Dorel Lucanu, Yuan-Fang Li, Jin Song Dong:
Soundness proof of Z semantics of OWL using institutions. WWW (Special interest tracks and posters) 2005: 1048-1049 - [c43]Alvaro E. Arenas, Jin Song Dong, Andrew P. Martin, Brian Matthews:
Preface. WLFM@FM 2005: 1 - 2004
- [j5]Xiaohang Wang, Jin Song Dong, Chung-Yau Chin, SankaRavipriya Hettiarachchi, Daqing Zhang:
Semantic Space: An Infrastructure for Smart Spaces. IEEE Pervasive Comput. 3(3): 32-39 (2004) - [c42]Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony:
Reasoning about Semantic Web in Isabelle/HOL. APSEC 2004: 46-53 - [c41]Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu:
Relating pi-calculus to Object-Z. ICECCS 2004: 97-106 - [c40]Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi:
Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498 - [c39]Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang:
Verifying DAML+OIL and Beyond in Z/EVES. ICSE 2004: 201-210 - [c38]Jin Song Dong:
Software Modeling Techniques and the Semantic Web. ICSE 2004: 724-725 - [c37]Jin Song Dong, Yuzhang Feng, Yuan-Fang Li:
Verifying OWL and ORL Ontologies in PVS. ICTAC 2004: 265-279 - [c36]Jin Song Dong, Shengchao Qin, Jun Sun:
Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186 - [c35]Jin Song Dong, Yuan-Fang Li, Hai H. Wang:
TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) 2004: 442-443 - [c34]Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang:
A combined approach to checking web ontologies. WWW 2004: 714-722 - 2003
- [c33]Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han:
Formalizing Semantics of XSLT Using Object-Z. APWeb 2003: 120-131 - [c32]Shengchao Qin, Jin Song Dong, Wei-Ngan Chin:
A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340 - [c31]Jin Song Dong, Jing Sun, Hai H. Wang:
Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813 - [c30]Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee:
Analysing Web Ontology in Alloy: A Military Case Study. SEKE 2003: 542-546 - [c29]Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie:
ZML: XML Support for Standard Z. ZB 2003: 437-456 - [e1]Jin Song Dong, Jim Woodcock:
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Lecture Notes in Computer Science 2885, Springer 2003, ISBN 3-540-20461-X [contents] - 2002
- [j4]Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang:
A Formal Object Approach to the Design of ZML. Ann. Softw. Eng. 13(1-4): 329-356 (2002) - [j3]Brendan P. Mahony, Jin Song Dong:
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects Comput. 13(2): 142-160 (2002) - [c28]Sergey A. Stupnikov, Leonid A. Kalinichenko, Jin Song Dong:
Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. ADBIS Research Communications 2002: 206-216 - [c27]Jing Sun, Jin Song Dong:
Specifying and Reasoning about Generic Architecture in TCOZ. APSEC 2002: 405- - [c26]Jin Song Dong, Shaoying Liu:
The Semantics of Extended SOFL. COMPSAC 2002: 653-658 - [c25]Jin Song Dong, Jing Sun, Hai H. Wang:
Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606 - [c24]Kenji Taguchi, Jin Song Dong:
An Overview of Mobile Object-Z. ICFEM 2002: 144-155 - [c23]Jin Song Dong, Jing Sun, Hai H. Wang:
Z Approach to Semantic Web. ICFEM 2002: 156-167 - [c22]Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang:
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM 2002: 311-322 - [c21]Shaoying Liu, Jin Song Dong:
Extending SOFL to support both top-down and bottom-up approaches. SMC 2002: 6 - 2001
- [c20]Shaoying Liu, Jin Song Dong:
Class and Module in SOFL. APAQS 2001: 241-248 - [c19]Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang:
An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460 - [c18]Jin Song Dong:
State, Event, Time and Diagram in System Modeling. ICSE 2001: 733-734 - [c17]Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang:
Object-Z web environment and projections to UML. WWW 2001: 725-734 - [p1]Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi:
Linking UML with Integrated Formal Techniques. Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 210-223 - 2000
- [j2]Brendan P. Mahony, Jin Song Dong:
Timed Communicating Object Z. IEEE Trans. Software Eng. 26(2): 150-177 (2000) - [c16]Jing Liu, Jin Song Dong, Jing Sun:
TRMCS in TCOZ. IWSSD 2000: 63-74
1990 – 1999
- 1999
- [c15]Jin Song Dong, Brendan P. Mahony, Neale Fulton:
Capturing Periodic Concurrent Interactions of Mission Computer Tasks. APSEC 1999: 538-545 - [c14]Brendan P. Mahony, Jin Song Dong:
Sensors and Actuators in TCOZ. World Congress on Formal Methods 1999: 1166-1185 - [c13]Jin Song Dong, Brendan P. Mahony, Neale Fulton:
Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods 1999: 1855 - [c12]Brendan P. Mahony, Jin Song Dong:
Overview of the Semantics of TCOZ. IFM 1999: 66-85 - [c11]Jin Song Dong, Shaoying Liu:
An Object Semantic Model of SOFL. IFM 1999: 189-208 - 1998
- [c10]Jin Song Dong, Brendan P. Mahony:
Active Objects in TCOZ. ICFEM 1998: 16-25 - [c9]Brendan P. Mahony, Jin Song Dong:
Blending Object-Z and Timed CSP: An Introduction to TCOZ. ICSE 1998: 95-104 - [c8]Brendan P. Mahony, Jin Song Dong:
Network Topology and a Case Study in TCOZ. ZUM 1998: 308-327 - 1997
- [j1]Jin Song Dong, Roger Duke, Gordon A. Rose:
An object-oriented denotational semantics of a small programming language. Object Oriented Syst. 4: 29-52 (1997) - [c7]Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton:
Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. ICFEM 1997: 161-169 - [c6]Jin Song Dong, Lin Zucconi, Roger Duke:
Specifying Parallel and Distributed Systems in Object-Z. PDSE 1997: 140-149 - [c5]Jin Song Dong, Lin Zucconi:
A framework for adding time into formal object models. WORDS 1997: 26-31 - 1995
- [b1]Jin Song Dong:
Formal object modelling techniques and denotational semantics studies. University of Queensland, Australia, 1995 - [c4]Jin Song Dong:
Living with Free Type and Class Union. APSEC 1995: 304-312 - [c3]Jin Song Dong, Gordon A. Rose, Roger Duke:
The role of secondary attributes in formal object modelling. ICECCS 1995: 31-38 - 1993
- [c2]Jin Song Dong, Roger Duke:
An Object-Oriented Approach to the Formal Specification of ODP Trader. Open Distributed Processing 1993: 341-352 - [c1]Jin Song Dong, Roger Duke:
Class Union and Polymorphism. TOOLS (12/9) 1993: 181-190
Coauthor Index
Zhe Hou
aka: Zhé Hóu
aka: Zhé Hóu
[j72] [j69] [j67] [c235] [c233] [c232] [c229] [c227] [d1] [i65] [i64] [i60] [i57] [i56] [i50] [i44] [i42] [i41] [c220] [c219] [c218] [c217] [c216] [c214] [i35] [i33] [i32] [i30] [i29] [i27] [i23] [i22] [c213] [c212] [c210] [c209] [c208] [c206] [c201] [c200] [j55] [c199] [c197] [c196] [c195] [c193] [c191] [c190] [c188] [i20] [i18] [i15] [j49] [j48] [c187] [c185] [c184] [c183] [i13] [i11] [i10] [c175] [j44] [c166] [c162] [c161] [c134]
[c232] [i31] [i22] [j59] [j51] [j48] [c185] [j45] [i9] [i7] [j42] [j39] [j38] [c164] [c162] [c161] [j34] [c152] [c151] [c150] [e4] [j32] [c149] [c145] [c144] [c143] [c142] [c141] [j31] [j30] [j29] [j28] [j27] [j26] [j25] [c140] [c139] [c138] [c137] [c136] [c135] [c134] [c133] [c132] [c131] [c130] [i2] [j24] [j23] [c129] [c128] [c127] [c126] [c125] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [j21] [j20] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [c100] [c99] [c98] [r1] [c97] [c96] [c95] [c94] [c93] [c92] [c91] [c90] [c89] [c88] [c87] [c85] [c84] [c83] [c82] [c81] [c80] [c79] [c77] [j13] [c76] [c73] [c72] [c69] [c59]
[j70] [j69] [j68] [i68] [c224] [c219] [i33] [i31] [i25] [i24] [j59] [c210] [j54] [c197] [c189] [i19] [j48] [c184] [i12] [j45] [c177] [c176] [c175] [c174] [i9] [j43] [i6] [i3] [j42] [j39] [j38] [c167] [c166] [c164] [c162] [c161] [c160] [j34] [c157] [c155] [c154] [c152] [c151] [c150] [e4] [j32] [c149] [c148] [c145] [c144] [c143] [c142] [c141] [j31] [j30] [j29] [j28] [j27] [j26] [j25] [c140] [c139] [c138] [c137] [c136] [c135] [c134] [c133] [c132] [c131] [c130] [i2] [j24] [j23] [c129] [c128] [c127] [c126] [c125] [c123] [c122] [c121] [c120] [c119] [c118] [c117] [c116] [c115] [j21] [j20] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [c100] [c99] [c98] [r1] [c97] [c96] [c95] [c94] [c93] [c92] [c91] [c90] [c89] [j18] [c88] [c87] [c85] [c84] [j16] [c83] [c82] [c81] [c80] [c79] [c78] [c77] [j13] [j11] [c76] [c75] [c74] [c73] [c72] [c69] [c67] [c64] [j9] [j7] [c59] [c58] [c55] [c54] [c53] [c51] [c49] [c40] [c36] [c30] [c22]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-01-27 03:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
