Shengchao Qin - RankMe

187 papers A* 24A 3B 20C 29Misc 21Journal 66Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Adversarial rain attack and defensive deraining for DNN perception. Neural Networks Liming Zhai, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Lei Ma, Wei Feng, Shengchao Qin, Yang Liu
2026	J	`jnl`	CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing. Sci. Comput. Program. Jiacheng Jiang, Cheng Wen, Zhiyuan Fu, Shengchao Qin
2026	J	`jnl`	Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+. J. Circuits Syst. Comput. Lili Xiao, Zhiru Hou, Huibiao Zhu, Mengda He, Shengchao Qin
2026	J	`jnl`	Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs. Autom. Softw. Eng. Yu Zhang, Kaiwen Zhang, Guanjun Liu, Yuandao Cai, Shengchao Qin
2025	J	`jnl`	A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs. CoRR Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Haokun Li, Mingqi Yang, Xiao Yi, Shengchao Qin, Yixing Luo, Xiaofeng Li, Bin Gu, Liqiang Lu, Jianwei Yin
2025	A*	`conf`	Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs. ASE Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang
2025	J	`jnl`	Bridging Natural Language and Formal Specification-Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs. CoRR Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang
2025	J	`jnl`	Enhancing deep learning for demand forecasting to address large data gaps. Expert Syst. Appl. Chirine Riachy, Mengda He, Sina Joneidy, Shengchao Qin, Tim Payne, Graeme Boulton, Annalisa Occhipinti, Claudio Angione
2025	A*	`conf`	Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL. INFOCOM Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao
2025	—	`conf`	From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. ACL (1) Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian
2025	J	`jnl`	From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. CoRR Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian
2025	A*	`conf`	ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation. AAAI Mengyang Wu, Yuzhi Zhao, Jialun Cao, Mingjie Xu, Zhongming Jiang, Xuehui Wang, Qinbin Li, Guangneng Hu, Shengchao Qin, Chi-Wing Fu
2025	A*	`conf`	KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation. EMNLP Ziyi Guan, Jason Chun Lok Li, Zhijian Hou, Pingping Zhang, Donglai Xu, Yuzhi Zhao, Mengyang Wu, Jinpeng Chen, Thanh-Toan Nguyen, Pengfei Xian, Wenao Ma, Shengchao Qin, Graziano Chesi, Ngai Wong
2025	J	`jnl`	KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation. CoRR Ziyi Guan, Jason Chun Lok Li, Zhijian Hou, Pingping Zhang, Donglai Xu, Yuzhi Zhao, Mengyang Wu, Jinpeng Chen, Thanh-Toan Nguyen, Pengfei Xian, Wenao Ma, Shengchao Qin, Graziano Chesi, Ngai Wong
2025	A*	`conf`	LLM-Aided Automatic Modeling for Security Protocol Verification. ICSE Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong
2025	J	`jnl`	PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis. CoRR Zhong-Yi Wang, Mingshuai Chen, Tengjie Lin, Linyu Yang, Junhao Zhuo, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2025	J	`jnl`	Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis. J. Comput. Sci. Technol. Zhong-Yi Wang, Mingshuai Chen, Teng-Jie Lin, Linyu Yang, Junhao Zhuo, Qiu-Ye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2025	J	`jnl`	Preguss: It Analyzes, It Specifies, It Verifies. CoRR Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Mingqi Yang, Haokun Li, Xiao Yi, Shengchao Qin, Jianwei Yin
2024	J	`jnl`	Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? ACM Trans. Knowl. Discov. Data Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian
2024	Misc	`conf`	CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. TASE Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian
2024	Misc	`conf`	CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. TASE Jiacheng Jiang, Cheng Wen, Shengchao Qin
2024	—	`conf`	Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024	J	`jnl`	Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024	C	`conf`	Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. ICFEM Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin
2024	J	`jnl`	ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation. CoRR Mengyang Wu, Yuzhi Zhao, Jialun Cao, Mingjie Xu, Zhongming Jiang, Xuehui Wang, Qinbin Li, Guangneng Hu, Shengchao Qin, Chi-Wing Fu
2024	C	`conf`	MemSpate: Memory Usage Protocol Guided Fuzzing. ICFEM Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin
2024	C	`conf`	NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. ICFEM Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang
2024	A*	`conf`	Parf: Adaptive Parameter Refining for Abstract Interpretation. ASE Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2024	J	`jnl`	Parf: Adaptive Parameter Refining for Abstract Interpretation. CoRR Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin
2024	A*	`conf`	RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. ICSE Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He
2024	J	`jnl`	Trace Semantics for C++11 Memory Model. Formal Aspects Comput. Lili Xiao, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin
2023	J	`jnl`	Baton: symphony of random testing and concolic testing through machine learning and taint analysis. Sci. China Inf. Sci. Bihuan Chen, Yang Liu, Xin Peng, Yijian Wu, Shengchao Qin
2023	Misc	`conf`	Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. TASE Yulin Wu, Zhiwu Xu, Shengchao Qin
2023	J	`jnl`	Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming. IEEE Trans. Reliab. Zhiwu Xu, Yazheng Liu, Shengchao Qin, Zhong Ming
2022	B	`conf`	Algebraic Semantics for C++11 Memory Model. COMPSAC Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
2022	A*	`conf`	Controlled Concurrency Testing via Periodical Scheduling. ICSE Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin
2022	J	`jnl`	MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest. CoRR Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
2022	J	`jnl`	Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest. Int. J. Softw. Informatics Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
2022	J	`jnl`	Preface to Special Issue on Analysis and Verification of Intelligent Systems. Int. J. Softw. Informatics Zhong Ming, Lijun Zhang, Shengchao Qin
2022	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li
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`	Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China. Sci. Comput. Program. Dominique Méry, Shengchao Qin
2021	J	`jnl`	A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems. J. Comput. Sci. Technol. Jingwen Xu, Yanhong Huang, Jianqi Shi, Shengchao Qin
2021	Misc	`conf`	A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. TASE Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin
2021	J	`jnl`	A deep convolution generative adversarial networks based fuzzing framework for industry control protocols. J. Intell. Manuf. Wanyou Lv, Jiawen Xiong, Jianqi Shi, Yanhong Huang, Shengchao Qin
2021	J	`jnl`	Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
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	A	`conf`	Bias Field Poses a Threat to DNN-Based X-Ray Recognition. ICME Binyu Tian, Qing Guo, Felix Juefei-Xu, Wen Le Chan, Yupeng Cheng, Xiaohong Li, Xiaofei Xie, Shengchao Qin
2021	—	`conf`	Demystifying "bad" error messages in data science libraries. ESEC/SIGSOFT FSE Yida Tao, Zhihui Chen, Yepang Liu, Jifeng Xuan, Zhiwu Xu, Shengchao Qin
2021	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings SETTA Shengchao Qin, Jim Woodcock, Wenhui Zhang
2021	J	`jnl`	Extracting automata from neural networks using active learning. PeerJ Comput. Sci. Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He
2021	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Shengchao Qin, Wenhui Zhang
2021	J	`jnl`	Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study. ACM Trans. Softw. Eng. Methodol. Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin
2020	J	`jnl`	A Program Logic for Reasoning About C11 Programs With Release-Sequences. IEEE Access Mengda He, Shengchao Qin, Zhiwu Xu
2020	Misc	`conf`	An Axiomatic Approach to BigrTiMo. TASE Wanling Xie, Huibiao Zhu, Shengchao Qin
2020	Misc	`conf`	Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram. TASE Zhiwu Xu, Xiongya Hu, Yida Tao, Shengchao Qin
2020	J	`jnl`	Bias Field Poses a Threat to DNN-based X-Ray Recognition. CoRR Binyu Tian, Qing Guo, Felix Juefei-Xu, Wen Le Chan, Yupeng Cheng, Xiaohong Li, Xiaofei Xie, Shengchao Qin
2020	J	`jnl`	It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception. CoRR Liming Zhai, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Wei Feng, Shengchao Qin, Yang Liu
2020	A*	`conf`	MemLock: memory usage guided fuzzing. ICSE Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu
2020	A*	`conf`	Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
2020	A*	`conf`	Typestate-guided fuzzer for discovering use-after-free vulnerabilities. ICSE Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui
2020	A*	`conf`	Understanding Performance Concerns in the API Documentation of Data Science Libraries. ASE Yida Tao, Jiefang Jiang, Yepang Liu, Zhiwu Xu, Shengchao Qin
2019	Misc	`ed.`	2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019 TASE Dominique Méry, Shengchao Qin
2019	J	`jnl`	Automated Verification of CountDownLatch. CoRR Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin
2019	B	`conf`	Bi-Abductive Inference for Shape and Ordering Properties. ICECCS Christopher Curry, Quang Loc Le, Shengchao Qin
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	C	`ed.`	Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings ICFEM Yamine Aït Ameur, Shengchao Qin
2019	A*	`conf`	How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? ASE Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin
2019	—	`conf`	Locating vulnerabilities in binaries via memory layout recovering. ESEC/SIGSOFT FSE Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu
2019	J	`jnl`	Type Learning for Binaries and Its Applications. IEEE Trans. Reliab. Zhiwu Xu, Cheng Wen, Shengchao Qin
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	B	`conf`	Automated Modular Verification for Relaxed Communication Protocols. APLAS Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
2018	C	`conf`	CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. ICFEM Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun
2018	J	`jnl`	Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin
2018	—	`conf`	Frame Inference for Inductive Entailment Proofs in Separation Logic. TACAS (1) Quang Loc Le, Jun Sun, Shengchao Qin
2018	J	`jnl`	GPS+: Reasoning About Fences and Relaxed Atomics. Int. J. Parallel Program. Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
2018	J	`jnl`	State-taint analysis for detecting resource bugs. Sci. Comput. Program. Zhiwu Xu, Cheng Wen, Shengchao Qin
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	B	`conf`	Towards 'Verifying' a Water Treatment System. FM Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
2018	Misc	`conf`	Towards a Program Logic for C11 Release-Sequences. TASE Mengda He, Shengchao Qin, João F. Ferreira
2018	C	`conf`	UTP Semantics for BigrTiMo. ICFEM Wanling Xie, Huibiao Zhu, Shengchao Qin
2018	B	`conf`	Variant Region Types. ICECCS Florin Craciun, Wei-Ngan Chin, Shengchao Qin
2017	J	`jnl`	Automated specification inference in a combined domain via user-defined predicates. Sci. Comput. Program. Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
2017	J	`jnl`	Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu
2017	C	`conf`	Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
2017	—	`conf`	Effective Malware Detection Based on Behaviour and Data Features. SmartCom Zhiwu Xu, Cheng Wen, Shengchao Qin, Zhong Ming
2017	C	`conf`	Improving Probability Estimation Through Active Probabilistic Model Learning. ICFEM Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin
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	C	`conf`	Learning Types for Binaries. ICFEM Zhiwu Xu, Cheng Wen, Shengchao Qin
2017	A*	`conf`	Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
2017	Misc	`conf`	Time-sensitive information flow control in timed event-B. TASE Chunyan Mu, Shengchao Qin
2017	A	`conf`	Using Intention Recognition in a Simulation Platform to Assess Physical Activity Levels of an Office Building. AAMAS Yifeng Zeng, Zhang Zhang, The Anh Han, Iain R. Spears, Shengchao Qin
2016	B	`conf`	Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption. ICECCS Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin
2016	C	`conf`	Formalization and Verification of the Powerlink Protocol Using CSP. APSEC Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin
2016	A*	`conf`	Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
2016	J	`jnl`	Maximizing influence under influence loss constraint in social networks. Expert Syst. Appl. Yifeng Zeng, Xuefeng Chen, Gao Cong, Shengchao Qin, Jing Tang, Yanping Xiang
2016	C	`conf`	Reasoning about Fences and Relaxed Atomics. PDP Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
2016	Misc	`conf`	State-Taint Analysis for Detecting Resource Bugs. TASE Zhiwu Xu, Dongxiao Fan, Shengchao Qin
2016	J	`jnl`	Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement. CoRR Jingyi Wang, Jun Sun, Shengchao Qin
2016	J	`jnl`	基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL). 计算机科学 Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin
2015	J	`jnl`	Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu
2015	J	`jnl`	Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
2015	B	`conf`	GPU Accelerated On-the-Fly Reachability Checking. ICECCS Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin
2015	A*	`conf`	On Information Coverage for Location Category Based Point-of-Interest Recommendation. AAAI Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, Yuanshun Dai
2015	A*	`conf`	Optimal Route Search with the Coverage of Users' Preferences. IJCAI Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang
2015	B	`conf`	Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He
2015	J	`jnl`	Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
2015	—	`conf`	TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin
2015	A*	`conf`	Termination and non-termination specification inference. PLDI Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin
2015	J	`jnl`	XML Schema特征提取算法 (XML Schema Features Extraction Algorithm). 计算机科学 Ke Liu, Hongli Yang, Ruifang Zhao, Husheng Liao, Yao Chen, Shengchao Qin
2014	J	`jnl`	Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
2014	J	`jnl`	Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
2014	Misc	`conf`	Choreography Scenario-Based Test Data Generation. TASE Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin
2014	J	`jnl`	Expressive program verification via structured specifications. Int. J. Softw. Tools Technol. Transf. Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
2014	A*	`conf`	Shape Analysis via Second-Order Bi-Abduction. CAV Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin
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	J	`jnl`	Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
2013	C	`conf`	Automated Specification Discovery via User-Defined Predicates. ICFEM Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun
2013	—	`conf`	Data-Race-Freedom of Concurrent Programs. APSEC (1) Granville Barnett, Shengchao Qin
2013	C	`conf`	Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
2013	—	`conf`	Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang
2013	B	`conf`	Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
2013	—	`conf`	Linking the Semantics of BPEL Using Maude. APSEC (1) Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
2013	J	`jnl`	Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen
2013	Misc	`conf`	Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. EMSOFT Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin
2012	C	`conf`	A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs. ICFEM Granville Barnett, Shengchao Qin
2012	C	`conf`	A Timed CSP Model for the Time-Triggered Language Giotto. SEW Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
2012	Misc	`conf`	Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. TASE João F. Ferreira, Guanhua He, Shengchao Qin
2012	J	`jnl`	Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Sci. Comput. Program. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2012	—	`conf`	Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin
2012	—	`conf`	Investigating Time Properties of Interrupt-Driven Programs. SBMF Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
2012	Misc	`conf`	LBI Cut Elimination Proof with BI-MultiCut. TASE Ryuta Arisaka, Shengchao Qin
2012	J	`jnl`	Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebraic Methods Program. Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin
2012	—	`conf`	MDM: A Mode Diagram Modeling Framework FTSCS Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
2012	J	`jnl`	MDM: A Mode Diagram Modeling Framework for Periodic Control Systems CoRR Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
2012	—	`conf`	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin
2012	Misc	`conf`	Moverness for Locks and Transactions. TASE Granville Barnett, Shengchao Qin
2012	B	`conf`	The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu
2012	J	`jnl`	The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
2011	A*	`conf`	A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin
2011	B	`conf`	Automatically Refining Partial Specifications for Program Verification. FM Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He
2011	C	`ed.`	Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings ICFEM Shengchao Qin, Zongyan Qiu
2011	B	`conf`	Structured Specifications for Better Verification of Heap-Manipulating Programs. FM Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
2011	Misc	`conf`	Towards an Axiomatic Verification System for JavaScript. TASE Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu
2010	—	`conf`	Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin
2010	C	`conf`	Loop Invariant Synthesis in a Combined Domain. ICFEM Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin
2010	Misc	`conf`	Stack Bound Inference for Abstract Java Bytecode. TASE Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin
2010	—	`ed.`	Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings UTP Shengchao Qin
2010	C	`conf`	Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin
2010	J	`jnl`	Verifying pointer safety for programs with unknown calls. J. Symb. Comput. Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin
2009	A	`conf`	An Interval-Based Inference of Variant Parametric Types. ESOP Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin
2009	B	`conf`	Memory Usage Verification Using Hip/Sleek. ATVA Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin
2009	J	`jnl`	PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
2009	Misc	`ed.`	TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China TASE Wei-Ngan Chin, Shengchao Qin
2008	C	`conf`	A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM Florin Craciun, Shengchao Qin, Wei-Ngan Chin
2008	C	`conf`	A Heap Model for Java Bytecode to Support Separation Logic. APSEC Chenguang Luo, Guanhua He, Shengchao Qin
2008	C	`conf`	Analysing memory resource bounds for low-level programs. ISMM Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin
2008	A*	`conf`	Enhancing modular OO verification with separation logic. POPL Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2008	—	`conf`	Separation Logic for Multiple Inheritance. FICS Chenguang Luo, Shengchao Qin
2008	J	`jnl`	Timed Automata Patterns. IEEE Trans. Software Eng. Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
2008	Misc	`conf`	Verifying BPEL-Like Programs with Hoare Logic. TASE Chenguang Luo, Shengchao Qin, Zongyan Qiu
2008	J	`jnl`	Verifying BPEL-like programs with Hoare logic. Frontiers Comput. Sci. China Chenguang Luo, Shengchao Qin, Zongyan Qiu
2007	B	`conf`	Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin
2007	B	`conf`	Automated Verification of Shape, Size and Bag Properties. ICECCS Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2007	B	`conf`	Linking Object-Z with Spec#. ICECCS Shengchao Qin, Guanhua He
2007	—	`conf`	Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
2007	Misc	`conf`	Realizing Live Sequence Charts in SystemVerilog. TASE Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong
2006	—	`conf`	Constructing Property-Oriented Models for Verification. UTP Jifeng He, Shengchao Qin, Adnan Sherif
2006	J	`jnl`	From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu
2006	A*	`conf`	HighSpec: a tool for building and checking OZTA models. ICSE Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin
2006	C	`conf`	Integrating Probability with Time and Shared-Variable Concurrency. SEW Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen
2005	B	`conf`	Memory Usage Verification for OO Programs. SAS Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard
2005	C	`conf`	The Semantics and Tool Support of OZTA. ICFEM Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
2005	A*	`conf`	Verifying safety policies with size properties and alias controls. ICSE Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen
2004	B	`conf`	A Relational Model for Object-Oriented Designs. APLAS Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
2004	C	`conf`	An Automatic Mapping from Statecharts to Verilog. ICTAC Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin
2004	B	`conf`	Generating MSCs from an Integrated Formal Specification Language. IFM Jin Song Dong, Shengchao Qin, Jun Sun
2004	A*	`conf`	Region inference for an object-oriented language. PLDI Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
2004	C	`conf`	Timed Patterns: TCOZ to Timed Automata. ICFEM Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
2003	—	`conf`	A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
2003	—	`conf`	Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME Shengchao Qin, Wei-Ngan Chin
2003	C	`conf`	The Equivalence of Statecharts. ICFEM Quan Long, Zongyan Qiu, Shengchao Qin
2002	J	`jnl`	An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
2002	C	`conf`	Hardware/Software Partitioning in Verilog. ICFEM Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang
2001	—	`conf`	Constructing Hardware/Software Interface Using Protocol Converters. APAQS Shengchao Qin, Zongyan Qiu, Jifeng He
2001	C	`conf`	Partitioning Program into Hardware and Software. APSEC Shengchao Qin, Jifeng He
2000	—	`conf`	An algebraic approach to hardware/software partitioning. ICECS Shengchao Qin, Jifeng He