Haining Meng

According to our database, Haining Meng authored at least 19 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations.

Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin Gao

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2023

Semi-automatic representation of design code based on knowledge graph for automated compliance checking.

Mingsong Yang, Qin Zhao, Lei Zhu, Haining Meng, Kehai Chen, Zongjian Li, Xinhong Hei

Comput. Ind., September, 2023

2022

Generic sensitivity: customizing context-sensitive pointer analysis for generics.

Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Track Irregularity Prediction Based on DWT-DLSTM Model.

Haining Meng, Jiawei Zhang, Yi Zheng, Wenjiang Ji, Xinyu Tong, Xinhong Hei

Proceedings of the International Conference on Networking and Network Applications, 2022

2021

Forecasting the Track Irregularity of High-speed Railway based on a WT-GA-GRU Model.

Haining Meng, Wei Li, Wenjiang Ji, Yi Zheng, Xinyu Tong, Xinhong Hei

Proceedings of the 19th IEEE International Conference on Embedded and Ubiquitous Computing, 2021

Scaling Up the IFDS Algorithm with Efficient Disk-Assisted Computing.

Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin Gao

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

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

Proceedings of the 15th IEEE International Conference on Big Data Science and Engineering, 2021

2020

A study on exercise recommendation method using Knowledge Graph for computer network course.

Lei Zhu, Yaolin Liu, Xinhong Hei, Yichuan Wang, Haining Meng, Jiuyuan Jiao, Long Pan

Proceedings of the International Conference on Networking and Network Applications, 2020

2019

Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis.

Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

A Stochastic Analytical Modeling Framework on ISP-P2P Collaborations in Multidomain Environments.

Xu Zhang, Ning Wang, Yue Cao, Linyu Peng, Haining Meng

IEEE Syst. J., 2018

Towards Large-Scale RFID Positioning: A Low-cost, High-precision Solution Based on Compressive Sensing.

Liqiong Chang, Xinyi Li, Ju Wang, Haining Meng, Xiaojiang Chen, Dingyi Fang, Zhanyong Tang, Zheng Wang

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications, 2018

The Crowding Mechanism Genetic Algorithm for Solving Job Scheduling Problem.

Zhurong Wang, Mingfang Du, Qindong Sun, Haining Meng

Proceedings of the 5th International Conference on Systems and Informatics, 2018

The Model of Flight Recovery Problem with Decision Factors and Its Optimization.

Zhurong Wang, Feng Wang, Xinhong Hei, Haining Meng

Proceedings of the Intelligent Computing Theories and Application, 2018

Research on Airport Refueling Vehicle Scheduling Problem Based on Greedy Algorithm.

Zhurong Wang, You Li, Xinhong Hei, Haining Meng

Proceedings of the Intelligent Computing Theories and Application, 2018

2016

Software Aging and Rejuvenation in a J2EE Application Server.

Haining Meng, Xinhong Hei, Jiulong Zhang, Jianjun Liu, Liansheng Sui

Qual. Reliab. Eng. Int., 2016

Poster: HALL: High-accuracy and Low-cost RFID Localization in Large-scale environment.

Liqiong Chang, Xiaojiang Chen, Haining Meng, Dingyi Fang

Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

2015

Modeling and optimizing periodically inspected software rejuvenation policy based on geometric sequences.

Haining Meng, Jianjun Liu, Xinhong Hei

Reliab. Eng. Syst. Saf., 2015

A Rejuvenation Model for Software System under Normal Attack.

Haining Meng, Xinhong Hei, Yan Li, Yanning Du, Guo Xie

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

2013

Study on the Transformation Method of AADL-Based Reliability Model in the Embedded System.

Jianjun Liu, Haining Meng, Yinglan Huang, Shan Zhong

Proceedings of the Cloud Computing - 4th International Conference, CloudComp 2013, Wuhan, 2013