An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. - Zuxing Gu; Hong Song; Yu Jiang 001; Jeonghone Choi; Hongjiang He; Lui Sha; Ming Gu 001 (BIBM, 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)

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)

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)

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)

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)