Study on the Transformation Method of AADL-Based Reliability Model in the Embedded System. - Jianjun Liu; Haining Meng; Yinglan Huang; Shan Zhong (CloudComp, 2013)

A Rejuvenation Model for Software System under Normal Attack. - Haining Meng; Xinhong Hei 001; Yan Li; Yanning Du; Guo Xie (TrustCom/BigDataSE/ISPA (1), 2015)

Modeling and optimizing periodically inspected software rejuvenation policy based on geometric sequences. - Haining Meng; Jianjun Liu; Xinhong Hei 001 (Reliab. Eng. Syst. Saf., 2015)

Poster: HALL: High-accuracy and Low-cost RFID Localization in Large-scale environment. - Liqiong Chang; Xiaojiang Chen; Haining Meng; Dingyi Fang (MobiSys (Companion Volume), 2016)

Software Aging and Rejuvenation in a J2EE Application Server. - Haining Meng; Xinhong Hei 001; Jiulong Zhang; Jianjun Liu; Liansheng Sui (Qual. Reliab. Eng. Int., 2016)

Research on Airport Refueling Vehicle Scheduling Problem Based on Greedy Algorithm. - Zhurong Wang; You Li; Xinhong Hei 001; Haining Meng (ICIC (1), 2018)

The Model of Flight Recovery Problem with Decision Factors and Its Optimization. - Zhurong Wang; Feng Wang; Xinhong Hei 001; Haining Meng (ICIC (1), 2018)

The Crowding Mechanism Genetic Algorithm for Solving Job Scheduling Problem. - Zhurong Wang; Mingfang Du; Qindong Sun; Haining Meng (ICSAI, 2018)

Towards Large-Scale RFID Positioning: A Low-cost, High-precision Solution Based on Compressive Sensing. - Liqiong Chang; Xinyi Li; Ju Wang 003; Haining Meng; Xiaojiang Chen; Dingyi Fang; Zhanyong Tang; Zheng Wang 001 (PerCom, 2018)

A Stochastic Analytical Modeling Framework on ISP-P2P Collaborations in Multidomain Environments. - Xu Zhang 016; Ning Wang 001; Yue Cao 002; Linyu Peng; Haining Meng (IEEE Syst. J., 2018)

Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. - Dongjie He; Haofeng Li; Lei Wang 004; Haining Meng; Hengjie Zheng; Jie Liu 020; Shuangwei Hu; Lian Li 002; Jingling Xue (ASE, 2019)

A study on exercise recommendation method using Knowledge Graph for computer network course. - Lei Zhu 011; Yaolin Liu; Xinhong Hei 001; Yichuan Wang 003; Haining Meng; Jiuyuan Jiao; Long Pan (NaNA, 2020)

A STL-GALSTM Model to Predict the Track Irregularity of High-Speed Railway. - Xinyu Tong; Haining Meng; Kai Feng; Wenjiang Ji; Yi Zheng; Xinhong Hei 001 (BigDataSE, 2021)

Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing. - Haofeng Li; Haining Meng; Hengjie Zheng; Liqing Cao; Jie Lu 009; Lian Li 002; Lin Gao 002 (CGO, 2021)

Forecasting the Track Irregularity of High-speed Railway based on a WT-GA-GRU Model. - Haining Meng; Wei Li 068; Wenjiang Ji; Yi Zheng; Xinyu Tong; Xinhong Hei 001 (EUC, 2021)

Track Irregularity Prediction Based on DWT-DLSTM Model. - Haining Meng; Jiawei Zhang; Yi Zheng; Wenjiang Ji; Xinyu Tong; Xinhong Hei 001 (NaNA, 2022)

Generic sensitivity: customizing context-sensitive pointer analysis for generics. - Haofeng Li; Jie Lu 009; Haining Meng; Liqing Cao; Yongheng Huang; Lian Li 002; Lin Gao 002 (ESEC/SIGSOFT FSE, 2022)

Semi-automatic representation of design code based on knowledge graph for automated compliance checking. - Mingsong Yang; Qin Zhao; Lei Zhu 011; Haining Meng; Kehai Chen; Zongjian Li; Xinhong Hei 001 (Comput. Ind., 2023)

Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications. - Yongheng Huang; Chenghang Shi; Jie Lu 009; Haofeng Li; Haining Meng; Lian Li 002 (CCS, 2024)

Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations. - Haofeng Li; Jie Lu 009; Haining Meng; Liqing Cao; Lian Li 002; Lin Gao 002 (CGO, 2024)

Rail Transit Event Extraction based on the Fusion of Semantic and Local Dependency Features. - Qiang Chen; Haining Meng; Yihao Bao; Mingsong Yang; Xinyu Tong; Qin Zhao; Muhammad Bilal Khan; Xinhong Hei 001 (ICKG, 2024)

AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation. - Haining Meng; Haofeng Li; Jie Lu 009; Chenghang Shi; Liqing Cao; Lian Li 002; Lin Gao 002 (ICECCS, 2024)

A novel multi-step-ahead approach for cloud server aging prediction based on hybrid deep learning model. - Haining Meng; Jiawei Zhang (Eng. Appl. Artif. Intell., 2024)

Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis. - Haofeng Li; Tian Tan 001; Yue Li 006; Jie Lu 009; Haining Meng; Liqing Cao; Yongheng Huang; Lian Li 002; Lin Gao 002; Peng Di; Liang Lin; ChenXi Cui (IEEE Trans. Software Eng., 2024)

VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-object Typestate Analysis. - Liqing Cao; Haofeng Li; Chenghang Shi; Jie Lu 009; Haining Meng; Lian Li 002; Jingling Xue (Proc. ACM Softw. Eng., 2025)