Translation-Based Model Checking for PLC Programs. - Min Zhou 001; Fei He 001; Ming Gu 001; Xiaoyu Song (COMPSAC (1), 2009)

On Array Theory of Bounded Elements. - Min Zhou 001; Fei He 001; Bow-Yaw Wang; Ming Gu 001 (CAV, 2010)

An Efficient Resolution Based Algorithm for SAT. - Min Zhou 001; Fei He 001; Ming Gu 001 (TASE, 2011)

Modeling and Validation of PLC-Controlled Systems: A Case Study. - Rui Wang 024; Min Zhou 001; Liangze Yin; Lianyi Zhang; Jiaguang Sun 001; Ming Gu 001; Marius Bozga (TASE, 2012)

Component-Based Modeling and Code Synthesis for Cyclic Programs. - Min Zhou 001; Hai Wan; Chen Su; Liangze Yin; Lianyi Zhang; Fei He 001; Ming Gu 001 (COMPSAC, 2013)

Modeling and Verification of Component-Based Systems with Data Passing Using BIP. - Chen Su; Min Zhou 001; Liangze Yin; Hai Wan; Ming Gu 001 (ICECCS, 2013)

Reusing Search Tree for Incremental SAT Solving of Temporal Induction. - Liangze Yin; Fei He 001; Min Zhou 001; Ming Gu 001 (ICECCS, 2013)

Formal component-based modeling and synthesis for PLC systems. - Min Zhou 001; Hai Wan; Rui Wang 024; Xiaoyu Song; Chen Su; Ming Gu 001; Jiaguang Sun 001 (Comput. Ind., 2013)

A Unified Framework for DPLL(T) + Certificates. - Min Zhou 001; Fei He 001; Bow-Yaw Wang; Ming Gu 001; Jiaguang Sun 001 (J. Appl. Math., 2013)

Array Theory of Bounded Elements and its Applications. - Min Zhou 001; Fei He 001; Bow-Yaw Wang; Ming Gu 001; Jiaguang Sun 001 (J. Autom. Reason., 2014)

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. - Min Zhou 001; Fei He 001; Xiaoyu Song; Shi He; Gangyi Chen; Ming Gu 001 (Theory Comput. Syst., 2015)

First, Debug the Test Oracle. - Xinrui Guo; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Software Eng., 2015)

Automatic Fix for C Integer Errors by Precision Improvement. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (COMPSAC, 2016)

Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. - Min Zhou 001; Xi Cheng; Xinrui Guo; Ming Gu 001; Hongyu Zhang 002; Xiaoyu Song (COMPSAC, 2016)

A Constraint-Pattern Based Method for Reachability Determination. - Yuexing Wang; Zuxing Gu; Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (COMPSAC (1), 2017)

IntPTI: automatic integer error repair with proper-type inference. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ASE, 2017)

A static analysis tool with optimizations for reachability determination. - Yuexing Wang; Min Zhou 001; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (ASE, 2017)

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. - Jiaxiang Liu 001; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Ind. Electron., 2017)

Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. - Guang Chen; Min Zhou 001; Jiaguang Sun 001; Xiaoyu Song (APSEC, 2018)

Which Defect Should Be Fixed First? Semantic Prioritization of Static Analysis Report. - Han Wang; Min Zhou 001; Xi Cheng; Guang Chen; Ming Gu 001 (SATE, 2018)

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. - Zuxing Gu; Yu Jiang 001; Min Zhou 001; Ming Gu 001; Xiaoyu Song; Lui Sha (IEEE Access, 2018)

Parallelizing SMT solving: Lazy decomposition and conciliation. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (Artif. Intell., 2018)

Temporal Coverage Analysis for Dynamic Verification. - Min Zhou 001; William N. N. Hung; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Circuits Syst. II Express Briefs, 2018)

Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. - Yuexing Wang; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Evol. Comput., 2018)

Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. - Yuexing Wang; Min Zhou 001; Ming Gu 001; Jiaguang Sun 001 (APSEC, 2019)

An Empirical Study on API-Misuse Bugs in Open-Source C Programs. - Zuxing Gu; Jiecheng Wu; Jiaxiang Liu 001; Min Zhou 001; Ming Gu 001 (COMPSAC (1), 2019)

