| 2026 | AAAI | Failures to Surface Harmful Contents in Video Large Language Models. | Yuxin Cao, Wei Song, Derui Wang, Jingling Xue, Jin Song Dong |
| 2026 | AAAI | Few-Shot Precise Event Spotting via Unified Multi-Entity Graph and Distillation. | Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong |
| 2026 | ACL | Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications. | Xiaoyue Lu, Xianglin Yang, Haijun Liu, Jiahao Liu, Kuntai Cai, Yan Xiao, Jin Song Dong |
| 2026 | ACL | CuBridge: An LLM-Based Framework for Understanding and Reconstructing High-Performance Attention Kernels. | Xing Ma, Yangjie Zhou, Wu Sun, Zihan Liu, Jingwen Leng, Yun Lin, Shixuan Sun, Minyi Guo, Jin Song Dong |
| 2026 | ACL | Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets. | Yuan Xiao, Jiaming Wang, Yuchen Chen, Wei Song, Jun Sun, Shiqing Ma, Yanzhou Mu, Juan Zhai, Chunrong Fang, Jin Song Dong, Zhenyu Chen |
| 2026 | WWW | LLMQuA: Practical Backdoor Injection on Large Language Model Quantization. | Xiangxiang Chen, Peixin Zhang, Jun Sun, Jin Song Dong, Wenhai Wang, Jingyi Wang |
| 2026 | WWW | ARuleCon: Agentic Security Rule Conversion. | Ming Xu, Hongtai Wang, Yanpei Guo, Zhengmin Yu, Weili Han, Hoon Wei Lim, Jin Song Dong, Jiaheng Zhang |
| 2025 | AsiaCCS | On the Account Security Risks Posed by Password Strength Meters. | Ming Xu, Weili Han, Jitao Yu, Jing Liu, Xinyi Zhang, Yun Lin, Jin Song Dong |
| 2025 | ICECCS | Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. | Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong |
| 2025 | ICLR | F3Set: Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos. | Zhaoyu Liu, Kan Jiang, Murong Ma, Zhe Hou, Yun Lin, Jin Song Dong |
| 2025 | ICML | Defending LVLMs Against Vision Attacks Through Partial-Perception Supervision. | Qi Zhou, Dongxia Wang, Tianlin Li, Yun Lin, Yang Liu, Jin Song Dong, Qing Guo |
| 2025 | ICML | Clustering Properties of Self-Supervised Learning. | Xi Weng, Jianing An, Xudong Ma, Binhang Qi, Jie Luo, Xi Yang, Jin Song Dong, Lei Huang |
| 2025 | ICML | Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. | 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 | ICSE | On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations. | Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger |
| 2025 | SC | A Sample-Free Compilation Framework for Efficient Dynamic Tensor Computation. | 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 | SP | Ignoring Directionality Leads to Compromised Graph Neural Network Explanations. | Changsheng Sun, Xinke Li, Jin Song Dong |
| 2024 | FM | Certified Quantization Strategy Synthesis for Neural Networks. | Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong |
| 2024 | ICFEM | Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. | Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong |
| 2024 | ISSTA | CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. | Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei |
| 2024 | WWW | A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction. | Yudai Pan, Jun Liu, Tianzhe Zhao, Lingling Zhang, Yun Lin, Jin Song Dong |
| 2023 | ICDM | Insight Analysis for Tennis Strategy and Tactics. | Zhaoyu Liu, Kan Jiang, Zhe Hou, Yun Lin, Jin Song Dong |
| 2023 | ICECCS | Sports Analytics Using Probabilistic Model Checking and Deep Learning. | Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin |
| 2023 | ICECCS | Supervised Robustness-preserving Data-free Neural Network Pruning. | Mark Huasong Meng, Guangdong Bai, Sin G. Teo, Jin Song Dong |
| 2023 | ICSE | DeepArc: Modularizing Neural Networks for the Model Maintenance. | Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong |
| 2023 | KDD | B | Mengyue Liu, Yun Lin, Jun Liu, Bohao Liu, Qinghua Zheng, Jin Song Dong |
| 2023 | KDD | Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective. | Jihong Wang, Minnan Luo, Jundong Li, Yun Lin, Yushun Dong, Jin Song Dong, Qinghua Zheng |
| 2023 | NDSS | Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers. | Mark Huasong Meng, Qing Zhang, Guangshuai Xia, Yuwei Zheng, Yanjun Zhang, Guangdong Bai, Zhi Liu, Sin G. Teo, Jin Song Dong |
| 2023 | PAKDD | Enhancing Federated Learning Robustness Using Data-Agnostic Model Pruning. | Mark Huasong Meng, Sin G. Teo, Guangdong Bai, Kailong Wang, Jin Song Dong |
| 2023 | PRDC | Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences. | Zhaoyu Liu, Jingyu Guo, Mo Wang, Ruicong Wang, Kan Jiang, Jin Song Dong |
| 2023 | PRDC | Sports Injury Prediction in Professional Tennis. | Zhaoyu Liu, Kan Jiang, Jin Song Dong |
| 2023 | SIGMETRICS | Characterizing Cryptocurrency-themed Malicious Browser Extensions. | Kailong Wang, Yuxi Ling, Yanjun Zhang, Zhou Yu, Haoyu Wang, Guangdong Bai, Beng Chin Ooi, Jin Song Dong |
| 2022 | AAAI | DeepVisualInsight: Time-Travelling Visualization for Spatio-Temporal Causality of Deep Classification Training. | Xianglin Yang, Yun Lin, Ruofan Liu, Zhenfeng He, Chao Wang, Jin Song Dong, Hong Mei |
| 2022 | ICECCS | A Digital Twin Runtime Verification Framework for Protecting Satellites Systems from Cyber Attacks. | Zh Hu, Qinyi Li, Ernest Foo, Jin Song Dong, Paulo de Souza |
| 2022 | IJCAI | Temporality Spatialization: A Scalable and Faithful Time-Travelling Visualization for Deep Classifier Training. | Xianglin Yang, Yun Lin, Ruofan Liu, Jin Song Dong |
| 2022 | ICSE | gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects. | Yunkai Liang, Yun Lin, Xuezhi Song, Jun Sun, Zhiyong Feng, Jin Song Dong |
| 2022 | ISSTA | RegMiner: towards constructing a large regression dataset from code evolution history. | Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, Hong Mei |
| 2022 | MOBICOM | Assessing certificate validation user interfaces of WPA supplicants. | Kailong Wang, Yuwei Zheng, Qing Zhang, Guangdong Bai, Mingchuang Qin, Donghui Zhang, Jin Song Dong |
| 2022 | TASE | Repairing Adversarial Texts Through Perturbation. | Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong |
| 2021 | ICSE | Self-Checking Deep Neural Networks in Deployment. | Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin, Jin Song Dong |
| 2021 | ISSTA | Identifying privacy weaknesses from multi-party trigger-action integration platforms. | Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong |
| 2021 | WWW | It's Not Just the Site, It's the Contents: Intra-domain Fingerprinting Social Media Websites Through CDN Bursts. | Kailong Wang, Junzhe Zhang, Guangdong Bai, Ryan K. L. Ko, Jin Song Dong |
| 2020 | APSEC | Model Driven Inputs to aid Athlete's Decision Making. | Satish Siddharth, Sircar Saurav, Kan Jiang, Bimlesh Wadhwa, Jin Song Dong |
| 2020 | CADE | N-PAT: A Nested Model-Checker - (System Description). | Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gor, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2020 | ICECCS | RL: a Language for Formal Engineering. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2020 | ICECCS | An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. | Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai |
| 2020 | ICECCS | Deep Learning Application in Broadcast Tennis Video Annotation. | Kan Jiang, Masoumeh Izadi, Zhaoyu Liu, Jin Song Dong |
| 2020 | ICSE | White-box fairness testing through adversarial sampling. | Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai |
| 2020 | ISSTA | Recovering fitness gradients for interprocedural Boolean flags in search-based testing. | Yun Lin, Jun Sun, Gordon Fraser, Ziheng Xiu, Ting Liu, Jin Song Dong |
| 2018 | ICECCS | HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. | Kulani Tharaka Mahadewa, Kailong Wang, Guangdong Bai, Ling Shi, Jin Song Dong, Zhenkai Liang |
| 2018 | ICECCS | Formal Analysis of a Proof-of-Stake Blockchain. | Wai Yan Maung Maung Thin, Naipeng Dong, Guangdong Bai, Jin Song Dong |
| 2018 | ICFEM | Towards Dependable and Explainable Machine Learning Using Automated Reasoning. | Hadrien Bride, Jie Dong, Jin Song Dong, Zh Hu |
| 2018 | ICFEM | Towards Trustworthy AI for Autonomous Systems. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Martin Oxenham |
| 2018 | ICFEM | Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2018 | ISoLA | On the Sequential Massart Algorithm for Statistical Model Checking. | Cyrille Jgourel, Jun Sun, Jin Song Dong |
| 2017 | ICECCS | Towards Solving Decision Making Problems Using Probabilistic Model Checking. | Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong |
| 2017 | ICFEM | A Verification Framework for Stateful Security Protocols. | Li Li, Naipeng Dong, Jun Pang, Jun Sun, Guangdong Bai, Yang Liu, Jin Song Dong |
| 2017 | ICSE | App genome: callback sequencing in Android. | Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si |
| 2017 | SecureComm | A Framework for Formal Analysis of Privacy on SSO Protocols. | Kailong Wang, Guangdong Bai, Naipeng Dong, Jin Song Dong |
| 2017 | SecureComm | Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols. | Quanqi Ye, Guangdong Bai, Naipeng Dong, Jin Song Dong |
| 2016 | FM | Automated Verification of Timed Security Protocols with Clock Drift. | Li Li, Jun Sun, Jin Song Dong |
| 2016 | ICECCS | Verification of Nash-Equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2016 | ICECCS | Automatic Construction of Callback Model for Android Application. | Chenkai Guo, Quanqi Ye, Naipeng Dong, Guangdong Bai, Jin Song Dong, Jing Xu |
| 2016 | ICECCS | Towards Using Concurrent Java API Correctly. | Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong |
| 2016 | ICECCS | Improving Quality of Use Case Documents through Learning and User Interaction. | Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang |
| 2016 | ICFEM | Service Adaptation with Probabilistic Partial Models. | Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun, Jin Song Dong |
| 2016 | ICFEM | Scaling BDD-based Timed Verification with Simulation Reduction. | Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen, Jin Song Dong |
| 2016 | ICSE | Optimizing selection of competing services with probabilistic hierarchical refinement. | Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, tienne Andr, Yinxing Xue, Jin Song Dong |
| 2015 | FM | Verifying Parameterized Timed Security Protocols. | Li Li, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | ICECCS | All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. | Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo |
| 2015 | ICECCS | Sports Strategy Analytics Using Probabilistic Reasoning. | Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang, Jing Sun |
| 2015 | ICECCS | Formal Analysis of a Single Sign-On Protocol Implementation for Android. | Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong |
| 2015 | ISSTA | Reliability assessment for distributed systems via communication abstraction and refinement. | Lin Gui, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | ISSTA | Optimizing selection of competing features via feedback-directed evolutionary algorithms. | Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | MODELS | Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract). | Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen |
| 2015 | TASE | Event and Strategy Analytics. | Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi |
| 2014 | ICECCS | Symbolic Analysis of an Electric Vehicle Charging Protocol. | Li Li, Jun Pang, Yang Liu, Jun Sun, Jin Song Dong |
| 2014 | ICFEM | SCC-Based Improved Reachability Analysis for Markov Decision Processes. | Lin Gui, Jun Sun, Songzheng Song, Yang Liu, Jin Song Dong |
| 2014 | ICFEM | Practical Analysis Framework for Software-Based Attestation Scheme. | Li Li, Hong Hu, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICFEM | TAuth: Verifying Timed Security Protocols. | Li Li, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICSE | VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition. | Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jin Song Dong |
| 2014 | ICTAC | Event Analytics. | Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li |
| 2014 | WWW | Automated runtime recovery for QoS-based service composition. | Tian Huat Tan, Manman Chen, tienne Andr, Jun Sun, Yang Liu, Jin Song Dong |
| 2013 | ATVA | CELL: A Compositional Verification Framework. | Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen |
| 2013 | CAV | PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin |
| 2013 | ICFEM | A UTP Semantics for Communicating Processes with Shared Variables. | Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin |
| 2013 | ICSE | Build your own model checker in one month. | Jin Song Dong, Jun Sun, Yang Liu |
| 2013 | ICSE | Dynamic synthesis of local time requirement for service composition. | Tian Huat Tan, tienne Andr, Jun Sun, Yang Liu, Jin Song Dong, Manman Chen |
| 2013 | ICST | Generating C# Programs from CSP# Models. | Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin |
| 2013 | IFM | A Formal Semantics for Complete UML State Machines with Communications. | Shuang Liu, Yang Liu, tienne Andr, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong |
| 2013 | IFM | Improved Reachability Analysis in DTMC via Divide and Conquer. | Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong |
| 2013 | ISSTA | Combining model checking and testing with an application to reliability prediction and distribution. | Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang |
| 2013 | NDSS | AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. | Guangdong Bai, Jike Lei, Guozhu Meng, Sai Sathyanarayan Venkatraman, Prateek Saxena, Jun Sun, Yang Liu, Jin Song Dong |
| 2013 | SERVICES | Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop. | G. Satya Reddy, Yuzhang Feng, Yang Liu, Jin Song Dong, Jun Sun, Rajaraman Kanagasabai |
| 2013 | VMCAI | State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. | Manchun Zheng, David Sann, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu |
| 2012 | APSEC | Using Monterey Phoenix to Formalize and Verify System Architectures. | Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong |
| 2012 | CAV | A Model Checker for Hierarchical Probabilistic Real-Time Systems. | Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong |
| 2012 | FM | Automatic Compositional Verification of Timed Systems. | Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, tienne Andr |
| 2012 | FM | Improved BDD-Based Discrete Analysis of Timed Systems. | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu |
| 2012 | ICECCS | Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. | tienne Andr, Yang Liu, Jun Sun, Jin Song Dong |
| 2012 | ICECCS | Translating PDDL into CSP# - The PAT Approach. | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2012 | ICECCS | Formal Analysis of Pervasive Computing Systems. | Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari |
| 2012 | ICFEM | Automatic Generation of Provably Correct Embedded Systems. | Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong |
| 2012 | ICFEM | Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong |
| 2012 | ICFEM | An Analytical and Experimental Comparison of CSP Extensions and Tools. | Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho |
| 2012 | ICFEM | More Anti-chain Based Refinement Checking. | Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li |
| 2012 | ICOST | ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). | Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari |
| 2012 | ICSE | Analyzing multi-agent systems with probabilistic model checking approach. | Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jin Song Dong |
| 2012 | PRIMA | Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. | Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung |
| 2012 | SEW | Planning as Model Checking Tasks. | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun |
| 2011 | ATVA | An Efficient Algorithm for Learning Event-Recording Automata. | Shang-Wei Lin, tienne Andr, Jin Song Dong, Jun Sun, Yang Liu |
| 2011 | FM | On Combining State Space Reductions with Global Fairness Assumptions. | Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong |
| 2011 | ICFEM | PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. | Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li |
| 2011 | ICFEM | Verification of Orchestration Systems Using Compositional Partial Order Reduction. | Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong |
| 2011 | ICFEM | Differencing Labeled Transition Systems. | Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong |
| 2011 | ICFEM | Towards a Model Checker for NesC and Wireless Sensor Networks. | Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu |
| 2011 | ISSRE | PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. | Yang Liu, Jun Sun, Jin Song Dong |
| 2011 | SENSYS | Towards bug-free implementation for wireless sensor networks. | Manchun Zheng, Jun Sun, David Sann, Yang Liu, Jin Song Dong, Yu Gu |
| 2010 | APSEC | Model-Based Methods for Linking Web Service Choreography and Orchestration. | Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan |
| 2010 | ATVA | Developing Model Checkers Using PAT. | Yang Liu, Jun Sun, Jin Song Dong |
| 2010 | ICOST | Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. | Jit Biswas, Mounir Mokhtari, Jin Song Dong, Philip Lin Kiat Yap |
| 2009 | CAV | PAT: Towards Flexible Verification under Fairness. | Jun Sun, Yang Liu, Jin Song Dong, Jun Pang |
| 2009 | FM | Fair Model Checking with Process Counter Abstraction. | Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
| 2009 | ICFEM | Scalable Multi-core Model Checking Fairness Enhanced Systems. | Yang Liu, Jun Sun, Jin Song Dong |
| 2009 | ICFEM | Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. | Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang |
| 2009 | SEKE | Formal Verification of Scalable NonZero Indicators. | Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu |
| 2009 | TASE | Towards Expressive Specification and Efficient Model Checking. | Jin Song Dong, Jun Sun |
| 2009 | TASE | Integrating Specification and Programs for System Modeling and Verification. | Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen |
| 2008 | ICFEM | Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. | Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang |
| 2008 | ICFEM | Specifying and Verifying Event-Based Fairness Enhanced Systems. | Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang |
| 2008 | ICSE | A verification system for timed interval calculus. | Chunqing Chen, Jin Song Dong, Jun Sun |
| 2008 | ICSE | An analyzer for extended compositional process algebras. | Yang Liu, Jun Sun, Jin Song Dong |
| 2008 | ISoLA | Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. | Jun Sun, Yang Liu, Jin Song Dong |
| 2008 | KR | Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. | Nwe Ni Tun, Jin Song Dong |
| 2008 | TASE | Bounded Model Checking of Compositional Processes. | Jun Sun, Yang Liu, Jin Song Dong, Jing Sun |
| 2007 | ICFEM | Machine-Assisted Proof Support for Validation Beyond Simulink. | Chunqing Chen, Jin Song Dong, Jun Sun |
| 2007 | ICFEM | A Verification Framework for Agent Knowledge. | Jin Song Dong, Yuzhang Feng, Ho-fung Leung |
| 2007 | SEKE | Evolution and Runtime Monitoring of Software Systems. | Hui Liang, Jin Song Dong, Jing Sun |
| 2007 | TASE | Realizing Live Sequence Charts in SystemVerilog. | Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong |
| 2006 | APSEC | Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. | Ling Yuan, Jin Song Dong, Jing Sun |
| 2006 | ICECCS | Formal Specification-based Online Monitoring. | Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora |
| 2006 | ICFEM | Applying Timed Interval Calculus to Simulink Diagrams. | Chunqing Chen, Jin Song Dong |
| 2006 | ICFEM | A Reasoning Method for Timed CSP Based on Constraint Solving. | Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang |
| 2006 | ICFEM | Verification of Computation Orchestration Via Timed Automata. | Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang |
| 2006 | ICSE | From semantic web to expressive software specifications: a modeling languages spectrum. | Jin Song Dong |
| 2006 | ICSE | HighSpec: a tool for building and checking OZTA models. | Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin |
| 2006 | ISoLA | Context Awareness Systems Design and Reasoning. | Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun |
| 2005 | APSEC | A Tools Environment for Developing and Reasoning about Ontologies. | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun |
| 2005 | FM | Synthesis of Distributed Processes from Scenario-Based Specifications. | Jun Sun, Jin Song Dong |
| 2005 | ICECCS | Software Engineering Approaches to Semantic Web. | Jin Song Dong, D. Dan |
| 2005 | ICECCS | Integrating Object-Z with Timed Automata. | Jin Song Dong, Roger Duke, Ping Hao |
| 2005 | ICECCS | Extracting FSMs from Object-Z Specifications with History Invariants. | Jun Sun, Jin Song Dong |
| 2005 | ICECCS | Model Checking Live Sequence Charts. | Jun Sun, Jin Song Dong |
| 2005 | ICFEM | The Semantics and Tool Support of OZTA. | Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang |
| 2005 | WWW | Soundness proof of Z semantics of OWL using institutions. | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
| 2005 | SEKE | Institution Morphisms for Relating OWL and Z. | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
| 2005 | SEKE | Reasoning Support for SWRL-FOL Using Alloy. | Hai H. Wang, Jin Song Dong, Jing Sun |
| 2005 | SEKE | TCOZ Approach to OWL-S Process Model Design. | Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li |
| 2004 | APSEC | Reasoning about Semantic Web in Isabelle/HOL. | Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony |
| 2004 | ICECCS | Relating pi-calculus to Object-Z. | Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu |
| 2004 | ICFEM | Timed Patterns: TCOZ to Timed Automata. | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi |
| 2004 | ICSE | Software Modeling Techniques and the Semantic Web. | Jin Song Dong |
| 2004 | ICSE | Verifying DAML+OIL and Beyond in Z/EVES. | Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang |
| 2004 | ICTAC | Verifying OWL and ORL Ontologies in PVS. | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li |
| 2004 | IFM | Generating MSCs from an Integrated Formal Specification Language. | Jin Song Dong, Shengchao Qin, Jun Sun |
| 2004 | WWW | A combined approach to checking web ontologies. | Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang |
| 2004 | WWW | TCOZ approach to semantic web services design. | Jin Song Dong, Yuan-Fang Li, Hai H. Wang |
| 2003 | APWEB | Formalizing Semantics of XSLT Using Object-Z. | Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han |
| 2003 | FM | Checking and Reasoning about Semantic Web through Alloy. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2003 | FM | A Semantic Foundation for TCOZ in Unifying Theories of Programming. | Shengchao Qin, Jin Song Dong, Wei-Ngan Chin |
| 2003 | SEKE | Analysing Web Ontology in Alloy: A Military Case Study. | Jin Song Dong, Jun Sun, Hai H. Wang, Chew Hung Lee, Hian Beng Lee |
| 2002 | ADBIS | Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. | Sergey A. Stupnikov, Leonid A. Kalinichenko, Jin Song Dong |
| 2002 | APSEC | Specifying and Reasoning about Generic Architecture in TCOZ. | Jing Sun, Jin Song Dong |
| 2002 | COMPSAC | The Semantics of Extended SOFL. | Jin Song Dong, Shaoying Liu |
| 2002 | FM | Semantic Web for Extending and Linking Formalisms. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2002 | ICFEM | XML-Based Static Type Checking and Dynamic Visualization for TCOZ. | Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang |
| 2002 | ICFEM | Z Approach to Semantic Web. | Jin Song Dong, Jing Sun, Hai H. Wang |
| 2002 | ICFEM | An Overview of Mobile Object-Z. | Kenji Taguchi, Jin Song Dong |
| 2002 | SMC | Extending SOFL to support both top-down and bottom-up approaches. | Shaoying Liu, Jin Song Dong |
| 2001 | APSEC | An XML/XSL Approach to Visualize and Animate TCOZ. | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang |
| 2001 | ICSE | State, Event, Time and Diagram in System Modeling. | Jin Song Dong |
| 2001 | WWW | Object-Z web environment and projections to UML. | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang |
| 1999 | APSEC | Capturing Periodic Concurrent Interactions of Mission Computer Tasks. | Jin Song Dong, Brendan P. Mahony, Neale Fulton |
| 1999 | FM | Modeling Aircraft Mission Computer Task Rates. | Jin Song Dong, Brendan P. Mahony, Neale Fulton |
| 1999 | FM | Sensors and Actuators in TCOZ. | Brendan P. Mahony, Jin Song Dong |
| 1999 | IFM | An Object Semantic Model of SOFL. | Jin Song Dong, Shaoying Liu |
| 1999 | IFM | Overview of the Semantics of TCOZ. | Brendan P. Mahony, Jin Song Dong |
| 1998 | ICFEM | Active Objects in TCOZ. | Jin Song Dong, Brendan P. Mahony |
| 1998 | ICSE | Blending Object-Z and Timed CSP: An Introduction to TCOZ. | Brendan P. Mahony, Jin Song Dong |
| 1997 | ICFEM | Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. | Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton |
| 1995 | APSEC | Living with Free Type and Class Union. | Jin Song Dong |
| 1995 | ICECCS | The role of secondary attributes in formal object modelling. | Jin Song Dong, Gordon A. Rose, Roger Duke |