Jun Sun - RankMe

509 papers A* 73A 25B 53C 57Misc 13Journal 230Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An On-the-Fly Synthesis Framework for LTL over Finite Traces. ACM Trans. Softw. Eng. Methodol. Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2026	J	`jnl`	Backdoor4Good: Benchmarking Beneficial Uses of Backdoors in LLMs. CoRR Yige Li, Wei Zhao, Zhe Li, Nay Myat Min, Hanxun Huang, Yunhan Zhao, Xingjun Ma, Yu-Gang Jiang, Jun Sun
2026	A*	`conf`	Be Responsible in Your Answers! Monitoring Out-of-Domain Behaviors in Domain-Specific LLMs. WWW Boquan Li, Chenzhe Lou, Zhe Ren, Peixin Zhang, Zirui Fu, Jun Sun, Yaowen Zheng
2026	J	`jnl`	CORVUS: Red-Teaming Hallucination Detectors via Internal Signal Camouflage in Large Language Models. CoRR Nay Myat Min, Long H. Pham, Hongyu Zhang, Jun Sun
2026	J	`jnl`	ClawWorm: Self-Propagating Attacks Across LLM Agent Ecosystems. CoRR Yihao Zhang, Zeming Wei, Xiaokun Luan, Chengcan Wu, Zhixin Zhang, Jiangrong Wu, Haolin Wu, Huanran Chen, Jun Sun, Meng Sun
2026	J	`jnl`	Comprehensively evaluating the perception systems of autonomous vehicles against hazards. Inf. Fusion Xiaodong Zhang, Jie Bao, Jianlei Chi, Jun Sun, Zijiang Yang
2026	J	`jnl`	Domain-Specialized Tree of Thought through Plug-and-Play Predictors. CoRR Xuanqi Gao, Haoyu Wang, Jun Sun, Shiqing Ma, Chao Shen
2026	J	`jnl`	Efficient Function Orchestration for Large Language Models. IEEE Trans. Software Eng. Xiaoxia Liu, Peng Di, Cong Li, Jun Sun, Jingyi Wang
2026	J	`jnl`	Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving. ACM Trans. Softw. Eng. Methodol. Shunkai Zhu, Jun Sun, Jingyi Wang, Zhenbang Chen, Peng Cheng
2026	J	`jnl`	LLM-enabled Applications Require System-Level Threat Monitoring. CoRR Yedi Zhang, Haoyu Wang, Xianglin Yang, Jin-Song Dong, Jun Sun
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`	ROMAN: Reward-Orchestrated Multi-Head Attention Network for Autonomous Driving System Testing. CoRR Jianlei Chi, Yuzhen Wu, Jiaxuan Hou, Xiaodong Zhang, Ming Fan, Suhui Sun, Weijun Dai, Bo Li, Jianguo Sun, Jun Sun
2026	J	`jnl`	SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants. CoRR Haoyu Wang, Zibo Xiao, Yedi Zhang, Christopher M. Poskitt, Jun Sun
2026	A*	`conf`	SafetyReminder: Reviving Delayed Safety Awareness of Vision-Language Models to Defend Against Jailbreak Attacks. AAAI Peiyuan Tang, Haojie Xin, Xiaodong Zhang, Jun Sun, Qin Xia, Zijiang James Yang
2026	J	`jnl`	Shortcuts Everywhere and Nowhere: Exploring Multi-Trigger Backdoor Attacks. IEEE Trans. Dependable Secur. Comput. Yige Li, Jiabo He, Hanxun Huang, Jun Sun, Xingjun Ma, Yu-Gang Jiang
2026	A*	`conf`	Towards Provably Unlearnable Examples via Bayes Error Optimization. AAAI Ruihan Zhang, Jun Sun, Ee-Peng Lim, Peixin Zhang
2026	—	`conf`	Unleashing the Unseen: Harnessing Benign Datasets for Jailbreaking Large Language Models. EACL (Findings) Wei Zhao, Zhe Li, Yige Li, Jun Sun
2025	J	`jnl`	A Comprehensive Formal Specification of ARINC 653 With Conformity Proof. Softw. Test. Verification Reliab. Zhang Feng, Yongwang Zhao, Liu Yang, Jun Sun
2025	J	`jnl`	A Comprehensive Study of OOP-Related Bugs in C++ Compilers. IEEE Trans. Software Eng. Bo Wang, Chong Chen, Junjie Chen, Bowen Xu, Chen Ye, Youfang Lin, Guoliang Dong, Jun Sun
2025	J	`jnl`	A Comprehensive Survey in LLM(-Agent) Full Stack Safety: Data, Training and Deployment. CoRR Kun Wang, Guibin Zhang, Zhenhong Zhou, Jiahao Wu, Miao Yu, Shiqian Zhao, Chenlong Yin, Jinhu Fu, Yibo Yan, Hanjun Luo, Liang Lin, Zhihao Xu, Haolang Lu, Xinye Cao, Xinyun Zhou, Weifei Jin, Fanci Meng, Junyuan Mao, Hao Wu, Minghe Wang, Fan Zhang, Junfeng Fang, Chengwei Liu, Yifan Zhang, Qiankun Li, Chongye Guo, Yalan Qin, Yi Ding, Donghai Hong, Jiaming Ji, Xinfeng Li, Yifan Jiang, Dongxia Wang, Yihao Huang, Yufei Guo, Jen-tse Huang, Yanwei Yue, Wenke Huang, Guancheng Wan, Tianlin Li, Lei Bai, Jie Zhang, Qing Guo, Jingyi Wang, Tianlong Chen, Joey Tianyi Zhou, Xiaojun Jia, Weisong Sun, Cong Wu, Jing Chen, Xuming Hu, Yiming Li, Xiao Wang, Ningyu Zhang, Luu Anh Tuan, Guowen Xu, Tianwei Zhang, Xingjun Ma, Xiang Wang, Bo An, Jun Sun, Mohit Bansal, Shirui Pan, Yuval Elovici, Bhavya Kailkhura, Bo Li, Yaodong Yang, Hongwei Li, Wenyuan Xu, Yizhou Sun, Wei Wang, Qing Li, Ke Tang, Yu-Gang Jiang, Felix Juefei-Xu, Hui Xiong, Xiaofeng Wang, Shuicheng Yan, Dacheng Tao, Philip S. Yu, Qingsong Wen, Yang Liu
2025	J	`jnl`	A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems. CoRR Ruihan Zhang, Jun Sun
2025	J	`jnl`	AUTOLAW: Enhancing Legal Compliance in Large Language Models via Case Law Generation and Jury-Inspired Deliberation. CoRR Tai D. Nguyen, Long H. Pham, Jun Sun
2025	J	`jnl`	Adaptive Content Restriction for Large Language Models via Suffix Optimization. CoRR Yige Li, Peihai Jiang, Jun Sun, Peng Shu, Tianming Liu, Zhen Xiang
2025	J	`jnl`	AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents. CoRR Haoyu Wang, Christopher M. Poskitt, Jun Sun
2025	J	`jnl`	AutoBackdoor: Automating Backdoor Attacks via LLM Agents. CoRR Yige Li, Zhe Li, Wei Zhao, Nay Myat Min, Hanxun Huang, Xingjun Ma, Jun Sun
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	A*	`conf`	CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization. ICML Nay Myat Min, Long H. Pham, Yige Li, Jun Sun
2025	A*	`conf`	Causal Contrastive Learning with Data Augmentations for Imitation-Based Planning. ICRA Haojie Xin, Xiaodong Zhang, Songyang Yan, Jun Sun, Zijiang Yang
2025	A	`conf`	Channel-Independent Refiner for Multivariate Time Series Forecasting. CIKM Jie Wang, Zhongguang Zheng, Chaoliang Zhong, Jun Sun
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`	Correct-By-Construction: Certified Individual Fairness through Neural Network Training. CoRR Ruihan Zhang, Jun Sun
2025	J	`jnl`	Correct-by-Construction: Certified Individual Fairness through Neural Network Training. Proc. ACM Program. Lang. Ruihan Zhang, Jun Sun
2025	J	`jnl`	De-duplicating Silent Compiler Bugs via Deep Semantic Representation. Proc. ACM Softw. Eng. Junjie Chen, Xingyu Fan, Chen Yang, Shuang Liu, Jun Sun
2025	A*	`conf`	Democratic Training Against Universal Adversarial Perturbations. ICLR Bing Sun, Jun Sun, Wei Zhao
2025	J	`jnl`	Democratic Training Against Universal Adversarial Perturbations. CoRR Bing Sun, Jun Sun, Wei Zhao
2025	J	`jnl`	Detecting Essence Code Clones via Information Theoretic Analysis. CoRR Lida Zhao, Shihan Dou, Yutao Hu, Yueming Wu, Jiahui Wu, Chengwei Liu, Lyuye Zhang, Yi Liu, Jun Sun, Xuanjing Huang, Yang Liu
2025	A	`conf`	Developing a Strong CPS Defender: An Evolutionary Approach. RAID Qingyuan Hu, Christopher M. Poskitt, Jun Sun, Yuqi Chen
2025	J	`jnl`	Developing a Strong CPS Defender: An Evolutionary Approach. CoRR Qingyuan Hu, Christopher M. Poskitt, Jun Sun, Yuqi Chen
2025	—	`conf`	Do Influence Functions Work on Large Language Models? EMNLP (Findings) Zhe Li, Wei Zhao, Yige Li, Jun Sun
2025	J	`jnl`	Effectively Detecting Software Vulnerabilities via Leveraging Features on Program Slices. IEEE Internet Things J. Xiaodong Zhang, Haoyu Guo, Zhiwei Zhang, Guiyuan Tang, Jun Sun, Yulong Shen, Jianfeng Ma
2025	J	`jnl`	Efficient Function Orchestration for Large Language Models. CoRR Xiaoxia Liu, Peng Di, Cong Li, Jun Sun, Jingyi Wang
2025	J	`jnl`	Enhancing Vulnerability Detection via Inter-procedural Semantic Completion. Proc. ACM Softw. Eng. Bozhi Wu, Chengjie Liu, Zhiming Li, Yushi Cao, Jun Sun, Shangwei Lin
2025	A*	`conf`	Evaluating and Mitigating Linguistic Discrimination in Large Language Models: Perspectives on Safety Equity and Knowledge Equity. IJCAI Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang
2025	A*	`conf`	FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. ICSE Yang Sun, Christopher M. Poskitt, Kun Wang, Jun Sun
2025	J	`jnl`	FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation. CoRR Yang Sun, Christopher M. Poskitt, Kun Wang, Jun Sun
2025	J	`jnl`	Fuzzing C++ Compilers via Type-Driven Mutation. Proc. ACM Program. Lang. Bo Wang, Chong Chen, Ming Deng, Junjie Chen, Xing Zhang, Youfang Lin, Dan Hao, Jun Sun
2025	A*	`conf`	Generalized Security-Preserving Refinement for Concurrent Systems. CCS Huan Sun, David Sanán, Jingyi Wang, Yongwang Zhao, Jun Sun, Wenhai Wang
2025	J	`jnl`	Generalized Security-Preserving Refinement for Concurrent Systems. CoRR Huan Sun, David Sanán, Jingyi Wang, Yongwang Zhao, Jun Sun, Wenhai Wang
2025	J	`jnl`	JC-Finder: Detecting Java Clone-based Third-Party Library by Class-level Tree Analysis. CoRR Lida Zhao, Chaofan Li, Yueming Wu, Lyuye Zhang, Jiahui Wu, Chengwei Liu, Sen Chen, Yutao Hu, Zhengzi Xu, Yi Liu, Jingquan Ge, Jun Sun, Yang Liu
2025	A*	`conf`	LLM-Aided Automatic Modeling for Security Protocol Verification. ICSE Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong
2025	A*	`conf`	LLMScan: Causal Scan for LLM Misbehavior Detection. ICML Mengdi Zhang, Kai Kiat Goh, Peixin Zhang, Jun Sun, Lin Xin Rose, Hongyu Zhang
2025	J	`jnl`	Mitigating Regression Faults Induced by Feature Evolution in Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. Hanmo You, Zan Wang, Xuyang Chen, Junjie Chen, Jun Sun, Shuang Liu, Zishuo Dong
2025	C	`conf`	Modeling and Verifying Concurrent Reactive Systems Using Separation Logic. ICFEM Huan Sun, David Sanán, Jun Sun, Wenhai Wang
2025	J	`jnl`	On-Demand Scenario Generation for Testing Automated Driving Systems. CoRR Songyang Yan, Xiaodong Zhang, Kunkun Hao, Haojie Xin, Yonggang Luo, Jucheng Yang, Ming Fan, Chao Yang, Jun Sun, Zijiang Yang
2025	J	`jnl`	On-Demand Scenario Generation for Testing Automated Driving Systems. Proc. ACM Softw. Eng. Songyang Yan, Xiaodong Zhang, Kunkun Hao, Haojie Xin, Yonggang Luo, JuCheng Yang, Ming Fan, Chao Yang, Jun Sun, Zijiang Yang
2025	J	`jnl`	OptSE: Toward Optimal Symbolic Execution. IEEE Trans. Software Eng. Shunkai Zhu, Jun Sun, Jingyi Wang, Xingwei Lin, Peng Cheng
2025	J	`jnl`	PonziLens+: Visualizing Bytecode Actions for Smart Ponzi Scheme Identification. IEEE Trans. Vis. Comput. Graph. Xiaolin Wen, Tai D. Nguyen, Shaolun Ruan, Qiaomu Shen, Jun Sun, Feida Zhu, Yong Wang
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`	PrettiSmart: Visual Interpretation of Smart Contracts via Simulation. IEEE Trans. Vis. Comput. Graph. Xiaolin Wen, Tai D. Nguyen, Lun Zhang, Jun Sun, Yong Wang
2025	J	`jnl`	Pro2Guard: Proactive Runtime Enforcement of LLM Agent Safety via Probabilistic Model Checking. CoRR Haoyu Wang, Christopher M. Poskitt, Jun Sun, Jiali Wei
2025	J	`jnl`	Propaganda via AI? A Study on Semantic Backdoors in Large Language Models. CoRR Nay Myat Min, Long H. Pham, Yige Li, Jun Sun
2025	J	`jnl`	Q-MLLM: Vector Quantization for Robust Multimodal Large Language Model Security. CoRR Wei Zhao, Zhe Li, Yige Li, Jun Sun
2025	A*	`conf`	Quantitative Runtime Monitoring of Ethereum Transaction Attacks. WWW Xinyao Xu, Ziyu Mao, Jianzhong Su, Xingwei Lin, David A. Basin, Jun Sun, Jingyi Wang
2025	J	`jnl`	REACCEPT: Automated Co-evolution of Production and Test Code Based on Dynamic Validation and Large Language Models. Proc. ACM Softw. Eng. Jianlei Chi, Xiaotian Wang, Yuhan Huang, Lechen Yu, Di Cui, Jianguo Sun, Jun Sun
2025	A*	`conf`	RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral Constraints. ASE Ruoyu Zhou, Zhiwei Zhang, Haocheng Han, Xiaodong Zhang, Zehan Chen, Jun Sun, Yulong Shen, Dehai Xu
2025	J	`jnl`	RobFace: A Test Suite for Efficient Robustness Evaluation of Face Recognition Systems. IEEE Trans. Reliab. Ruihan Zhang, Jun Sun
2025	J	`jnl`	Rounding-Guided Backdoor Injection in Deep Learning Model Quantization. CoRR Xiangxiang Chen, Peixin Zhang, Jun Sun, Wenhai Wang, Jingyi Wang
2025	J	`jnl`	Safety at Scale: A Comprehensive Survey of Large Model Safety. CoRR Xingjun Ma, Yifeng Gao, Yixu Wang, Ruofan Wang, Xin Wang, Ye Sun, Yifan Ding, Hengyuan Xu, Yunhao Chen, Yunhan Zhao, Hanxun Huang, Yige Li, Jiaming Zhang, Xiang Zheng, Yang Bai, Zuxuan Wu, Xipeng Qiu, Jingfeng Zhang, Yiming Li, Jun Sun, Cong Wang, Jindong Gu, Baoyuan Wu, Siheng Chen, Tianwei Zhang, Yang Liu, Mingming Gong, Tongliang Liu, Shirui Pan, Cihang Xie, Tianyu Pang, Yinpeng Dong, Ruoxi Jia, Yang Zhang, Shiqing Ma, Xiangyu Zhang, Neil Gong, Chaowei Xiao, Sarah M. Erfani, Bo Li, Masashi Sugiyama, Dacheng Tao, James Bailey, Yu-Gang Jiang
2025	J	`jnl`	Safety at Scale: A Comprehensive Survey of Large Model and Agent Safety. Found. Trends Priv. Secur. Xingjun Ma, Yifeng Gao, Yixu Wang, Ruofan Wang, Xin Wang, Ye Sun, Yifan Ding, Hengyuan Xu, Yunhao Chen, Yunhao Zhao, Hanxun Huang, Yige Li, Yutao Wu, Jiaming Zhang, Xiang Zheng, Yang Bai, Yiming Li, Zuxuan Wu, Xipeng Qiu, Jingfeng Zhang, Xudong Han, Haonan Li, Jun Sun, Cong Wang, Jindong Gu, Baoyuan Wu, Siheng Chen, Tianwei Zhang, Yang Liu, Mingming Gong, Tongliang Liu, Shirui Pan, Cihang Xie, Tianyu Pang, Yinpeng Dong, Ruoxi Jia, Yang Zhang, Shiqing Ma, Xiangyu Zhang, Neil Gong, Chaowei Xiao, Sarah M. Erfani, Tim Baldwin, Bo Li, Masashi Sugiyama, Dacheng Tao, James Bailey, Yu-Gang Jiang
2025	J	`jnl`	Scuzer: A Scheduling Optimization Fuzzer for TVM. ACM Trans. Softw. Eng. Methodol. Xiangxiang Chen, Xingwei Lin, Jingyi Wang, Jun Sun, Jiashui Wang, Wenhai Wang
2025	J	`jnl`	The Safety Reminder: A Soft Prompt to Reactivate Delayed Safety Awareness in Vision-Language Models. CoRR Peiyuan Tang, Haojie Xin, Xiaodong Zhang, Jun Sun, Qin Xia, Zijiang Yang
2025	J	`jnl`	Towards Provably Unlearnable Examples via Bayes Error Optimisation. CoRR Ruihan Zhang, Jun Sun, Ee-Peng Lim, Peixin Zhang
2025	A*	`conf`	Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. AAAI Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang
2025	J	`jnl`	Unified Neural Backdoor Removal With Only Few Clean Samples Through Unlearning and Relearning. IEEE Trans. Inf. Forensics Secur. Nay Myat Min, Long H. Pham, Jun Sun
2025	A*	`conf`	Unleashing the Power of Visual Foundation Models for Generalizable Semantic Segmentation. AAAI Peiyuan Tang, Xiaodong Zhang, Chunze Yang, Haoran Yuan, Jun Sun, Danfeng Shan, Zijiang James Yang
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	Misc	`conf`	Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. SAC Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun
2025	J	`jnl`	Where Did It Go Wrong? Attributing Undesirable LLM Behaviors via Representation Gradient Tracing. CoRR Zhe Li, Wei Zhao, Yige Li, Jun Sun
2025	—	`conf`	Zero-Shot Defense Against Toxic Images via Inherent Multimodal Alignment in LVLMs. EMNLP (Findings) Wei Zhao, Zhe Li, Yige Li, Jun Sun
2025	J	`jnl`	Zero-Shot Defense Against Toxic Images via Inherent Multimodal Alignment in LVLMs. CoRR Wei Zhao, Zhe Li, Yige Li, Jun Sun
2025	J	`jnl`	ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet. CoRR Yuekang Li, Wei Song, Bangshuo Zhu, Dong Gong, Yi Liu, Gelei Deng, Chunyang Chen, Lei Ma, Jun Sun, Toby Walsh, Jingling Xue
2024	A*	`conf`	ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. ICSE Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
2024	J	`jnl`	ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. CoRR Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
2024	A*	`conf`	ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation. NeurIPS Jingnan Zheng, Han Wang, An Zhang, Tai D. Nguyen, Jun Sun, Tat-Seng Chua
2024	J	`jnl`	ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation. CoRR Jingnan Zheng, Han Wang, An Zhang, Tai D. Nguyen, Jun Sun, Tat-Seng Chua
2024	A*	`conf`	Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models. NeurIPS Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun
2024	J	`jnl`	Adversarial Suffixes May Be Features Too! CoRR Wei Zhao, Zhe Li, Yige Li, Jun Sun
2024	J	`jnl`	Are Existing Road Design Guidelines Suitable for Autonomous Vehicles? CoRR Yang Sun, Christopher M. Poskitt, Jun Sun
2024	J	`jnl`	Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples. ACM Trans. Softw. Eng. Methodol. Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun
2024	J	`jnl`	BackdoorLLM: A Comprehensive Benchmark for Backdoor Attacks on Large Language Models. CoRR Yige Li, Hanxun Huang, Yunhan Zhao, Xingjun Ma, Jun Sun
2024	J	`jnl`	Better Pay Attention Whilst Fuzzing. IEEE Trans. Software Eng. Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Tian Wang, Liyi Zhang, Peng Cheng
2024	—	`conf`	CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. ICANN (1) Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu
2024	J	`jnl`	CROW: Eliminating Backdoors from Large Language Models via Internal Consistency Regularization. CoRR Nay Myat Min, Long H. Pham, Yige Li, Jun Sun
2024	A	`conf`	Certified Continual Learning for Neural Network Regression. ISSTA Long H. Pham, Jun Sun
2024	J	`jnl`	Certified Continual Learning for Neural Network Regression. CoRR Long H. Pham, Jun Sun
2024	—	`conf`	Certified Quantization Strategy Synthesis for Neural Networks. FM (1) Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong
2024	—	`conf`	Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. CAV (2) Ruihan Zhang, Jun Sun
2024	J	`jnl`	Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors. CoRR Ruihan Zhang, Jun Sun
2024	J	`jnl`	CodeR: Issue Resolving with Multi-Agent and Task Graphs. CoRR Dong Chen, Shaoxin Lin, Muhan Zeng, Daoguang Zan, Jian-Gang Wang, Anton Cheshkov, Jun Sun, Hao Yu, Guoliang Dong, Artem Aliev, Jie Wang, Xiao Cheng, Guangtai Liang, Yuchi Ma, Pan Bian, Tao Xie, Qianxiang Wang
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`	Conformance Testing of Relational DBMS Against SQL Specifications. CoRR Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du
2024	—	`conf`	Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. EMNLP (Findings) Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun
2024	J	`jnl`	Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. CoRR Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun
2024	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings SETTA Holger Hermanns, Jun Sun, Lei Bu
2024	J	`jnl`	Do Influence Functions Work on Large Language Models? CoRR Zhe Li, Wei Zhao, Yige Li, Jun Sun
2024	J	`jnl`	Evaluating and Mitigating Linguistic Discrimination in Large Language Models. CoRR Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang
2024	J	`jnl`	Experimenting a New Programming Practice with LLMs. CoRR Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu
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`	How Does Bayes Error Limit Probabilistic Robust Accuracy. CoRR Ruihan Zhang, Jun Sun
2024	J	`jnl`	LLMScan: Causal Scan for LLM Misbehavior Detection. CoRR Mengdi Zhang, Kai Kiat Goh, Peixin Zhang, Jun Sun
2024	A*	`conf`	Neural Network Semantic Backdoor Detection and Mitigation: A Causality-Based Approach. USENIX Security Symposium Bing Sun, Jun Sun, Wayne Koh, Jie Shi
2024	J	`jnl`	On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. CoRR Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi
2024	J	`jnl`	PTE: Axiomatic Semantics based Compiler Testing. CoRR Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang
2024	J	`jnl`	Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang
2024	J	`jnl`	PonziLens+: Visualizing Bytecode Actions for Smart Ponzi Scheme Identification. CoRR Xiaolin Wen, Tai D. Nguyen, Shaolun Ruan, Qiaomu Shen, Jun Sun, Feida Zhu, Yong Wang
2024	J	`jnl`	PrettiSmart: Visual Interpretation of Smart Contracts via Simulation. CoRR Xiaolin Wen, Tai D. Nguyen, Lun Zhang, Jun Sun, Yong Wang
2024	—	`conf`	Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. SIGSOFT FSE Companion Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu
2024	J	`jnl`	Provably Secure Decisions Based on Potentially Malicious Information. IEEE Trans. Dependable Secur. Comput. Dongxia Wang, Tim Muller, Jun Sun
2024	A*	`conf`	REDriver: Runtime Enforcement for Autonomous Vehicles. ICSE Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
2024	J	`jnl`	REDriver: Runtime Enforcement for Autonomous Vehicles. CoRR Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun
2024	J	`jnl`	Resilient Watermarking for LLM-Generated Codes. CoRR Boquan Li, Mengdi Zhang, Peixin Zhang, Jun Sun, Xingmei Wang
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	J	`jnl`	Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024	J	`jnl`	Seed Selection for Testing Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. Yuhan Zhi, Xiaofei Xie, Chao Shen, Jun Sun, Xiaoyu Zhang, Xiaohong Guan
2024	J	`jnl`	Semantic Conformance Testing of Relational DBMS. Proc. VLDB Endow. Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du
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 General Conceptual Model Editing via Adversarial Representation Engineering. CoRR Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun
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`	Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. CoRR Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang
2024	J	`jnl`	UniAdapt: A Universal Adapter for Knowledge Calibration. CoRR Tai D. Nguyen, Long H. Pham, Jun Sun
2024	J	`jnl`	Unified Neural Backdoor Removal with Only Few Clean Samples through Unlearning and Relearning. CoRR Nay Myat Min, Long H. Pham, Jun Sun
2024	J	`jnl`	sFuzz2.0: Storage-access pattern guided smart contract fuzzing. J. Softw. Evol. Process. Haoyu Wang, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao, Yan Wan, Tai D. Nguyen
2024	J	`jnl`	sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts. ACM Trans. Softw. Eng. Methodol. Cuifeng Gao, Wenzhang Yang, Jiaming Ye, Yinxing Xue, Jun Sun
2024	J	`jnl`	xFuzz: Machine Learning Guided Cross-Contract Fuzzing. IEEE Trans. Dependable Secur. Comput. Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao
2024	J	`jnl`	μDrive: User-Controlled Autonomous Driving. CoRR Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen
2023	J	`jnl`	Achieving High MAP-Coverage Through Pattern Constraint Reduction. IEEE Trans. Software Eng. Yingquan Zhao, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen
2023	C	`conf`	An Idealist's Approach for Smart Contract Correctness. ICFEM Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le
2023	—	`ed.`	Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I ATVA (1) Étienne André, Jun Sun
2023	B	`ed.`	Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II ATVA (2) Étienne André, Jun Sun
2023	J	`jnl`	Backdoor Attack through Machine Unlearning. CoRR Peixin Zhang, Jun Sun, Mingtian Tan, Xinyu Wang
2023	C	`conf`	Black-Box Fairness Testing with Shadow Models. ICICS Weipeng Jiang, Chao Shen, Chenhao Lin, Jingyi Wang, Jun Sun, Xuanqi Gao
2023	J	`jnl`	Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. IEEE Robotics Autom. Lett. Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay
2023	J	`jnl`	Causality Analysis for Evaluating the Security of Large Language Models. CoRR Wei Zhao, Zhe Li, Jun Sun
2023	—	`conf`	Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
2023	J	`jnl`	Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. IEEE Trans. Software Eng. Fan Zhang, Qianmei Wu, Bohan Xuan, Yuqi Chen, Wei Lin, Christopher M. Poskitt, Jun Sun, Binbin Chen
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	A*	`conf`	Finding Causally Different Tests for an Industrial Control System. ICSE Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
2023	J	`jnl`	Finding Causally Different Tests for an Industrial Control System. CoRR Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
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	J	`jnl`	Fuzzing with Quantitative and Adaptive Hot-Bytes Identification. CoRR Tai D. Nguyen, Long H. Pham, Jun Sun
2023	J	`jnl`	How Generalizable are Deepfake Detectors? An Empirical Study. CoRR Boquan Li, Jun Sun, Christopher M. Poskitt
2023	J	`jnl`	K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Trans. Software Eng. Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
2023	—	`conf`	Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. ESEC/SIGSOFT FSE Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, Shang-Wei Lin
2023	A	`conf`	Mitigating Membership Inference Attacks via Weighted Smoothing. ACSAC Mingtian Tan, Xiaofei Xie, Jun Sun, Tianhao Wang
2023	J	`jnl`	Personal Information Protection in Government Data Openness Using Decision Tree Model. J. Glob. Inf. Manag. Bo Gao, Jun Sun, Bochun Wang
2023	J	`jnl`	Prompting Frameworks for Large Language Models: A Survey. CoRR Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang
2023	—	`conf`	QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) Yedi Zhang, Fu Song, Jun Sun
2023	J	`jnl`	QuoTe: Quality-oriented Testing for Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. Jialuo Chen, Jingyi Wang, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang, Peng Cheng
2023	J	`jnl`	Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Formal Aspects Comput. Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun
2023	A	`conf`	Semantic-Based Neural Network Repair. ISSTA Richard Schumi, Jun Sun
2023	J	`jnl`	Semantic-Based Neural Network Repair. CoRR Richard Schumi, Jun Sun
2023	A	`conf`	Silent Compiler Bug De-duplication via Three-Dimensional Analysis. ISSTA Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun
2023	—	`conf`	Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. ESEC/SIGSOFT FSE Lida Zhao, Sen Chen, Zhengzi Xu, Chengwei Liu, Lyuye Zhang, Jiahui Wu, Jun Sun, Yang Liu
2023	J	`jnl`	Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang
2023	J	`jnl`	TestSGD: Interpretable Testing of Neural Networks against Subtle Group Discrimination. ACM Trans. Softw. Eng. Methodol. Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun
2023	A	`conf`	Testing Automated Driving Systems by Breaking Many Laws Efficiently. ISSTA Xiaodong Zhang, Wei Zhao, Yang Sun, Jun Sun, Yulong Shen, Xuewen Dong, Zijiang Yang
2023	J	`jnl`	Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. CoRR Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu
2023	J	`jnl`	Towards Certified Probabilistic Robustness with High Accuracy. CoRR Ruihan Zhang, Peixin Zhang, Jun Sun
2023	C	`conf`	Towards an Effective and Interpretable Refinement Approach for DNN Verification. QRS Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun
2023	A*	`conf`	Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension. ICSE Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo, Yue Yu
2022	J	`jnl`	"More Than Deep Learning": post-processing for API sequence recommendation. Empir. Softw. Eng. Chi Chen, Xin Peng, Bihuan Chen, Jun Sun, Zhenchang Xing, Xin Wang, Wenyun Zhao
2022	J	`jnl`	A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic. Proc. ACM Program. Lang. Xuan-Bach Le, Shang-Wei Lin, Jun Sun, David Sanán
2022	J	`jnl`	Adaptive Fairness Improvement Based on Causality Analysis. CoRR Mengdi Zhang, Jun Sun
2022	—	`conf`	Adaptive fairness improvement based on causality analysis. ESEC/SIGSOFT FSE Mengdi Zhang, Jun Sun
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	J	`jnl`	CARBON: A Counterfactual Reasoning based Framework for Neural Code Comprehension Debiasing. CoRR Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo
2022	A*	`conf`	Causality-Based Neural Network Repair. ICSE Bing Sun, Jun Sun, Long H. Pham, Tie Shi
2022	J	`jnl`	Causality-based Neural Network Repair. CoRR Bing Sun, Jun Sun, Hong Long Pham, Jie Shi
2022	J	`jnl`	Delta Debugging Microservice Systems with Parallel Optimization. IEEE Trans. Serv. Comput. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, WenHai Li, Dan Ding
2022	J	`jnl`	Enjoy your observability: an industrial survey of microservice tracing and analysis. Empir. Softw. Eng. Bowen Li, Xin Peng, Qilin Xiang, Hanzhang Wang, Tao Xie, Jun Sun, Xuanzhe Liu
2022	A*	`conf`	ExAIS: Executable AI Semantics. ICSE Richard Schumi, Jun Sun
2022	J	`jnl`	ExAIS: Executable AI Semantics. CoRR Richard Schumi, Jun Sun
2022	J	`jnl`	Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR Étienne André, Didier Lime, Dylan Marinho, Jun Sun
2022	J	`jnl`	Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. Étienne André, Didier Lime, Dylan Marinho, Jun Sun
2022	J	`jnl`	Holistic Combination of Structural and Textual Code Information for Context Based API Recommendation. IEEE Trans. Software Eng. Chi Chen, Xin Peng, Zhenchang Xing, Jun Sun, Xin Wang, Yifan Zhao, Wenyun Zhao
2022	J	`jnl`	K-ST: A Formal Executable Semantics of PLC Structured Text Language. CoRR Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng
2022	A*	`conf`	LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
2022	J	`jnl`	LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang
2022	C	`conf`	ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay
2022	J	`jnl`	Physical Adversarial Attack on a Robotic Arm. IEEE Robotics Autom. Lett. Yifan Jia, Christopher M. Poskitt, Jun Sun, Sudipta Chattopadhyay
2022	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li
2022	J	`jnl`	QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR Yedi Zhang, Fu Song, Jun Sun
2022	A*	`conf`	QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2022	J	`jnl`	QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
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	J	`jnl`	S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. CoRR Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin
2022	J	`jnl`	TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination. CoRR Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun
2022	—	`conf`	Verifying Neural Networks Against Backdoor Attacks. CAV (1) Long H. Pham, Jun Sun
2022	J	`jnl`	Verifying Neural Networks Against Backdoor Attacks. CoRR Long H. Pham, Jun Sun
2022	J	`jnl`	Which neural network makes more explainable decisions? An approach towards measuring explainability. Autom. Softw. Eng. Mengdi Zhang, Jun Sun, Jingyi Wang
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	J	`jnl`	A Topic Guided Pointer-Generator Model for Generating Natural Language Code Summaries. CoRR Xin Wang, Xin Peng, Jun Sun, Yifan Zhao, Chi Chen, Jinkai Fan
2021	J	`jnl`	Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems. CoRR Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
2021	J	`jnl`	Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. Int. J. Crit. Infrastructure Prot. Yifan Jia, Jingyi Wang, Christopher M. Poskitt, Sudipta Chattopadhyay, Jun Sun, Yuqi Chen
2021	A	`conf`	Assessing Code Clone Harmfulness: Indicators, Factors, and Counter Measures. SANER Bin Hu, Yijian Wu, Xin Peng, Jun Sun, Nanjie Zhan, Jun Wu
2021	J	`jnl`	Attack as Defense: Characterizing Adversarial Examples using Robustness. CoRR Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
2021	A	`conf`	Attack as defense: characterizing adversarial examples using robustness. ISSTA Zhe Zhao, Guangke Chen, Jingyi Wang, Yiwei Yang, Fu Song, Jun Sun
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`	Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. IEEE Trans. Software Eng. Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jégourel
2021	J	`jnl`	Better Pay Attention Whilst Fuzzing. CoRR Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Liyi Zhang, Peng Cheng
2021	J	`jnl`	Code Integrity Attestation for PLCs using Black Box Neural Network Predictions. CoRR Yuqi Chen, Christopher M. Poskitt, Jun Sun
2021	—	`conf`	Code integrity attestation for PLCs using black box neural network predictions. ESEC/SIGSOFT FSE Yuqi Chen, Christopher M. Poskitt, Jun Sun
2021	C	`conf`	Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps. IV Yun Tang, Yuan Zhou, Yang Liu, Jun Sun, Gang Wang
2021	J	`jnl`	Distributed parametric model checking timed automata under non-Zenoness assumption. Formal Methods Syst. Des. Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
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	A*	`conf`	FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning. ASE Shaohua Zhang, Shuang Liu, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, Jianye Hao
2021	J	`jnl`	Fairness Testing of Deep Image Classification with Adequacy Metrics. CoRR Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang
2021	J	`jnl`	Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study. IEEE Trans. Software Eng. Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, WenHai Li, Dan Ding
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	C	`conf`	HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing. QRS Yanzhou Mu, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen
2021	—	`conf`	Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2021	J	`jnl`	Machine Learning Guided Cross-Contract Fuzzing. CoRR Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao
2021	B	`conf`	Probabilistic Verification of Neural Networks Against Group Fairness. FM Bing Sun, Jun Sun, Ting Dai, Lijun Zhang
2021	J	`jnl`	Probabilistic Verification of Neural Networks Against Group Fairness. CoRR Bing Sun, Jun Sun, Ting Dai, Lijun Zhang
2021	A*	`conf`	RobOT: Robustness-Oriented Testing for Deep Learning Systems. ICSE Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
2021	J	`jnl`	RobOT: Robustness-Oriented Testing for Deep Learning Systems. CoRR Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun, Peng Cheng
2021	A*	`conf`	Route Coverage Testing for Autonomous Vehicles via Map Modeling. ICRA Yun Tang, Yuan Zhou, Fenghua Wu, Yang Liu, Jun Sun, Wuling Huang, Gang Wang
2021	A*	`conf`	SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. SP Tai D. Nguyen, Long H. Pham, Jun Sun
2021	B	`conf`	SpecTest: Specification-Based Compiler Testing. FASE Richard Schumi, Jun Sun
2021	C	`conf`	Towards Repairing Neural Networks Correctly. QRS Guoliang Dong, Jun Sun, Xingen Wang, Xinyu Wang, Ting Dai
2021	A	`conf`	Type and interval aware array constraint solving for symbolic execution. ISSTA Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang
2021	C	`conf`	Verification Assisted Gas Reduction for Smart Contracts. APSEC Bo Gao, Siyuan Shen, Ling Shi, Jiaying Li, Jun Sun, Lei Bu
2021	J	`jnl`	hPRESS: A Hardware-Enhanced Proxy Re-Encryption Scheme Using Secure Enclave. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Fan Zhang, Ziyuan Liang, Cong Zuo, Jun Shao, Jianting Ning, Jun Sun, Joseph K. Liu, Yibao Bao
2021	J	`jnl`	sGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. CoRR Tai D. Nguyen, Long H. Pham, Jun Sun
2021	C	`conf`	sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. ISoLA Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang
2020	B	`conf`	A Generalized Formal Semantic Framework for Smart Contracts. FASE Jiao Jiao, Shang-Wei Lin, Jun Sun
2020	A*	`conf`	Accelerating All-SAT Computation with Short Blocking Clauses. ASE Yueling Zhang, Geguang Pu, Jun Sun
2020	J	`jnl`	Active Fuzzing for Testing and Securing Cyber-Physical Systems. CoRR Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang
2020	A	`conf`	Active fuzzing for testing and securing cyber-physical systems. ISSTA Yuqi Chen, Bohan Xuan, Christopher M. Poskitt, Jun Sun, Fan Zhang
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`	Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. ICECCS Xuan-Bach Le, David Sanán, Jun Sun, Shang-Wei Lin
2020	—	`conf`	CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies. Blockchain Qingze Hum, Wei Jin Tan, Shi Ying Tey, Latasha Lenus, Ivan Homoliak, Yun Lin, Jun Sun
2020	J	`jnl`	CoinWatch: A Clone-Based Approach For Detecting Vulnerabilities in Cryptocurrencies. CoRR Qingze Hum, Wei Jin Tan, Shi Ying Tey, Latasha Lenus, Ivan Homoliak, Yun Lin, Jun Sun
2020	—	`conf`	Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun
2020	J	`jnl`	Holistic Combination of Structural and Textual Code Information for Context based API Recommendation. CoRR Chi Chen, Xin Peng, Zhenchang Xing, Jun Sun, Xin Wang, Yifan Zhao, Wenyun Zhao
2020	B	`conf`	IFIX: Fixing Concurrency Bugs While They Are Introduced. ICECCS Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen
2020	J	`jnl`	Improving Neural Network Verification through Spurious Region Guided Refinement. CoRR Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
2020	C	`conf`	Learning Fault Models of Cyber Physical Systems. ICFEM Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay
2020	—	`conf`	ObjSim: efficient testing of cyber-physical systems. TAV-CPS/IoT@ISSTA Jun Sun, Zijiang Yang
2020	A	`conf`	Provably Robust Decisions based on Potentially Malicious Sources of Information. CSF Tim Muller, Dongxia Wang, Jun Sun
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`	SAGA: Efficient and Large-Scale Detection of Near-Miss Clones with GPU Acceleration. SANER Guanhua Li, Yijian Wu, Chanchal K. Roy, Jun Sun, Xin Peng, Nanjie Zhan, Bin Hu, Jingyi Ma
2020	J	`jnl`	SOCRATES: Towards a Unified Platform for Neural Network Verification. CoRR Long H. Pham, Jiaying Li, Jun Sun
2020	A*	`conf`	Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. SP Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun
2020	A*	`conf`	Symbolic verification of message passing interface programs. ICSE Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
2020	B	`conf`	Systematic Classification of Attackers via Bounded Model Checking. VMCAI Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay
2020	A*	`conf`	Towards Generating Thread-Safe Classes Automatically. ASE Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li
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	J	`jnl`	Towards Repairing Neural Networks Correctly. CoRR Guoliang Dong, Jun Sun, Jingyi Wang, Xinyu Wang, Ting Dai
2020	—	`conf`	What Makes Open Source Software Projects Impactful: A Data-Driven Approach. Internetware Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen
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
2020	J	`jnl`	sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts. CoRR Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh
2020	A*	`conf`	sFuzz: an efficient adaptive fuzzer for solidity smart contracts. ICSE Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh
2019	J	`jnl`	AI-boosted software automation: learning from human pair programmers. Sci. China Inf. Sci. Xin Peng, Zhenchang Xing, Jun Sun
2019	B	`conf`	Adaptive Randomized Scheduling for Concurrency Bug Detection. ICECCS Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao
2019	A*	`conf`	Adversarial sample detection for deep neural network through model mutation testing. ICSE Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang
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	—	`conf`	Careful-Packing: A Practical and Scalable Anti-Tampering Software Protection enforced by Trusted Computing. CODASPY Flavio Toffalini, Martín Ochoa, Jun Sun, Jianying Zhou
2019	B	`conf`	Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning. APLAS Long H. Pham, Jun Sun, Quang Loc Le
2019	J	`jnl`	Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning. CoRR Long H. Pham, Jun Sun, Quang Loc Le
2019	B	`conf`	Concolic Testing Heap-Manipulating Programs. FM Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
2019	J	`jnl`	Concolic Testing Heap-Manipulating Programs. CoRR Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun
2019	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings SETTA Nan Guan, Joost-Pieter Katoen, Jun Sun
2019	B	`conf`	Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
2019	J	`jnl`	GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. CoRR Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, Jiaguang Sun
2019	J	`jnl`	Generative API usage code recommendation with parameter concretization. Sci. China Inf. Sci. Chi Chen, Xin Peng, Jun Sun, Zhenchang Xing, Xin Wang, Yifan Zhao, Hairui Zhang, Wenyun Zhao
2019	—	`conf`	Latent error prediction and fault localization for microservice applications by learning from system trace logs. ESEC/SIGSOFT FSE Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Dewei Liu, Qilin Xiang, Chuan He
2019	A*	`conf`	Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. ASE Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang
2019	J	`jnl`	Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. CoRR Yuqi Chen, Christopher M. Poskitt, Jun Sun, Sridhar Adepu, Fan Zhang
2019	A*	`conf`	MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. ASE Zan Wang, Yingquan Zhao, Shuang Liu, Jun Sun, Xiang Chen, Huarui Lin
2019	B	`conf`	Parametric Timed Model Checking for Guaranteeing Timed Opacity. ATVA Étienne André, Jun Sun
2019	J	`jnl`	Parametric Timed Model Checking for Guaranteeing Timed Opacity. CoRR Étienne André, Jun Sun
2019	J	`jnl`	Practical static analysis of context leaks in Android applications. Softw. Pract. Exp. Flavio Toffalini, Jun Sun, Martín Ochoa
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`	Systematic Classification of Attackers via Bounded Model Checking. CoRR Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay
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
2019	C	`conf`	sCompile: Critical Path Identification and Analysis for Smart Contracts. ICFEM Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang
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	J	`jnl`	Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing. CoRR Jingyi Wang, Guoliang Dong, Jun Sun, Xinyu Wang, Peixin Zhang
2018	—	`conf`	Alignment Between Enterprise Green Supply Chain and Green Information System: An Analysis of Four Cases. IEEM Zheng Wu, Zhaojun Yang, Jun Sun, Yu Zou
2018	J	`jnl`	An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers. IEEE Trans. Smart Grid Jianye Hao, Eunsuk Kang, Jun Sun, Zan Wang, Zhaopeng Meng, Xiaohong Li, Zhong Ming
2018	—	`conf`	Benchmarking microservice systems for software engineering research. ICSE (Companion Volume) Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao
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	B	`conf`	Compositional Reasoning for Shared-Variable Concurrent Programs. FM Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun
2018	J	`jnl`	CrowdService: Optimizing Mobile Crowdsourcing and Service Composition. ACM Trans. Internet Techn. Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao
2018	A*	`conf`	Delta debugging microservice systems. ASE Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, WenHai Li, Chao Ji, Dan Ding
2018	J	`jnl`	Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing. CoRR Jingyi Wang, Jun Sun, Peixin Zhang, Xinyu Wang
2018	J	`jnl`	Detecting Bitrate Modulation-Based Covert Voice-Over-IP Communication. IEEE Commun. Lett. Hui Tian, Jun Sun, Chin-Chen Chang, Yongfeng Huang, Yonghong Chen
2018	J	`jnl`	Efficient and Robust Emergence of Norms through Heuristic Collective Learning. ACM Trans. Auton. Adapt. Syst. Jianye Hao, Jun Sun, Guangyong Chen, Zan Wang, Chao Yu, Zhong Ming
2018	J	`jnl`	Executable Operational Semantics of Solidity. CoRR Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun
2018	—	`conf`	Frame Inference for Inductive Entailment Proofs in Separation Logic. TACAS (1) Quang Loc Le, Jun Sun, Shengchao Qin
2018	A	`conf`	Importance Sampling of Interval Markov Chains. DSN Cyrille Jégourel, Jingyi Wang, Jun Sun
2018	A*	`conf`	Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. IEEE Symposium on Security and Privacy Yuqi Chen, Christopher M. Poskitt, Jun Sun
2018	J	`jnl`	Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System. CoRR Yuqi Chen, Christopher M. Poskitt, Jun Sun
2018	J	`jnl`	Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Int. J. Softw. Tools Technol. Transf. Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2018	—	`conf`	On the Sequential Massart Algorithm for Statistical Model Checking. ISoLA (2) Cyrille Jégourel, Jun Sun, Jin Song Dong
2018	A*	`conf`	PFix: fixing concurrency bugs based on memory access patterns. ASE Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, Guangning Wei
2018	J	`jnl`	Quantifying Attacker Capability Via Model Checking Multiple Properties (Extended Version). CoRR Eric Rothstein Morris, Jun Sun
2018	—	`conf`	Static analysis of context leaks in android applications. ICSE (SEIP) Flavio Toffalini, Jun Sun, Martín Ochoa
2018	—	`conf`	Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
2018	C	`conf`	The Miles Before Formal Methods - A Case Study on Modeling and Analyzing a Passenger Lift System. ICFEM Teck Ping Khoo, Jun Sun
2018	B	`conf`	Towards 'Verifying' a Water Treatment System. FM Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
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	A*	`conf`	Towards optimal concolic testing. ICSE Xinyu Wang, Jun Sun, Zhenbang Chen, Peixin Zhang, Jingyi Wang, Yun Lin
2018	—	`conf`	Understanding Influential Factors in Selecting Sustainable Third-party Logistics Providers: An Interpretive Structural Modeling and MICMAC Analysis. IEEM Xiangce Meng, Zhaojun Yang, Jun Sun
2018	J	`jnl`	sCompile: Critical Path Identification and Analysis for Smart Contracts. CoRR Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Zijiang Yang
2017	—	`conf`	A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic. CAV (2) Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin
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`	Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. ICDM Workshops Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017	J	`jnl`	Anomaly Detection for a Water Treatment System Using Unsupervised Machine Learning. CoRR Jun Inoue, Yoriyuki Yamagata, Yuqi Chen, Christopher M. Poskitt, Jun Sun
2017	C	`conf`	Assertion Generation Through Active Learning. ICFEM Long H. Pham, Lyly Tran Thi, Jun Sun
2017	—	`conf`	Assertion generation through active learning. ICSE (Companion Volume) Long H. Pham, Lyly Tran Thi, Jun Sun
2017	J	`jnl`	Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. IEEE Trans. Inf. Forensics Secur. Yinxing Xue, Guozhu Meng, Yang Liu, Tian Huat Tan, Hongxu Chen, Jun Sun, Jie Zhang
2017	A*	`conf`	Automatic loop-invariant generation and refinement through selective sampling. ASE Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
2017	J	`jnl`	Battery-Aware Mobile Data Service. IEEE Trans. Mob. Comput. Liang He, Guozhu Meng, Yu Gu, Cong Liu, Jun Sun, Ting Zhu, Yang Liu, Kang G. Shin
2017	C	`conf`	Classification-Based Parameter Synthesis for Parametric Timed Automata. ICFEM Jiaying Li, Jun Sun, Bo Gao, Étienne André
2017	J	`jnl`	Detecting Steganography of Adaptive Multirate Speech with Unknown Embedding Rate. Mob. Inf. Syst. Hui Tian, Jun Sun, Yongfeng Huang, Tian Wang, Yonghong Chen, Yiqiao Cai
2017	A*	`conf`	Feedback-based debugging. ICSE Yun Lin, Jun Sun, Yinxing Xue, Yang Liu, Jinsong Dong
2017	A*	`conf`	FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. ASE Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen
2017	J	`jnl`	Hiding Information Into Voice-Over-IP Streams Using Adaptive Bitrate Modulation. IEEE Commun. Lett. Hui Tian, Jun Sun, Chin-Chen Chang, Jie Qin, Yonghong Chen
2017	C	`conf`	Improving Probability Estimation Through Active Probabilistic Model Learning. ICFEM Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin
2017	—	`conf`	JSFox: integrating static and dynamic type analysis of JavaScript programs. ICSE (Companion Volume) Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun
2017	J	`jnl`	Language Inclusion Checking of Timed Automata with Non-Zenoness. IEEE Trans. Software Eng. Xinyu Wang, Jun Sun, Ting Wang, Shengchao Qin
2017	B	`conf`	Learning Likely Invariants to Explain Why a Program Fails. ICECCS Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng
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	A*	`conf`	O2O service composition with social collaboration. ASE Wenyi Qian, Xin Peng, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao
2017	—	`conf`	Parametric Model Checking Timed Automata Under Non-Zenoness Assumption. NFM Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun
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`	Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. FASE Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2017	J	`jnl`	Toward 'verifying' a Water Treatment System. CoRR Jingyi Wang, Jun Sun, Yifan Jia
2016	B	`conf`	Automated Verification of Timed Security Protocols with Clock Drift. FM Li Li, Jun Sun, Jin Song Dong
2016	J	`jnl`	Compositional Reasoning for Shared-variable Concurrent Programs. CoRR Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun
2016	A*	`conf`	CrowdService: serving the individuals through mobile crowdsourcing and service composition. ASE Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, Wenyun Zhao
2016	—	`conf`	Designing minimal effective normative systems with the help of lightweight formal methods. SIGSOFT FSE Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson
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`	IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Appl. Soft Comput. Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen, Jun Sun
2016	J	`jnl`	Improved EGT-Based Robustness Analysis of Negotiation Strategies in Multiagent Systems via Model Checking. IEEE Trans. Hum. Mach. Syst. Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-fung Leung, Jie Zhang
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	J	`jnl`	Learning Likely Invariants to Explain Why a Program Fails. CoRR Jun Sun, Long H. Pham, Lyly Tran Thi, Jingyi Wang, Xin Peng
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	B	`conf`	Regular Symmetry Patterns. VMCAI Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
2016	—	`conf`	Satisfiability Modulo Heap-Based Programs. CAV (1) Quang Loc Le, Jun Sun, Wei-Ngan Chin
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	J	`jnl`	Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. CoRR Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
2016	B	`conf`	Towards Concolic Testing for Hybrid Systems. FM Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2016	J	`jnl`	Towards Concolic Testing for Hybrid Systems. CoRR Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2016	B	`conf`	Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. FM Yuqi Chen, Christopher M. Poskitt, Jun Sun
2016	J	`jnl`	Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation. CoRR Yuqi Chen, Christopher M. Poskitt, Jun Sun
2016	B	`conf`	Towards Using Concurrent Java API Correctly. ICECCS Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong
2016	J	`jnl`	Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement. CoRR Jingyi Wang, Jun Sun, Shengchao Qin
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	B	`conf`	An Adaptive Markov Strategy for Effective Network Intrusion Detection. ICTAI Jianye Hao, Yinxing Xue, Mahinthan Chandramohan, Yang Liu, Jun Sun
2015	A	`conf`	Detection and classification of malicious JavaScript via attack behavior modelling. ISSTA Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, Mahinthan Chandramohan
2015	Misc	`conf`	Event and Strategy Analytics. TASE Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li, Jing Sun, Ling Shi
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	B	`conf`	GPU Accelerated On-the-Fly Reachability Checking. ICECCS Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin
2015	A	`conf`	Heuristic Collective Learning for Efficient and Robust Emergence of Social Norms. AAMAS Jianye Hao, Jun Sun, Dongping Huang, Yi Cai, Chao Yu
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	J	`jnl`	Regular Symmetry Patterns (Technical Report). CoRR Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
2015	A	`conf`	Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
2015	—	`conf`	TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin
2015	B	`conf`	Verifying Parameterized Timed Security Protocols. FM Li Li, Jun Sun, Yang Liu, Jin Song Dong
2014	C	`conf`	A Hybrid Model of Connectors in Cyber-Physical Systems. ICFEM Xiaohong Chen, Jun Sun, Meng Sun
2014	—	`conf`	Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun
2014	A	`conf`	An extensive model checking framework for multi-agent systems. AAMAS Songzheng Song, Yang Liu, Jie Zhang, Jun Sun
2014	A	`conf`	Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. TACAS Ting Wang, Jun Sun, Yang Liu, Xinyu Wang, Shanping Li
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	A*	`conf`	Detecting differences across multiple instances of code clones. ICSE Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, Wenyun Zhao
2014	A*	`conf`	Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
2014	C	`conf`	Event Analytics. ICTAC Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li
2014	B	`ed.`	FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings FM Cliff B. Jones, Pekka Pihlajasaari, Jun Sun
2014	C	`conf`	GPU Accelerated Counterexample Generation in LTL Model Checking. ICFEM Zhimin Wu, Yang Liu, Yun Liang, Jun Sun
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	—	`ed.`	1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, Singapore, July 15-16, 2013 FSFMA Christine Choppy, Jun Sun
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	B	`conf`	Improved Reachability Analysis in DTMC via Divide and Conquer. IFM Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong
2013	C	`conf`	Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. ICFEM Yuanjie Si, Jun Sun, Yang Liu, Ting Wang
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	—	`conf`	Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. APSEC (1) Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun
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	Misc	`conf`	Social-Loc: improving indoor localization with social sensing. SenSys Jung-Hyun Jun, Yu Gu, Long Cheng, Banghui Lu, Jun Sun, Ting Zhu, Jianwei Niu
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	—	`conf`	TTM/PAT: Specifying and Verifying Timed Transition Models. FTSCS Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun
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	A*	`conf`	TzuYu: Learning stateful typestates. ASE Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun
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	C	`conf`	Verification of Functional and Non-functional Requirements of Web Service Composition. ICFEM Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li
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
2013	C	`conf`	vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. ICFEM Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun
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`	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	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	Misc	`conf`	Improving indoor localization with social interactions. SenSys Jung-Hyun Jun, Long Cheng, Jun Sun, Yu Gu, Ting Zhu, Tian He
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`	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	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	`conf`	Model Checking Hierarchical Probabilistic Systems. ICFEM Jun Sun, Songzheng Song, Yang Liu
2010	C	`conf`	Model Checking a Model Checker: A Code Contract Combined Approach. ICFEM Jun Sun, Yang Liu, Bin Cheng
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	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	B	`conf`	Model Checking Linearizability via Refinement. FM Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun
2009	A*	`conf`	PAT: Towards Flexible Verification under Fairness. CAV Jun Sun, Yang Liu, Jin Song Dong, Jun Pang
2009	C	`conf`	Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM Yang Liu, Jun Sun, Jin Song Dong
2009	Misc	`conf`	Towards Expressive Specification and Efficient Model Checking. TASE Jin Song Dong, Jun Sun
2009	Misc	`conf`	Verification of Population Ring Protocols in PAT. TASE Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao
2009	C	`conf`	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang
2008	B	`conf`	A Formal Model of Semantic Web Service Ontology (WSMO) Execution. ICECCS Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun
2008	B	`conf`	A Scalable Approach to Multi-style Architectural Modeling and Verification. ICECCS Stephen Wong, Jing Sun, Ian Warren, Jun Sun
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	—	`conf`	How Users Respond to Authentication Methods: A Study of Security Readiness. AMCIS Jun Sun, Punit Ahluwalia
2008	C	`conf`	Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA Jun Sun, Yang Liu, 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	B	`conf`	A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). ICECCS Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun 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`	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	J	`jnl`	Reasoning About ORA-SS Data Models Using the Semantic Web. J. Data Semant. Yuan-Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang, Jun Sun
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`	Validating Semistructured Data Using OWL. WAIM Yuan-Fang Li, Jing Sun, Gillian Dobbie, Jun Sun, Hai H. Wang
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	—	`conf`	Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. WLFM@FM Yang Liu, Jun Sun
2005	B	`conf`	Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS Jun Sun, Jin Song Dong
2005	B	`conf`	Model Checking Live Sequence Charts. ICECCS Jun Sun, Jin Song Dong
2005	B	`conf`	Synthesis of Distributed Processes from Scenario-Based Specifications. FM Jun Sun, Jin Song Dong
2005	C	`conf`	Visualizing and Simulating Semantic Web Services Ontologies. ICFEM Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun
2004	B	`conf`	Generating MSCs from an Integrated Formal Specification Language. IFM Jin Song Dong, Shengchao Qin, Jun Sun
2004	C	`conf`	Timed Patterns: TCOZ to Timed Automata. ICFEM Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
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
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