Jin Song Dong - RankMe

396 papers A* 63A 13B 49C 66Misc 8Journal 141Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	ARuleCon: Agentic Security Rule Conversion. WWW Ming Xu, Hongtai Wang, Yanpei Guo, Zhengmin Yu, Weili Han, Hoon Wei Lim, Jin Song Dong, Jiaheng Zhang
2026	J	`jnl`	Alkaid: Accelerating Three-Party Boolean Circuits by Mixing Correlations and Redundancy. IEEE Trans. Inf. Forensics Secur. Ye Dong, Xudong Chen, Xiangfu Song, Yaxi Yang, Wen-jie Lu, Tianwei Zhang, Jianying Zhou, Jin Song Dong
2026	J	`jnl`	Bones of Contention: Exploring Query-Efficient Attacks Against Skeleton Recognition Systems. IEEE Trans. Inf. Forensics Secur. Yuxin Cao, Kai Ye, Derui Wang, Minhui Xue, Hao Ge, Chenxiong Qian, Jin Song Dong
2026	J	`jnl`	EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows. CoRR Chenyan Liu, Yun Lin, Jiaxin Chang, Jiawei Liu, Binhang Qi, Bo Jiang, Zhiyong Huang, Jin Song Dong
2026	A*	`conf`	Failures to Surface Harmful Contents in Video Large Language Models. AAAI Yuxin Cao, Wei Song, Derui Wang, Jingling Xue, Jin Song Dong
2026	A*	`conf`	Few-Shot Precise Event Spotting via Unified Multi-Entity Graph and Distillation. AAAI Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong
2026	J	`jnl`	GUI Test Migration via Abstraction and Concretization. ACM Trans. Softw. Eng. Methodol. Yakun Zhang, Chen Liu, Xiaofei Xie, Yun Lin, Jin Song Dong, Dan Hao, Lu Zhang
2026	A*	`conf`	LLMQuA: Practical Backdoor Injection on Large Language Model Quantization. WWW Xiangxiang Chen, Peixin Zhang, Jun Sun, Jin Song Dong, Wenhai Wang, Jingyi Wang
2026	J	`jnl`	REBot: Reflexive Evasion Robot for Instantaneous Dynamic Obstacle Avoidance. IEEE Robotics Autom. Lett. Zihao Xu, Ce Hao, Chunzheng Wang, Kuankuan Sima, Fan Shi, Jin Song Dong
2026	J	`jnl`	Verify Claimed Text-to-Image Models via Boundary-Aware Prompt Optimization. CoRR Zidong Zhao, Yihao Huang, Qing Guo, Tianlin Li, Anran Li, Kailong Wang, Jin Song Dong, Geguang Pu
2026	J	`jnl`	WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements. CoRR Xiwen Teoh, Yun Lin, Duc-Minh Nguyen, Ruofei Ren, Wenjie Zhang, Jin Song Dong
2026	J	`jnl`	Zombie Agents: Persistent Control of Self-Evolving LLM Agents via Self-Reinforcing Injections. CoRR Xianglin Yang, Yufei He, Shuo Ji, Bryan Hooi, Jin Song Dong
2025	A	`conf`	A Sample-Free Compilation Framework for Efficient Dynamic Tensor Computation. SC 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
2025	J	`jnl`	ALMGuard: Safety Shortcuts and Where to Find Them as Guardrails for Audio-Language Models. CoRR Weifei Jin, Yuxin Cao, Junjie Su, Minhui Xue, Jie Hao, Ke Xu, Jin Song Dong, Derui Wang
2025	J	`jnl`	APREBot: Active Perception System for Reflexive Evasion Robot. CoRR Zihao Xu, Kuankuan Sima, Junhao Deng, Zixuan Zhuang, Chunzheng Wang, Ce Hao, Jin Song Dong
2025	—	`conf`	An Empirical Study on Software Defect Prediction Based on Neural Network DeepDebugger Technique. SFPVV Yuxiang Shang, Shaoying Liu, Jin Song Dong
2025	J	`jnl`	Analyzing the Formation Strategy in Tennis Doubles Game. SN Comput. Sci. 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
2025	A*	`conf`	Are CAPTCHAs Still Bot-hard? Generalized Visual CAPTCHA Solving with Agentic Vision Language Model. USENIX Security Symposium Xiwen Teoh, Yun Lin, Siqi Li, Ruofan Liu, Avi Sollomoni, Yaniv Harel, Jin Song Dong
2025	J	`jnl`	Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus. Proc. ACM Program. Lang. Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong
2025	J	`jnl`	Beyond the Scope: Security Testing of Permission Management in Team Workspace. CoRR Liuhuo Wan, Chuan Yan, Mark Huasong Meng, Kailong Wang, Haoyu Wang, Guangdong Bai, Jin Song Dong
2025	J	`jnl`	Bones of Contention: Exploring Query-Efficient Attacks Against Skeleton Recognition Systems. CoRR Yuxin Cao, Kai Ye, Derui Wang, Minhui Xue, Hao Ge, Chenxiong Qian, Jin Song Dong
2025	J	`jnl`	Characterizing Cryptocurrency-Themed Malicious Browser Extensions. Commun. ACM Guangdong Bai, Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Beng Chin Ooi, Jin Song Dong
2025	A*	`conf`	Clustering Properties of Self-Supervised Learning. ICML Xi Weng, Jianing An, Xudong Ma, Binhang Qi, Jie Luo, Xi Yang, Jin Song Dong, Lei Huang
2025	J	`jnl`	Clustering Properties of Self-Supervised Learning. CoRR Xi Weng, Jianing An, Xudong Ma, Binhang Qi, Jie Luo, Xi Yang, Jin Song Dong, Lei Huang
2025	J	`jnl`	CoEdPilot: Interactively Recommending Project-Wise Code Edits. J. Comput. Sci. Technol. Yuhuan Huang, Chen-Yan Liu, Yun Lin, Yufan Cai, Bo Jiang, Ping Yang, Zhiyong Huang, Jin Song Dong
2025	J	`jnl`	ConTested: Consistency-Aided Tested Code Generation with LLM. Proc. ACM Softw. Eng. Jinhao Dong, Jun Sun, Wenjie Zhang, Jin Song Dong, Dan Hao
2025	J	`jnl`	DRIP: Defending Prompt Injection via De-instruction Training and Residual Fusion Model Architecture. CoRR Ruofan Liu, Yun Lin, Jin Song Dong
2025	J	`jnl`	DT4LM: Differential Testing for Reliable Language Model Updates in Classification Tasks. IEEE Trans. Software Eng. Xinyue Zuo, Yan Xiao, Xiaochun Cao, Wenya Wang, Jin Song Dong
2025	A*	`conf`	Defending LVLMs Against Vision Attacks Through Partial-Perception Supervision. ICML Qi Zhou, Dongxia Wang, Tianlin Li, Yun Lin, Yang Liu, Jin Song Dong, Qing Guo
2025	J	`jnl`	Enhancing Model Defense Against Jailbreaks with Proactive Safety Reasoning. CoRR Xianglin Yang, Gelei Deng, Jieming Shi, Tianwei Zhang, Jin Song Dong
2025	J	`jnl`	F CoRR Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong
2025	A*	`conf`	F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos. ICLR Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong
2025	J	`jnl`	Failures to Surface Harmful Contents in Video Large Language Models. CoRR Yuxin Cao, Wei Song, Derui Wang, Jingling Xue, Jin Song Dong
2025	J	`jnl`	Fair-PP: A Synthetic Dataset for Aligning LLM with Personalized Preferences of Social Equity. CoRR Qi Zhou, Jie Zhang, Dongxia Wang, Qiang Liu, Tianlin Li, Jin Song Dong, Wenhai Wang, Qing Guo
2025	J	`jnl`	GUIPilot: A Consistency-Based Mobile GUI Testing Approach for Detecting Application-Specific Bugs. Proc. ACM Softw. Eng. Ruofan Liu, Xiwen Teoh, Yun Lin, Guanjie Chen, Ruofei Ren, Denys Poshyvanyk, Jin Song Dong
2025	J	`jnl`	GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs. CoRR Ruofan Liu, Xiwen Teoh, Yun Lin, Guanjie Chen, Ruofei Ren, Denys Poshyvanyk, Jin Song Dong
2025	—	`conf`	Ignoring Directionality Leads to Compromised Graph Neural Network Explanations. SP (Workshops) Changsheng Sun, Xinke Li, Jin Song Dong
2025	J	`jnl`	Ignoring Directionality Leads to Compromised Graph Neural Network Explanations. CoRR Changsheng Sun, Xinke Li, Jin Song Dong
2025	J	`jnl`	Intention-Driven Generation of Project-Specific Test Cases. CoRR Binhang Qi, Yun Lin, Xinyi Weng, Yuhuan Huang, Chenyan Liu, Hailong Sun, Jin Song Dong
2025	J	`jnl`	LLM as an Execution Estimator: Recovering Missing Dependency for Practical Time-travelling Debugging. CoRR Yunrui Pei, Hongshu Wang, Wenjie Zhang, Yun Lin, Weiyu Kong, Jin Song Dong
2025	J	`jnl`	MINES: Explainable Anomaly Detection through Web API Invariant Inference. CoRR Wenjie Zhang, Yun Lin, Chun Fung Amos Kwok, Xiwen Teoh, Xiaofei Xie, Frank Liauw, Hongyu Zhang, Jin Song Dong
2025	B	`conf`	Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. ICECCS Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong
2025	A	`conf`	On the Account Security Risks Posed by Password Strength Meters. AsiaCCS Ming Xu, Weili Han, Jitao Yu, Jing Liu, Xinyi Zhang, Yun Lin, Jin Song Dong
2025	J	`jnl`	On the Account Security Risks Posed by Password Strength Meters. CoRR Ming Xu, Weili Han, Jitao Yu, Jing Liu, Xinyi Zhang, Yun Lin, Jin Song Dong
2025	A*	`conf`	On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. ICSE Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger
2025	J	`jnl`	On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. CoRR Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger
2025	A*	`conf`	PAT-Agent: Autoformalization for Model Checking. ASE Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
2025	J	`jnl`	PAT-Agent: Autoformalization for Model Checking. CoRR Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong
2025	J	`jnl`	PRIVMARK: Private Large Language Models Watermarking with MPC. CoRR Thomas Fargues, Ye Dong, Tianwei Zhang, Jin Song Dong
2025	J	`jnl`	PiMRef: Detecting and Explaining Ever-evolving Spear Phishing Emails with Knowledge Base Invariants. CoRR Ruofan Liu, Yun Lin, Silas Yeo Shuen Yu, Xiwen Teoh, Zhenkai Liang, Jin Song Dong
2025	J	`jnl`	Poisoning Prompt-Guided Sampling in Video Large Language Models. CoRR Yuxin Cao, Wei Song, Jingling Xue, Jin Song Dong
2025	—	`conf`	Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. ICML (Position Papers) 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
2025	J	`jnl`	Promises and perils of using Transformer-based models for SE research. Neural Networks Yan Xiao, Xinyue Zuo, Xiaoyue Lu, Jin Song Dong, Xiaochun Cao, Ivan Beschastnikh
2025	J	`jnl`	REBot: Reflexive Evasion Robot for Instantaneous Dynamic Obstacle Avoidance. CoRR Zihao Xu, Ce Hao, Chunzheng Wang, Kuankuan Sima, Fan Shi, Jin Song Dong
2025	J	`jnl`	RulePilot: An LLM-Powered Agent for Security Rule Generation. CoRR Hongtai Wang, Ming Xu, Yanpei Guo, Weili Han, Hoon Wei Lim, Jin Song Dong
2025	J	`jnl`	RvLLM: LLM Runtime Verification with Domain Knowledge. CoRR Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En, Jin Song Dong
2025	J	`jnl`	Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models. CoRR Fan Yang, Yihao Huang, Jiayi Zhu, Ling Shi, Geguang Pu, Jin Song Dong, Kailong Wang
2025	J	`jnl`	Towards Powerful and Practical Patch Attacks for 2D Object Detection in Autonomous Driving. CoRR Yuxin Cao, Yedi Zhang, Wentao He, Yifan Liao, Yan Xiao, Chang Li, Zhiyong Huang, Jin Song Dong
2025	J	`jnl`	Towards Stealthy and Effective Backdoor Attacks on Lane Detection: A Naturalistic Data Poisoning Approach. CoRR Yifan Liao, Yuxin Cao, Yedi Zhang, Wentao He, Yan Xiao, Xianglong Du, Zhiyong Huang, Jin Song Dong
2025	J	`jnl`	Tracking GPTs Third Party Service: Automation, Analysis, and Insights. CoRR Chuan Yan, Liuhuo Wan, Bowei Guan, Fengqi Yu, Guangdong Bai, Jin Song Dong
2025	J	`jnl`	Verification of Bit-Flip Attacks against Quantized Neural Networks. CoRR Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong
2025	J	`jnl`	Verification of Bit-Flip Attacks against Quantized Neural Networks. Proc. ACM Program. Lang. Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong
2025	A*	`conf`	Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems. USENIX Security Symposium Weifei Jin, Yuxin Cao, Junjie Su, Derui Wang, Yedi Zhang, Minhui Xue, Jie Hao, Jin Song Dong, Yixian Yang
2025	J	`jnl`	Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems. CoRR Weifei Jin, Yuxin Cao, Junjie Su, Derui Wang, Yedi Zhang, Minhui (Jason) Xue, Jie Hao, Jin Song Dong, Yixian Yang
2024	J	`jnl`	A Large-Scale Privacy Assessment of Android Third-Party SDKs. CoRR Mark Huasong Meng, Chuan Yan, Yun Hao, Qing Zhang, Zeyu Wang, Kailong Wang, Sin Gee Teo, Guangdong Bai, Jin Song Dong
2024	A*	`conf`	A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction. WWW Yudai Pan, Jun Liu, Tianzhe Zhao, Lingling Zhang, Yun Lin, Jin Song Dong
2024	—	`conf`	Certified Quantization Strategy Synthesis for Neural Networks. FM (1) Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong
2024	A	`conf`	CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. ISSTA Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei
2024	J	`jnl`	CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. CoRR Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei
2024	J	`jnl`	ConAIR:Consistency-Augmented Iterative Interaction Framework to Enhance the Reliability of Code Generation. CoRR Jinhao Dong, Jun Sun, Wenjie Zhang, Jin Song Dong, Dan Hao
2024	J	`jnl`	Contribution Evaluation of Heterogeneous Participants in Federated Learning via Prototypical Representations. CoRR Qi Guo, Minghao Yao, Zhen Tian, Saiyu Qi, Yong Qi, Yun Lin, Jin Song Dong
2024	J	`jnl`	Defending LVLMs Against Vision Attacks through Partial-Perception Supervision. CoRR Qi Zhou, Tianlin Li, Qing Guo, Dongxia Wang, Yun Lin, Yang Liu, Jin Song Dong
2024	A*	`conf`	Detecting and Explaining Anomalies Caused by Web Tamper Attacks via Building Consistency-based Normality. ASE Yifan Liao, Ming Xu, Yun Lin, Xiwen Teoh, Xiaofei Xie, Ruitao Feng, Frank Liaw, Hongyu Zhang, Jin Song Dong
2024	A	`conf`	Essential or Excessive? MINDAEXT: Measuring Data Minimization Practices among Browser Extensions. SANER Yuxi Ling, Yun Hao, Yuyan Wang, Kailong Wang, Guangdong Bai, Jin Song Dong
2024	J	`jnl`	Exploring the Evolution of Hidden Activations with Live-Update Visualization. CoRR Xianglin Yang, Jin Song Dong
2024	J	`jnl`	Forgetting Through Transforming: Enabling Federated Unlearning via Class-Aware Representation Transformation. CoRR Qi Guo, Zhen Tian, Minghao Yao, Yong Qi, Saiyu Qi, Yun Lin, Jin Song Dong
2024	J	`jnl`	Formalizing UML State Machines for Automated Verification - A Survey. CoRR Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
2024	J	`jnl`	IntelEX: A LLM-driven Attack-level Threat Intelligence Extraction Framework. CoRR Ming Xu, Hongtai Wang, Jiahao Liu, Yun Lin, Chenyang Xu, Yingshi Liu, Hoon Wei Lim, Jin Song Dong
2024	J	`jnl`	LLM-based Abstraction and Concretization for GUI Test Migration. CoRR Yakun Zhang, Chen Liu, Xiaofei Xie, Yun Lin, Jin Song Dong, Dan Hao, Lu Zhang
2024	A*	`conf`	Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List. USENIX Security Symposium Ruofan Liu, Yun Lin, Xiwen Teoh, Gongshen Liu, Zhiyong Huang, Jin Song Dong
2024	C	`conf`	Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. ICFEM Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong
2024	J	`jnl`	PAODING: A High-fidelity Data-free Pruning Toolkit for Debloating Pre-trained Neural Networks. CoRR Mark Huasong Meng, Hao Guan, Liuhuo Wan, Sin Gee Teo, Guangdong Bai, Jin Song Dong
2024	—	`conf`	PCSP# Denotational Semantics with an Application in Sports Analytics. The Application of Formal Methods Zhaoyu Liu, Murong Ma, Kan Jiang, Zhe Hou, Ling Shi, Jin Song Dong
2024	A*	`conf`	PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models. USENIX Security Symposium Xiwen Teoh, Yun Lin, Ruofan Liu, Zhiyong Huang, Jin Song Dong
2024	A*	`conf`	Revisiting the Conflict-Resolving Problem from a Semantic Perspective. ASE Jinhao Dong, Jun Sun, Yun Lin, Yedi Zhang, Murong Ma, Jin Song Dong, Dan Hao
2024	—	`conf`	Soccer Strategy Analytics Using Probabilistic Model Checkers. ISACE Rajdeep Singh Hundal, Zhaoyu Liu, Bimlesh Wadhwa, Zhe Hou, Kan Jiang, Jin Song Dong
2024	—	`ed.`	Sports Analytics - First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings ISACE Jin Song Dong, Masoumeh Izadi, Zhe Hou
2024	J	`jnl`	The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap. CoRR 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
2024	J	`jnl`	Towards Large Language Model Aided Program Refinement. CoRR Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong
2024	J	`jnl`	Towards Transferable Attacks Against Vision-LLMs in Autonomous Driving with Typography. CoRR Nhat Chung, Sensen Gao, Tuan-Anh Vu, Jie Zhang, Aishan Liu, Yun Lin, Jin Song Dong, Qing Guo
2024	—	`conf`	Tracking Small and Fast Moving Ball in Broadcast Videos Using Transfer Learning and the Enhanced Interactive Multi-motion Model. ISACE Kan Jiang, Zhaoyu Liu, Qirui Wu, Murong Ma, Jin Song Dong
2024	J	`jnl`	VisionCoder: Empowering Multi-Agent Auto-Programming for Image Processing with Hybrid LLMs. CoRR Zixiao Zhao, Jing Sun, Zhiyuan Wei, Cheng-Hao Cai, Zhe Hou, Jin Song Dong
2023	A*	`conf`	B KDD Mengyue Liu, Yun Lin, Jun Liu, Bohao Liu, Qinghua Zheng, Jin Song Dong
2023	—	`conf`	Characterizing Cryptocurrency-themed Malicious Browser Extensions. SIGMETRICS (Abstracts) Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong
2023	A*	`conf`	DeepArc: Modularizing Neural Networks for the Model Maintenance. ICSE Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong
2023	—	`conf`	DeepDebugger: An Interactive Time-Travelling Debugging Approach for Deep Classifiers. ESEC/SIGSOFT FSE Xianglin Yang, Yun Lin, Yifan Zhang, Linpeng Huang, Jin Song Dong, Hong Mei
2023	J	`jnl`	Empirical Study on Transformer-based Techniques for Software Engineering. CoRR Yan Xiao, Xinyue Zuo, Lei Xue, Kailong Wang, Jin Song Dong, Ivan Beschastnikh
2023	A*	`conf`	Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective. KDD Jihong Wang, Minnan Luo, Jundong Li, Yun Lin, Yushun Dong, Jin Song Dong, Qinghua Zheng
2023	—	`conf`	Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning. PAKDD (2) Mark Huasong Meng, Sin G. Teo, Guangdong Bai, Kailong Wang, Jin Song Dong
2023	J	`jnl`	Extracting optimal explanations for ensemble trees via automated reasoning. Appl. Intell. Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
2023	J	`jnl`	Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong
2023	A*	`conf`	Insight Analysis for Tennis Strategy and Tactics. ICDM Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong
2023	A*	`conf`	Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection. USENIX Security Symposium Ruofan Liu, Yun Lin, Yifan Zhang, Penn Han Lee, Jin Song Dong
2023	A*	`conf`	On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models. NeurIPS Yufan Cai, Yun Lin, Chenyan Liu, Jinglian Wu, Yifan Zhang, Yiming Liu, Yeyun Gong, Jin Song Dong
2023	A*	`conf`	Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers. NDSS Mark Huasong Meng, Qing Zhang, Guangshuai Xia, Yuwei Zheng, Yanjun Zhang, Guangdong Bai, Zhi Liu, Sin G. Teo, Jin Song Dong
2023	C	`conf`	Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences. PRDC Zhaoyu Liu, Jingyu Guo, Mo Wang, Ruicong Wang, Kan Jiang, Jin Song Dong
2023	B	`conf`	Sports Analytics Using Probabilistic Model Checking and Deep Learning. ICECCS Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin
2023	C	`conf`	Sports Injury Prediction in Professional Tennis. PRDC Zhaoyu Liu, Kan Jiang, Jin Song Dong
2023	B	`conf`	Supervised Robustness-preserving Data-free Neural Network Pruning. ICECCS Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong
2022	B	`conf`	A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. ICECCS Zhé Hóu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza
2022	J	`jnl`	A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang
2022	J	`jnl`	Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective. CoRR Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong
2022	A*	`conf`	Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions. ASE Yuxi Ling, Kailong Wang, Guangdong Bai, Haoyu Wang, Jin Song Dong
2022	A*	`conf`	Assessing certificate validation user interfaces of WPA supplicants. MobiCom Kailong Wang, Yuwei Zheng, Qing Zhang, Guangdong Bai, Mingchuang Qin, Donghui Zhang, Jin Song Dong
2022	J	`jnl`	Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling. IEEE Trans. Software Eng. Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong
2022	A*	`conf`	Debugging and Explaining Metric Learning Approaches: An Influence Function Based Perspective. NeurIPS Ruofan Liu, Yun Lin, Xianglin Yang, Jin Song Dong
2022	A*	`conf`	DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. AAAI Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei
2022	J	`jnl`	DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. CoRR Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei
2022	J	`jnl`	Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
2022	J	`jnl`	Geometric Theory for Program Testing. CoRR Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong
2022	A*	`conf`	Inferring Phishing Intention via Webpage Appearance and Dynamics: A Deep Vision Based Approach. USENIX Security Symposium Ruofan Liu, Yun Lin, Xianglin Yang, Siang Hwee Ng, Dinil Mon Divakaran, Jin Song Dong
2022	J	`jnl`	Paoding: Supervised Robustness-preserving Data-free Neural Network Pruning. CoRR Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Jin Song Dong
2022	—	`conf`	RegMiner: mining replicable regression dataset from code repositories. ESEC/SIGSOFT FSE Xuezhi Song, Yun Lin, Yijian Wu, Yifan Zhang, Siang Hwee Ng, Xin Peng, Jin Song Dong, Hong Mei
2022	A	`conf`	RegMiner: towards constructing a large regression dataset from code evolution history. ISSTA Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, Hong Mei
2022	Misc	`conf`	Repairing Adversarial Texts Through Perturbation. TASE Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong
2022	J	`jnl`	Repairing Adversarial Texts through Perturbation. CoRR Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong
2022	A*	`conf`	Repairing Failure-inducing Inputs with Input Reflection. ASE Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong
2022	J	`jnl`	Stochastic Ghost Batch for Self-distillation with Dynamic Soft Label. Knowl. Based Syst. Qian Li, Qingyuan Hu, Saiyu Qi, Yong Qi, Di Wu, Yun Lin, Jin Song Dong
2022	A*	`conf`	Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training. IJCAI Xianglin Yang, Yun Lin, Ruofan Liu, Jin Song Dong
2022	—	`conf`	gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects. ICSE-Companion Yunkai Liang, Yun Lin, Xuezhi Song, Jun Sun, Zhiyong Feng, Jin Song Dong
2021	A*	`conf`	A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. ASE Siqi Li, Yun Lin, Xiaofei Xie, Yuekang Li, Xiaohong Li, Weimin Ge, Yang Liu, Jin Song Dong
2021	J	`jnl`	Adversarial Adaptive Neighborhood With Feature Importance-Aware Convex Interpolation. IEEE Trans. Inf. Forensics Secur. Qian Li, Yong Qi, Qingyuan Hu, Saiyu Qi, Yun Lin, Jin Song Dong
2021	J	`jnl`	An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model. J. Autom. Reason. Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu, Koh Chuen Hoa, Jin Song Dong
2021	J	`jnl`	Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling. CoRR Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong
2021	J	`jnl`	Characterizing Cryptocurrency-themed Malicious Browser Extensions. Proc. ACM Meas. Anal. Comput. Syst. Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong
2021	J	`jnl`	Constructing Regression Dataset from Code Evolution History. CoRR Xuezhi Song, Yun Lin, Siang Hwee Ng, Ping Yu, Xin Peng, Jin Song Dong
2021	J	`jnl`	Explaining Regressions via Alignment Slicing and Mending. IEEE Trans. Software Eng. Haijun Wang, Yun Lin, Zijiang Yang, Jun Sun, Yang Liu, Jin Song Dong, Qinghua Zheng, Ting Liu
2021	J	`jnl`	Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. CoRR Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
2021	J	`jnl`	GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. Eng. Appl. Artif. Intell. Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
2021	J	`jnl`	Generalizing Neural Networks by Reflecting Deviating Data in Production. CoRR Yan Xiao, Yun Lin, Ivan Beschastnikh, Changsheng Sun, David S. Rosenblum, Jin Song Dong
2021	—	`conf`	Graph-based seed object synthesis for search-based unit testing. ESEC/SIGSOFT FSE Yun Lin, You Sheng Ong, Jun Sun, Gordon Fraser, Jin Song Dong
2021	A	`conf`	Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong
2021	A*	`conf`	It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts. WWW Kailong Wang, Junzhe Zhang, Guangdong Bai, Ryan K. L. Ko, Jin Song Dong
2021	A*	`conf`	Phishpedia: A Hybrid Deep Learning Based Approach to Visually Identify Phishing Webpages. USENIX Security Symposium Yun Lin, Ruofan Liu, Dinil Mon Divakaran, Jun Yang Ng, Qing Zhou Chan, Yiwen Lu, Yuxuan Si, Fan Zhang, Jin Song Dong
2021	J	`jnl`	Scrutinizing Implementations of Smart Home Integrations. IEEE Trans. Software Eng. Kulani Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Yan Liu, Jin Song Dong, Zhenkai Liang
2021	A*	`conf`	Self-Checking Deep Neural Networks in Deployment. ICSE Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong
2021	J	`jnl`	Self-Checking Deep Neural Networks in Deployment. CoRR Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong
2021	J	`jnl`	Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
2020	J	`jnl`	A blockchain-based decentralized booking system. Knowl. Eng. Rev. Naipeng Dong, Guangdong Bai, Lung-Chen Huang, Edmund Kok Heng Lim, Jin Song Dong
2020	B	`conf`	An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. ICECCS Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai
2020	J	`jnl`	Automated synthesis of local time requirement for service composition. CoRR Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
2020	J	`jnl`	Automated synthesis of local time requirement for service composition. Softw. Syst. Model. Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong
2020	B	`conf`	Deep Learning Application in Broadcast Tennis Video Annotation. ICECCS Kan Jiang, Masoumeh Izadi, Zhaoyu Liu, Jin Song Dong
2020	C	`conf`	Model Driven Inputs to aid Athlete's Decision Making. APSEC Satish Siddharth, Sircar Saurav, Kan Jiang, Bimlesh Wadhwa, Jin Song Dong
2020	—	`conf`	N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020	J	`jnl`	N-PAT: A Nested Model-Checker. CoRR Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020	—	`book`	Nature-Inspired Optimizers - Theories, Literature Reviews and Applications Nature-Inspired Optimizers Seyedali Mirjalili, Jin Song Dong, Andrew Lewis
2020	B	`conf`	RL: a Language for Formal Engineering. ICECCS Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020	A	`conf`	Recovering fitness gradients for interprocedural Boolean flags in search-based testing. ISSTA Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong
2020	A*	`conf`	Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction. ASE Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, Xingen Wang
2020	A*	`conf`	White-box fairness testing through adversarial sampling. ICSE Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai
2019	J	`jnl`	A formalisation of the SPARC TSO memory model for multi-core machine code. CoRR Zhe Hou, David Sanán, Alwen Tiu, Yang Liu, Jin Song Dong
2019	J	`jnl`	Analyzing Recurrent Neural Network by Probabilistic Abstraction. CoRR Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong
2019	—	`ch.`	Ant Colony Optimizer: Theory, Literature Review, and Application in AUV Path Planning. Nature-Inspired Optimizers Seyedali Mirjalili, Jin Song Dong, Andrew Lewis
2019	J	`jnl`	GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. CoRR Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham
2019	—	`ch.`	Genetic Algorithm: Theory, Literature Review, and Application in Image Reconstruction. Nature-Inspired Optimizers Seyedali Mirjalili, Jin Song Dong, Ali Safa Sadiq, Hossam Faris
2019	—	`ch.`	Grasshopper Optimization Algorithm: Theory, Literature Review, and Application in Hand Posture Estimation. Nature-Inspired Optimizers Shahrzad Saremi, Seyedeh Zahra Mirjalili, Seyedali Mirjalili, Jin Song Dong
2019	—	`ch.`	Introduction to Nature-Inspired Algorithms. Nature-Inspired Optimizers Seyedali Mirjalili, Jin Song Dong
2019	C	`conf`	LightSense: A Novel Side Channel for Zero-permission Mobile User Tracking. ISC Quanqi Ye, Yan Zhang, Guangdong Bai, Naipeng Dong, Zhenkai Liang, Jin Song Dong, Haoyu Wang
2019	—	`ch.`	Particle Swarm Optimization: Theory, Literature Review, and Application in Airfoil Design. Nature-Inspired Optimizers Seyedali Mirjalili, Jin Song Dong, Andrew Lewis, Ali Safa Sadiq
2019	J	`jnl`	Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. ACM Trans. Model. Comput. Simul. Cyrille Jégourel, Jun Sun, Jin Song Dong
2019	J	`jnl`	Silas: High Performance, Explainable and Verifiable Machine Learning. CoRR Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili
2019	J	`jnl`	Smart Grid Metering Networks: A Survey on Security, Privacy and Open Research Issues. IEEE Commun. Surv. Tutorials Pardeep Kumar, Yun Lin, Guangdong Bai, Andrew Paverd, Jin Song Dong, Andrew P. Martin
2019	J	`jnl`	There is Limited Correlation between Coverage and Robustness for Deep Neural Networks. CoRR Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting
2018	J	`jnl`	A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong
2018	J	`jnl`	A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
2018	A*	`conf`	Break the dead end of dynamic slicing: localizing data and control omission bug. ASE Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong
2018	J	`jnl`	Confidence-based robust optimisation using multi-objective meta-heuristics. Swarm Evol. Comput. Seyedali Mirjalili, Andrew Lewis, Jin Song Dong
2018	J	`jnl`	Enhanced multi-objective particle swarm optimisation for estimating hand postures. Knowl. Based Syst. Shahrzad Saremi, Seyedali Mirjalili, Andrew Lewis, Alan Wee-Chung Liew, Jin Song Dong
2018	B	`conf`	Formal Analysis of a Proof-of-Stake Blockchain. ICECCS Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong
2018	B	`conf`	HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. ICECCS Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang
2018	—	`conf`	On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) Cyrille Jégourel, Jun Sun, Jin Song Dong
2018	C	`conf`	Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu
2018	J	`jnl`	Towards Model Checking Android Applications. IEEE Trans. Software Eng. Guangdong Bai, Quanqi Ye, Yongzheng Wu, Heila Botha, Jun Sun, Yang Liu, Jin Song Dong, Willem Visser
2018	C	`conf`	Towards Trustworthy AI for Autonomous Systems. ICFEM Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
2018	C	`conf`	Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. ICFEM Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
2017	C	`conf`	A Framework for Formal Analysis of Privacy on SSO Protocols. SecureComm Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong
2017	C	`conf`	A Verification Framework for Stateful Security Protocols. ICFEM Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong
2017	—	`conf`	App genome: callback sequencing in Android. ICSE (Companion Volume) Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si
2017	C	`conf`	Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. SecureComm Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong
2017	A*	`conf`	Mining implicit design templates for actionable code reuse. ASE Yun Lin, Guozhu Meng, Yinxing Xue, Zhenchang Xing, Jun Sun, Xin Peng, Yang Liu, Wenyun Zhao, Jin Song Dong
2017	—	`conf`	Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. QEST Cyrille Jégourel, Jun Sun, Jin Song Dong
2017	B	`conf`	Towards Solving Decision Making Problems Using Probabilistic Model Checking. ICECCS Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong
2016	B	`conf`	Automated Verification of Timed Security Protocols with Clock Drift. FM Li Li, Jun Sun, Jin Song Dong
2016	B	`conf`	Automatic Construction of Callback Model for Android Application. ICECCS Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu
2016	J	`jnl`	Editorial. Formal Aspects Comput. Stephan Merz, Jun Pang, Jin Song Dong
2016	J	`jnl`	Editorial. Formal Aspects Comput. Stephan Merz, Jun Pang, Jin Song Dong
2016	J	`jnl`	Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
2016	J	`jnl`	From verified model to executable program: the PAT approach. Innov. Syst. Softw. Eng. Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin
2016	B	`conf`	Improving Quality of Use Case Documents through Learning and User Interaction. ICECCS Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang
2016	A*	`conf`	Optimizing selection of competing services with probabilistic hierarchical refinement. ICSE Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue, Jin Song Dong
2016	C	`conf`	Scaling BDD-based Timed Verification with Simulation Reduction. ICFEM Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong
2016	—	`ed.`	Semantic Technology - 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers JIST Yuan-Fang Li, Wei Hu, Jin Song Dong, Grigoris Antoniou, Zhe Wang, Jun Sun, Yang Liu
2016	C	`conf`	Service Adaptation with Probabilistic Partial Models. ICFEM Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong
2016	B	`conf`	Towards Using Concurrent Java API Correctly. ICECCS Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong
2016	B	`conf`	Verification of Nash-Equilibrium for Probabilistic BAR Systems. ICECCS Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong
2015	J	`jnl`	A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata. IEEE Trans. Software Eng. Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li
2015	B	`conf`	All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ICECCS Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo
2015	J	`jnl`	BOWL: augmenting the Semantic Web with beliefs. Innov. Syst. Softw. Eng. Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang
2015	Misc	`conf`	Event and Strategy Analytics. TASE Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi
2015	B	`conf`	Formal Analysis of a Single Sign-On Protocol Implementation for Android. ICECCS Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong
2015	A	`conf`	Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). MoDELS Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
2015	A*	`conf`	Interpolation Guided Compositional Verification (T). ASE Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong
2015	A	`conf`	Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong
2015	A	`conf`	Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
2015	B	`conf`	Sports Strategy Analytics Using Probabilistic Reasoning. ICECCS Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun
2015	B	`conf`	Verifying Parameterized Timed Security Protocols. FM Li Li, Jun Sun, Yang Liu, Jin Song Dong
2014	A*	`conf`	Automated runtime recovery for QoS-based service composition. WWW Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu, Jin Song Dong
2014	A*	`conf`	Automatic early defects detection in use case documents. ASE Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang
2014	A	`conf`	Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance. ICSME Yun Lin, Zhenchang Xing, Xin Peng, Yang Liu, Jun Sun, Wenyun Zhao, Jin Song Dong
2014	J	`jnl`	Complexity of the Soundness Problem of Workflow Nets. Fundam. Informaticae Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong
2014	C	`conf`	Event Analytics. ICTAC Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li
2014	J	`jnl`	Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong
2014	J	`jnl`	Model checking approach to automated planning. Formal Methods Syst. Des. Yi Li, Jin Song Dong, Jing Sun, Yang Liu, Jun Sun
2014	J	`jnl`	Model checking with fairness assumptions using PAT. Frontiers Comput. Sci. Yuanjie Si, Jun Sun, Yang Liu, Jin Song Dong, Jun Pang, Shao Jie Zhang, Xiaohu Yang
2014	J	`jnl`	Parameter synthesis for hierarchical concurrent real-time systems. Real Time Syst. Étienne André, Yang Liu, Jun Sun, Jin Song Dong
2014	C	`conf`	Practical Analysis Framework for Software-Based Attestation Scheme. ICFEM Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong
2014	—	`conf`	RaPiD: a toolkit for reliability analysis of non-deterministic systems. SIGSOFT FSE Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, Jin Song Dong
2014	C	`conf`	SCC-Based Improved Reachability Analysis for Markov Decision Processes. ICFEM Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong
2014	J	`jnl`	Stateful Security Protocol Verification. CoRR Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong
2014	B	`conf`	Symbolic Analysis of an Electric Vehicle Charging Protocol. ICECCS Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong
2014	C	`conf`	TAuth: Verifying Timed Security Protocols. ICFEM Li Li, Jun Sun, Yang Liu, Jin Song Dong
2014	J	`jnl`	Towards Formal Modelling and Verification of Pervasive Computing Systems. Trans. Comput. Collect. Intell. Yan Liu, Xian Zhang, Yang Liu, Jin Song Dong, Jun Sun, Jit Biswas, Mounir Mokhtari
2014	—	`conf`	Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun
2014	J	`jnl`	Towards verification of computation orchestration. Formal Aspects Comput. Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
2014	—	`conf`	VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. ICSE Companion Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong
2013	B	`conf`	A Formal Semantics for Complete UML State Machines with Communications. IFM Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong
2013	C	`conf`	A UTP Semantics for Communicating Processes with Shared Variables. ICFEM Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
2013	A*	`conf`	AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. NDSS Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong
2013	A*	`conf`	Automatically partition software into least privilege components using dynamic data dependency analysis. ASE Yongzheng Wu, Jun Sun, Yang Liu, Jin Song Dong
2013	A*	`conf`	Build your own model checker in one month. ICSE Jin Song Dong, Jun Sun, Yang Liu
2013	B	`conf`	CELL: A Compositional Verification Framework. ATVA Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen
2013	A	`conf`	Combining model checking and testing with an application to reliability prediction and distribution. ISSTA Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang
2013	A*	`conf`	Constraint-based automatic symmetry detection. ASE Shao Jie Zhang, Jun Sun, Chengnian Sun, Yang Liu, Junwei Ma, Jin Song Dong
2013	A*	`conf`	Dynamic synthesis of local time requirement for service composition. ICSE Tian Huat Tan, Étienne André, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen
2013	—	`conf`	Generating C# Programs from CSP# Models. ICST Workshops Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin
2013	B	`conf`	Improved Reachability Analysis in DTMC via Divide and Conquer. IFM Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
2013	J	`jnl`	Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André
2013	A*	`conf`	PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin
2013	B	`conf`	State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. VMCAI Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu
2013	B	`conf`	Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. SERVICES G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai
2013	—	`conf`	USMMC: a self-contained model checker for UML state machines. ESEC/SIGSOFT FSE Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong
2013	J	`jnl`	Verifying Linearizability via Optimized Refinement Checking. IEEE Trans. Software Eng. Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun, Shao Jie Zhang, Jin Song Dong
2012	A*	`conf`	A Model Checker for Hierarchical Probabilistic Real-Time Systems. CAV Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong
2012	C	`conf`	ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). ICOST Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari
2012	C	`conf`	An Analytical and Experimental Comparison of CSP Extensions and Tools. ICFEM Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho
2012	A*	`conf`	Analyzing multi-agent systems with probabilistic model checking approach. ICSE Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong
2012	B	`conf`	Automatic Compositional Verification of Timed Systems. FM Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André
2012	C	`conf`	Automatic Generation of Provably Correct Embedded Systems. ICFEM Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong
2012	B	`conf`	Complexity of the Soundness Problem of Bounded Workflow Nets. Petri Nets Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong
2012	J	`jnl`	Editorial. Formal Aspects Comput. Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves
2012	B	`conf`	Formal Analysis of Pervasive Computing Systems. ICECCS Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari
2012	J	`jnl`	Formal modeling and validation of Stateflow diagrams. Int. J. Softw. Tools Technol. Transf. Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng
2012	B	`conf`	Improved BDD-Based Discrete Analysis of Timed Systems. FM Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu
2012	—	`conf`	Model Checking Software Architecture Design. HASE Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun
2012	C	`conf`	More Anti-chain Based Refinement Checking. ICFEM Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li
2012	B	`conf`	Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. ICECCS Étienne André, Yang Liu, Jun Sun, Jin Song Dong
2012	C	`conf`	Planning as Model Checking Tasks. SEW Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
2012	B	`conf`	Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung
2012	J	`jnl`	Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10). NII Shonan Meet. Rep. Jin Song Dong, Annabelle McIver, Carroll Morgan
2012	J	`jnl`	SeVe: automatic tool for verification of security protocols. Frontiers Comput. Sci. China Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Thanh Tho Quan
2012	C	`conf`	Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. ICFEM Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
2012	—	`ch.`	Timed Automata. Handbook of Finite State Based Models and Applications Jun Sun, Yang Liu, Jin Song Dong
2012	B	`conf`	Translating PDDL into CSP# - The PAT Approach. ICECCS Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun
2012	C	`conf`	Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong
2011	A*	`conf`	A model checking framework for hierarchical systems. ASE Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
2011	J	`jnl`	A philosophy-driven entity classification and enrichment for ontology mapping. Expert Syst. J. Knowl. Eng. Nwe Ni Tun, Jin Song Dong, Satoshi Tojo
2011	B	`conf`	An Efficient Algorithm for Learning Event-Recording Automata. ATVA Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu
2011	C	`conf`	Differencing Labeled Transition Systems. ICFEM Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong
2011	B	`conf`	On Combining State Space Reductions with Global Fairness Assumptions. FM Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong
2011	A	`conf`	PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. ISSRE Yang Liu, Jun Sun, Jin Song Dong
2011	C	`conf`	PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li
2011	C	`conf`	Towards a Model Checker for NesC and Wireless Sensor Networks. ICFEM Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu
2011	Misc	`conf`	Towards bug-free implementation for wireless sensor networks. SenSys Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu
2011	C	`conf`	Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong
2010	J	`jnl`	A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. Chunqing Chen, Jin Song Dong, Jun Sun, Andrew P. Martin
2010	—	`conf`	Analyzing hierarchical complex real-time systems. SIGSOFT FSE Yang Liu, Jun Sun, Jin Song Dong
2010	B	`conf`	Developing Model Checkers Using PAT. ATVA Yang Liu, Jun Sun, Jin Song Dong
2010	C	`ed.`	Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings ICFEM Jin Song Dong, Huibiao Zhu
2010	C	`conf`	Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. ICOST Jit Biswas, Mounir Mokhtari, Jin Song Dong, Philip Lin Kiat Yap
2010	C	`conf`	Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan
2010	A*	`conf`	SpecDiff: debugging formal specifications. ASE Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong
2009	J	`jnl`	A formal framework for modeling and validating Simulink diagrams. Formal Aspects Comput. Chunqing Chen, Jin Song Dong, Jun Sun
2009	J	`jnl`	Editorial. Formal Aspects Comput. Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock
2009	B	`conf`	Fair Model Checking with Process Counter Abstraction. FM Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong
2009	C	`conf`	Formal Verification of Scalable NonZero Indicators. SEKE Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu
2009	Misc	`conf`	Integrating Specification and Programs for System Modeling and Verification. TASE Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen
2009	A*	`conf`	PAT: Towards Flexible Verification under Fairness. CAV Jun Sun, Yang Liu, Jin Song Dong, Jun Pang
2009	J	`jnl`	SCP special issue on the grand challenge - Preface. Sci. Comput. Program. Jin Song Dong, Jing Sun
2009	C	`conf`	Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM Yang Liu, Jun Sun, Jin Song Dong
2009	J	`jnl`	Software monitoring through formal specification animation. Innov. Syst. Softw. Eng. Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong
2009	Misc	`conf`	Towards Expressive Specification and Efficient Model Checking. TASE Jin Song Dong, Jun Sun
2009	C	`conf`	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang
2008	A*	`conf`	A verification system for timed interval calculus. ICSE Chunqing Chen, Jin Song Dong, Jun Sun
2008	—	`conf`	An analyzer for extended compositional process algebras. ICSE Companion Yang Liu, Jun Sun, Jin Song Dong
2008	Misc	`conf`	Bounded Model Checking of Compositional Processes. TASE Jun Sun, Yang Liu, Jin Song Dong, Jing Sun
2008	J	`jnl`	Compositional encoding for bounded model checking. Frontiers Comput. Sci. China Jun Sun, Yang Liu, Jin Song Dong, Jing Sun
2008	Misc	`conf`	Enhancing Semantic Web Services with Inheritance. ISWC Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter
2008	J	`jnl`	Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach. Int. J. Agent Oriented Softw. Eng. Kenji Taguchi, Jin Song Dong
2008	C	`conf`	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA Jun Sun, Yang Liu, Jin Song Dong
2008	A*	`conf`	Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. KR Nwe Ni Tun, Jin Song Dong
2008	C	`conf`	Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang
2008	C	`conf`	Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang
2008	J	`jnl`	Timed Automata Patterns. IEEE Trans. Software Eng. Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
2007	C	`conf`	A Verification Framework for Agent Knowledge. ICFEM Jin Song Dong, Yuzhang Feng, Ho-fung Leung
2007	—	`conf`	Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base. URSW Anh Tuan Luu, Tho T. Quan, Tru Hoang Cao, Jin Song Dong
2007	C	`conf`	Evolution and Runtime Monitoring of Software Systems. SEKE Hui Liang, Jin Song Dong, Jing Sun
2007	C	`conf`	Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM Chunqing Chen, Jin Song Dong, Jun Sun
2007	Misc	`conf`	Realizing Live Sequence Charts in SystemVerilog. TASE Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong
2006	C	`conf`	A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
2006	C	`conf`	Applying Timed Interval Calculus to Simulink Diagrams. ICFEM Chunqing Chen, Jin Song Dong
2006	J	`jnl`	Computer-aided dispatch system family architecture and verification: an integrated formal approach. IEE Proc. Softw. Jing Sun, Jin Song Dong, Stan Jarzabek, Hai H. Wang
2006	C	`conf`	Context Awareness Systems Design and Reasoning. ISoLA Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun
2006	J	`jnl`	Design Synthesis from Interaction and State-Based Specifications. IEEE Trans. Software Eng. Jun Sun, Jin Song Dong
2006	B	`conf`	Formal Specification-based Online Monitoring. ICECCS Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora
2006	A*	`conf`	From semantic web to expressive software specifications: a modeling languages spectrum. ICSE Jin Song Dong
2006	J	`jnl`	Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Trans. Reliab. Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit
2006	A*	`conf`	HighSpec: a tool for building and checking OZTA models. ICSE Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin
2006	C	`conf`	Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC Ling Yuan, Jin Song Dong, Jing Sun
2006	—	`ed.`	Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005 WLFM@FM Alvaro Arenas, Jin Song Dong, Andrew Martin, Brian Matthews
2006	J	`jnl`	Reasoning support for Semantic Web ontology family languages using Alloy. Multiagent Grid Syst. Hai H. Wang, Jin Song Dong, Jing Sun, Jun Sun
2006	—	`conf`	Semantic Web Languages - Towards an Institutional Perspective. Essays Dedicated to Joseph A. Goguen Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
2006	C	`conf`	Verification of Computation Orchestration Via Timed Automata. ICFEM Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
2005	C	`conf`	A Tools Environment for Developing and Reasoning about Ontologies. APSEC Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun
2005	B	`conf`	Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS Jun Sun, Jin Song Dong
2005	J	`jnl`	Formal Designs for Embedded and Hybrid Systems. Int. J. Softw. Eng. Knowl. Eng. Jin Song Dong, Ping Hao, Brendan P. Mahony
2005	C	`conf`	Institution Morphisms for Relating OWL and Z. SEKE Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
2005	B	`conf`	Integrating Object-Z with Timed Automata. ICECCS Jin Song Dong, Roger Duke, Ping Hao
2005	B	`conf`	Model Checking Live Sequence Charts. ICECCS Jun Sun, Jin Song Dong
2005	—	`conf`	Preface. WLFM@FM Alvaro E. Arenas, Jin Song Dong, Andrew P. Martin, Brian Matthews
2005	C	`conf`	Reasoning Support for SWRL-FOL Using Alloy. SEKE Hai H. Wang, Jin Song Dong, Jing Sun
2005	B	`conf`	Software Engineering Approaches to Semantic Web. ICECCS Jin Song Dong, D. Dan
2005	—	`conf`	Soundness proof of Z semantics of OWL using institutions. WWW (Special interest tracks and posters) Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
2005	B	`conf`	Synthesis of Distributed Processes from Scenario-Based Specifications. FM Jun Sun, Jin Song Dong
2005	C	`conf`	TCOZ Approach to OWL-S Process Model Design. SEKE Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li
2005	C	`conf`	The Semantics and Tool Support of OZTA. ICFEM Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
2004	A*	`conf`	A combined approach to checking web ontologies. WWW Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang
2004	B	`conf`	Generating MSCs from an Integrated Formal Specification Language. IFM Jin Song Dong, Shengchao Qin, Jun Sun
2004	C	`conf`	Reasoning about Semantic Web in Isabelle/HOL. APSEC Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony
2004	B	`conf`	Relating pi-calculus to Object-Z. ICECCS Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu
2004	J	`jnl`	Semantic Space: An Infrastructure for Smart Spaces. IEEE Pervasive Comput. Xiaohang Wang, Jin Song Dong, Chung-Yau Chin, SankaRavipriya Hettiarachchi, Daqing Zhang
2004	A*	`conf`	Software Modeling Techniques and the Semantic Web. ICSE Jin Song Dong
2004	—	`conf`	TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) Jin Song Dong, Yuan-Fang Li, Hai H. Wang
2004	C	`conf`	Timed Patterns: TCOZ to Timed Automata. ICFEM Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
2004	A*	`conf`	Verifying DAML+OIL and Beyond in Z/EVES. ICSE Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang
2004	C	`conf`	Verifying OWL and ORL Ontologies in PVS. ICTAC Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
2003	—	`conf`	A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
2003	C	`conf`	Analysing Web Ontology in Alloy: A Military Case Study. SEKE Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee
2003	—	`conf`	Checking and Reasoning about Semantic Web through Alloy. FME Jin Song Dong, Jing Sun, Hai H. Wang
2003	C	`ed.`	Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings ICFEM Jin Song Dong, Jim Woodcock
2003	C	`conf`	Formalizing Semantics of XSLT Using Object-Z. APWeb Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han
2003	—	`conf`	ZML: XML Support for Standard Z. ZB Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie
2002	J	`jnl`	A Formal Object Approach to the Design of ZML. Ann. Softw. Eng. Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
2002	C	`conf`	An Overview of Mobile Object-Z. ICFEM Kenji Taguchi, Jin Song Dong
2002	—	`conf`	Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. ADBIS Research Communications Sergey A. Stupnikov, Leonid A. Kalinichenko, Jin Song Dong
2002	J	`jnl`	Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects Comput. Brendan P. Mahony, Jin Song Dong
2002	B	`conf`	Extending SOFL to support both top-down and bottom-up approaches. SMC Shaoying Liu, Jin Song Dong
2002	—	`conf`	Semantic Web for Extending and Linking Formalisms. FME Jin Song Dong, Jing Sun, Hai H. Wang
2002	C	`conf`	Specifying and Reasoning about Generic Architecture in TCOZ. APSEC Jing Sun, Jin Song Dong
2002	B	`conf`	The Semantics of Extended SOFL. COMPSAC Jin Song Dong, Shaoying Liu
2002	C	`conf`	XML-Based Static Type Checking and Dynamic Visualization for TCOZ. ICFEM Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang
2002	C	`conf`	Z Approach to Semantic Web. ICFEM Jin Song Dong, Jing Sun, Hai H. Wang
2001	C	`conf`	An XML/XSL Approach to Visualize and Animate TCOZ. APSEC Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
2001	—	`conf`	Class and Module in SOFL. APAQS Shaoying Liu, Jin Song Dong
2001	—	`ch.`	Linking UML with Integrated Formal Techniques. Unified Modeling Language: Systems Analysis, Design and Development Issues Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi
2001	A*	`conf`	Object-Z web environment and projections to UML. WWW Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
2001	A*	`conf`	State, Event, Time and Diagram in System Modeling. ICSE Jin Song Dong
2000	—	`conf`	TRMCS in TCOZ. IWSSD Jing Liu, Jin Song Dong, Jing Sun
2000	J	`jnl`	Timed Communicating Object Z. IEEE Trans. Software Eng. Brendan P. Mahony, Jin Song Dong
1999	B	`conf`	An Object Semantic Model of SOFL. IFM Jin Song Dong, Shaoying Liu
1999	C	`conf`	Capturing Periodic Concurrent Interactions of Mission Computer Tasks. APSEC Jin Song Dong, Brendan P. Mahony, Neale Fulton
1999	—	`conf`	Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods Jin Song Dong, Brendan P. Mahony, Neale Fulton
1999	B	`conf`	Overview of the Semantics of TCOZ. IFM Brendan P. Mahony, Jin Song Dong
1999	—	`conf`	Sensors and Actuators in TCOZ. World Congress on Formal Methods Brendan P. Mahony, Jin Song Dong
1998	C	`conf`	Active Objects in TCOZ. ICFEM Jin Song Dong, Brendan P. Mahony
1998	A*	`conf`	Blending Object-Z and Timed CSP: An Introduction to TCOZ. ICSE Brendan P. Mahony, Jin Song Dong
1998	—	`conf`	Network Topology and a Case Study in TCOZ. ZUM Brendan P. Mahony, Jin Song Dong
1997	—	`conf`	A framework for adding time into formal object models. WORDS Jin Song Dong, Lin Zucconi
1997	J	`jnl`	An object-oriented denotational semantics of a small programming language. Object Oriented Syst. Jin Song Dong, Roger Duke, Gordon A. Rose
1997	C	`conf`	Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. ICFEM Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton
1997	—	`conf`	Specifying Parallel and Distributed Systems in Object-Z. PDSE Jin Song Dong, Lin Zucconi, Roger Duke
1995	—	`—`	Formal object modelling techniques and denotational semantics studies Jin Song Dong
1995	C	`conf`	Living with Free Type and Class Union. APSEC Jin Song Dong
1995	B	`conf`	The role of secondary attributes in formal object modelling. ICECCS Jin Song Dong, Gordon A. Rose, Roger Duke
1993	—	`conf`	An Object-Oriented Approach to the Formal Specification of ODP Trader. Open Distributed Processing Jin Song Dong, Roger Duke
1993	—	`conf`	Class Union and Polymorphism. TOOLS (12/9) Jin Song Dong, Roger Duke