A Bigraphical Model of WSBPEL. - Min Zhang 007; Ling Shi 002; Longfei Zhu; Yifei Wang; Libo Feng; Geguang Pu (TASE, 2008)

Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol. - Ling Shi 002; Yan Liu 012 (SSIRI (Companion), 2010)

An Analytical and Experimental Comparison of CSP Extensions and Tools. - Ling Shi 002; Yang Liu 003; Jun Sun 001; Jin Song Dong; Gustavo Carvalho (ICFEM, 2012)

A UTP Semantics for Communicating Processes with Shared Variables. - Ling Shi 002; Yongxin Zhao; Yang Liu 003; Jun Sun 001; Jin Song Dong; Shengchao Qin (ICFEM, 2013)

Modeling and verifying hierarchical real-time systems using stateful timed CSP. - Jun Sun 001; Yang Liu 003; Jin Song Dong; Yan Liu 012; Ling Shi 002; Étienne André (ACM Trans. Softw. Eng. Methodol., 2013)

HOMESCAN: Scrutinizing Implementations of Smart Home Integrations. - Kulani Tharaka Mahadewa; Kailong Wang 001; Guangdong Bai; Ling Shi 002; Jin Song Dong; Zhenkai Liang (ICECCS, 2018)

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. - Ling Shi 002; Yongxin Zhao; Yang Liu 003; Jun Sun 001; Jin Song Dong; Shengchao Qin (Formal Aspects Comput., 2018)

Software Complexity Reduction by Automated Refactoring Schema. - Siteng Cao; Yongxin Zhao; Ling Shi 002 (TASE, 2019)

Verification Assisted Gas Reduction for Smart Contracts. - Bo Gao; Siyuan Shen; Ling Shi 002; Jiaying Li 001; Jun Sun 001; Lei Bu (APSEC, 2021)

sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. - Bo Gao; Ling Shi 002; Jiaying Li 001; Jialiang Chang; Jun Sun 001; Zijiang Yang 006 (ISoLA, 2021)

Scrutinizing Implementations of Smart Home Integrations. - Kulani Mahadewa; Kailong Wang 001; Guangdong Bai; Ling Shi 002; Yan Liu 012; Jin Song Dong 001; Zhenkai Liang (IEEE Trans. Software Eng., 2021)

PCSP# Denotational Semantics with an Application in Sports Analytics. - Zhaoyu Liu; Murong Ma; Kan Jiang; Zhe Hou; Ling Shi 002; Jin Song Dong (The Application of Formal Methods, 2024)

DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation. - Mingke Yang; Yuqi Chen 001; Yi Liu 069; Ling Shi 002 (ISSTA, 2024)

Efficient Detection of Toxic Prompts in Large Language Models. - Yi Liu 069; Junzhe Yu; Huijia Sun; Ling Shi 002; Gelei Deng; Yuqi Chen 001; Yang Liu 003 (ASE, 2024)

Semantic-Enhanced Indirect Call Analysis with Large Language Models. - Baijun Cheng; Cen Zhang; Kailong Wang 001; Ling Shi 002; Yang Liu 003; Haoyu Wang 001; Yao Guo 001; Ding Li 001; Xiangqun Chen (ASE, 2024)

GlitchProber: Advancing Effective Detection and Mitigation of Glitch Tokens in Large Language Models. - Zhibo Zhang; Wuxia Bai; Yuxi Li 010; Mark Huasong Meng; Kailong Wang 001; Ling Shi 002; Li Li 029; Jun Wang 020; Haoyu Wang 001 (ASE, 2024)

A Cross-Language Investigation into Jailbreak Attacks in Large Language Models. - Jie Li; Yi Liu 069; Chongyang Liu; Ling Shi 002; Xiaoning Ren; Yaowen Zheng; Yang Liu 003; Yinxing Xue (CoRR, 2024)

Groot: Adversarial Testing for Generative Text-to-Image Models with Tree-based Semantic Transformation. - Yi Liu 069; Guowei Yang; Gelei Deng; Feiyue Chen; Yuqi Chen 001; Ling Shi 002; Tianwei Zhang 004; Yang Liu 003 (CoRR, 2024)

HalluVault: A Novel Logic Programming-aided Metamorphic Testing Framework for Detecting Fact-Conflicting Hallucinations in Large Language Models. - Ningke Li; Yuekang Li; Yi Liu 014; Ling Shi 002; Kailong Wang 001; Haoyu Wang 001 (CoRR, 2024)