Vetting API usages in C programs with IMChecker. - Zuxing Gu; Jiecheng Wu; Chi Li; Min Zhou 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE (Companion Volume), 2019)

VFQL: combinational static analysis as query language. - Guang Chen; Yuexing Wang; Min Zhou 001; Jiaguang Sun 001 (ISSTA, 2019)

VBSAC: a value-based static analyzer for C. - Chi Li; Min Zhou 001; Zuxing Gu; Guang Chen; Yuexing Wang; Jiecheng Wu; Ming Gu 001 (ISSTA, 2019)

Ares: Inferring Error Specifications through Static Analysis. - Chi Li; Min Zhou 001; Zuxing Gu; Ming Gu 001; Hongyu Zhang 002 (ASE, 2019)

TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. - Yuexing Wang; Guang Chen; Min Zhou 001; Ming Gu 001; Jiaguang Sun 001 (ASE, 2019)

SSLDoc: Automatically Diagnosing Incorrect SSL API Usages in C Programs. - Zuxing Gu; Jiecheng Wu; Chi Li; Min Zhou 001; Ming Gu 001 (SEKE, 2019)

IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. - Zuxing Gu; Min Zhou 001; Jiecheng Wu; Yu Jiang 001; Jiaxiang Liu 001; Ming Gu 001 (TASE, 2019)

API Misuse Detection in C Programs: Practice on SSL APIs. - Chi Li; Zuxing Gu; Min Zhou 001; Jiecheng Wu; Jiarui Zhang; Ming Gu 001 (Int. J. Softw. Eng. Knowl. Eng., 2019)

Tolerating C Integer Error via Precision Elevation. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Computers, 2019)

OSLDetector: Identifying Open-Source Libraries through Binary Analysis. - Dan Zhang; Ping Luo 004; Wei Tang; Min Zhou 001 (ASE, 2020)

Scalable Fault Detection Based on Precise Access Path. - Chi Li; Yuexing Wang; Min Zhou 001; Ming Gu 001 (APSEC, 2021)

Sensing Error Handling Bugs in SSL Library Usages. - Chi Li; Min Zhou 001; Xinrong Han; Ming Gu 001 (TrustCom, 2021)

Automatic Integer Error Repair by Proper-Type Inference. - Xi Cheng; Min Zhou 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Dependable Secur. Comput., 2021)

Spatial-Temporal Edge User Allocation: An Expectation Confirmation Perspective Approach. - Guobing Zou; Zhiwei Xu; Xiaoyu Xia 001; Ya Liu; Yanglan Gan; Bofeng Zhang; Min Zhou 001; Qiang He 001 (IEEE Trans. Netw. Serv. Manag., 2022)

xASTNN: Improved Code Representations for Industrial Practice. - Zhiwei Xu; Min Zhou 001; Xibin Zhao; Yang Chen 001; Xi Cheng; Hongyu Zhang 002 (ESEC/SIGSOFT FSE, 2023)

Design of multimodal hub-and-spoke transportation network for emergency relief under COVID-19 pandemic: A meta-heuristic approach. - Chi Li; Peixiu Han; Min Zhou 001; Ming Gu 001 (Appl. Soft Comput., 2023)

DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions. - Zhiwei Xu; Shaohua Qiang; Dinghong Song; Min Zhou 001; Hai Wan; Xibin Zhao; Ping Luo 004; Hongyu Zhang 002 (ICSE, 2024)

Trident: Detecting SQL Injection Attacks via Abstract Syntax Tree-based Neural Network. - Yuanlin Li; Zhiwei Xu; Min Zhou 001; Hai Wan; Xibin Zhao (ASE, 2024)

Kitten: A Simple Yet Effective Baseline for Evaluating LLM-Based Compiler Testing Techniques. - Yuanmin Xie; Zhenyang Xu; Yongqiang Tian 001; Min Zhou 001; Xintong Zhou; Chengnian Sun (ISSTA Companion, 2025)

FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models. - Jiabao Zeng; Yuanlin Li; Ran Zhang; Yuanmin Xie; Kejia Li; Min Zhou 001 (TASE, 2025)