Author

Guolong Zheng

Observed name: Zheng, Guolong

Institutions: Minjiang University, China Automotive Technology and Research Center

Observed institutions: University of Nebraska–Lincoln, Minjiang University, China Automotive Technology and Research Center

ORCID: 0009-0000-4677-1642

Observed ORCIDs: 0009-0000-4677-1642, 0000-0002-1996-2635

OpenAlex ID: A5026055653

SSDFusion: A scene-semantic decomposition approach for visible and infrared image fusion

2025 · Rui Ming, Yixian Xiao, et al. · Pattern Recognition · 27

Bounded Exhaustive Search of Alloy Specification Repairs

2021 · Gutiérrez Brida, Simón, Regis, Germán, et al. · El Servicio de Difusión de la Creación Intelectual (National University of La Plata) · 27

ATR: template-based repair for Alloy specifications

2022 · Guolong Zheng, ThanhVu Nguyen, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 24

PDF

FLACK: Counterexample-Guided Fault Localization for Alloy Models

2021 · Guolong Zheng, ThanhVu Nguyen, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 23

SLING: using dynamic analysis to infer program invariants in separation logic

2019 · Ton Chanh Le, Guolong Zheng, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 22

PDF

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

2022 · Simón Gutiérrez Brida, Germán Regis, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 19

PDF

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic

2020 · Guolong Zheng, Hamid Bagheri, et al. · Lecture notes in computer science · 16

PDF

Automatic Evaluation of Functional Movement Screening Based on Attention Mechanism and Score Distribution Prediction

2023 · Xiuchun Lin, Tao Huang, et al. · Mathematics · 10

PDF

BeAFix: An Automated Repair Tool for Faulty Alloy Models

2021 · Simon Gutierrez Brida, German Regis, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 7

Bounded Exhaustive Search of Alloy Specification Repairs

2021 · Simon Gutierrez Brida, German Regis, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 6

PDF

Debugging Declarative Models in Alloy

2020 · Guolong Zheng, Hamid Bagheri, et al. · IEEE International Conference on Software Maintenance (ICSM) · 5

Automatic Data Structure Repair usingSeparation Logic

2018 · Guolong Zheng, Quang Loc Le, et al. · ACM SIGSOFT Software Engineering Notes · 4

Hierarchical Graph Neural Networks for Resilient Intrusion Detection in Consumer IoT With Limited Labeled Data

2025 · Guolong Zheng, Changgui Xu, et al. · IEEE Transactions on Consumer Electronics · 2

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs

2021 · Simon Gutierrez Brida, German Regis, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2

Energy-Efficient Multi-UAV-Assistant Data Collection for Multisensor Marine Networks

2025 · Haibo Luo, Hong Xu, et al. · IEEE Internet of Things Journal · 1

Towards auditing gradient privacy risks in image reconstruction attacks on deep learning models

2025 · Tao Huang, Xin Shi, et al. · Discover Computing · 1

PDF

The Application of Residual Connection-Based State Normalization Method in GAIL

2024 · Yanning Ge, Tao Huang, et al. · Mathematics · 1

PDF

FLACK: Localizing Faults in Alloy Models

2021 · Guolong Zheng, ThanhVu Nguyen, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 1

FLACK: Counterexample-Guided Fault Localization for Alloy Models

2021 · Zheng, Guolong, Nguyen, ThanhVu, et al. · arXiv (Cornell University) · 1