Guolong Zheng

26 papers A* 7A 2B 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Energy-Efficient Multi-UAV-Assistant Data Collection for Multisensor Marine Networks.
IEEE Internet Things J.
Haibo Luo, Hong Xu, Longlong Zhu, Yuxiang Fu, Rui Ming, Guolong Zheng, Ming Li, Jianshan Zhang
2026 A* conf
Enhanced Privacy Leakage from Noise-Perturbed Gradients via Gradient-Guided Conditional Diffusion Models.
AAAI
Jiayang Meng, Tao Huang, Hong Chen, Chen Hou, Guolong Zheng
2026 J jnl
Hierarchical Graph Neural Networks for Resilient Intrusion Detection in Consumer IoT With Limited Labeled Data.
IEEE Trans. Consumer Electron.
Guolong Zheng, Changgui Xu, Jianshan Zhang, Chen Hou, Xu Yang, Tao Huang, Xuan Liu, Muhammad Khurram Khan
2026 J jnl
Mitigating Membership Inference in Intermediate Representations via Layer-wise MIA-risk-aware DP-SGD.
CoRR
Jiayang Meng, Tao Huang, Chen Hou, Guolong Zheng, Hong Chen
2025 J jnl
Enhanced Privacy Leakage from Noise-Perturbed Gradients via Gradient-Guided Conditional Diffusion Models.
CoRR
Jiayang Meng, Tao Huang, Hong Chen, Chen Hou, Guolong Zheng
2025 J jnl
SSDFusion: A scene-semantic decomposition approach for visible and infrared image fusion.
Pattern Recognit.
Rui Ming, Yixian Xiao, Xinyu Liu, Guolong Zheng, Guobao Xiao
2025 J jnl
Towards auditing gradient privacy risks in image reconstruction attacks on deep learning models.
Discov. Comput.
Tao Huang, Xin Shi, Qingyu Huang, Ziyang Chen, Liang Jiang, Chenhuang Wu, Guolong Zheng, Xu Yang, Wencheng Yang
2024 J jnl
Enhancing DP-SGD through Non-monotonous Adaptive Scaling Gradient Weight.
CoRR
Tao Huang, Qingyu Huang, Xin Shi, Jiayang Meng, Guolong Zheng, Xu Yang, Xun Yi
2024 J jnl
Gradient-Guided Conditional Diffusion Models for Private Image Reconstruction: Analyzing Adversarial Impacts of Differential Privacy and Denoising.
CoRR
Tao Huang, Jiayang Meng, Hong Chen, Guolong Zheng, Xu Yang, Xun Yi, Hua Wang
2024 J jnl
Unlabeled Action Quality Assessment Based on Multi-dimensional Adaptive Constrained Dynamic Time Warping.
CoRR
Renguang Chen, Guolong Zheng, Xu Yang, Zhide Chen, Jiwu Shu, Wencheng Yang, Kexin Zhu, Chen Feng
2022 A conf
ATR: template-based repair for Alloy specifications.
ISSTA
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
2022 J jnl
Capture and Prediction of Rainfall-Induced Landslide Warning Signals Using an Attention-Based Temporal Convolutional Neural Network and Entropy Weight Methods.
Sensors
Di Zhang, Kai Wei, Yi Yao, Jiacheng Yang, Guolong Zheng, Qing Li
2022 A* conf
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.
ASE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 — conf
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.
ICSE (Companion Volume)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 — conf
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.
ICSE (Companion Volume)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
BeAFix: An Automated Repair Tool for Faulty Alloy Models.
ASE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
Bounded Exhaustive Search of Alloy Specification Repairs.
ICSE
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 J jnl
Bounded Exhaustive Search of Alloy Specification Repairs.
CoRR
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
ICSE
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 J jnl
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
CoRR
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 A* conf
FLACK: Localizing Faults in Alloy Models.
ASE
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2020 A conf
Debugging Declarative Models in Alloy.
ICSME
Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
2020 B conf
Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic.
FASE
Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang
2019 J jnl
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic.
CoRR
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
2019 A* conf
SLING: using dynamic analysis to infer program invariants in separation logic.
PLDI
Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen
2018 J jnl
Automatic Data Structure Repair usingSeparation Logic.
ACM SIGSOFT Softw. Eng. Notes
Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, Quoc-Sang Phan