Lockpicking LLMs: A Logit-Based Jailbreak Using Token-level Manipulation. - Yuxi Li 010; Yi Liu 014; Yuekang Li; Ling Shi 002; Gelei Deng; Shengquan Chen; Kailong Wang 001 (CoRR, 2024)

Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models. - Zihao Xu; Yi Liu 069; Gelei Deng; Kailong Wang 001; Yuekang Li; Ling Shi 002; Stjepan Picek (CoRR, 2024)

NeuSemSlice: Towards Effective DNN Model Maintenance via Neuron-level Semantic Slicing. - Shide Zhou; Tianlin Li; Yihao Huang 001; Ling Shi 002; Kailong Wang 001; Yang Liu 003; Haoyu Wang 001 (CoRR, 2024)

Semantic-Enhanced Indirect Call Analysis with Large Language Models. - Baijun Cheng; Ce Zhang 001; Kailong Wang 001; Ling Shi 002; Yang Liu 003; Haoyu Wang 001; Yao Guo 001; Xiangqun Chen (CoRR, 2024)

Investigating Coverage Criteria in Large Language Models: An In-Depth Study Through Jailbreak Attacks. - Shide Zhou; Tianlin Li; Kailong Wang 001; Yihao Huang 001; Ling Shi 002; Yang Liu 003; Haoyu Wang 001 (CoRR, 2024)

Efficient and Effective Universal Adversarial Attack against Vision-Language Pre-training Models. - Fan Yang; Yihao Huang 001; Kailong Wang 001; Ling Shi 002; Geguang Pu; Yang Liu 003; Haoyu Wang 001 (CoRR, 2024)

Model-Editing-Based Jailbreak against Safety-aligned Large Language Models. - Yuxi Li 010; Zhibo Zhang; Kailong Wang 001; Ling Shi 002; Haoyu Wang 001 (CoRR, 2024)

Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models. - Ningke Li; Yuekang Li; Yi Liu 014; Ling Shi 002; Kailong Wang 001; Haoyu Wang 001 (Proc. ACM Program. Lang., 2024)

Glitch Tokens in Large Language Models: Categorization Taxonomy and Effective Detection. - Yuxi Li 010; Yi Liu 069; Gelei Deng; Ying Zhang 066; Wenjia Song; Ling Shi 002; Kailong Wang 001; Yuekang Li; Yang Liu 003; Haoyu Wang 001 (Proc. ACM Softw. Eng., 2024)

Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks. - Shide Zhou; Tianlin Li; Kailong Wang 001; Yihao Huang 001; Ling Shi 002; Yang Liu 003; Haoyu Wang 001 (ICSE, 2025)

Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models. - Zihao Xu; Yi Liu; Gelei Deng; Kailong Wang 001; Yuekang Li; Ling Shi 002; Stjepan Picek (SP (Workshops), 2025)

Detecting LLM Fact-conflicting Hallucinations Enhanced by Temporal-logic-based Reasoning. - Ningke Li; Yahui Song; Kailong Wang 001; Yuekang Li; Ling Shi 002; Yi Liu; Haoyu Wang 001 (CoRR, 2025)

Breaking the Loop: Detecting and Mitigating Denial-of-Service Vulnerabilities in Large Language Models. - Junzhe Yu; Yi Liu 069; Huijia Sun; Ling Shi 002; Yuqi Chen 001 (CoRR, 2025)

Exposing the Ghost in the Transformer: Abnormal Detection for Large Language Models via Hidden State Forensics. - Shide Zhou; Kailong Wang 001; Ling Shi 002; Haoyu Wang 001 (CoRR, 2025)

Circumventing Safety Alignment in Large Language Models Through Embedding Space Toxicity Attenuation. - Zhibo Zhang; Yuxi Li 010; Kailong Wang 001; Shuai Yuan; Ling Shi 002; Haoyu Wang 001 (CoRR, 2025)

Seeing It Before It Happens: In-Generation NSFW Detection for Diffusion-Based Text-to-Image Models. - Fan Yang; Yihao Huang 001; Jiayi Zhu 002; Ling Shi 002; Geguang Pu; Jin Song Dong; Kailong Wang 001 (CoRR, 2025)