Concepedia

Guolong Zheng

GZ

6

Publications

98

Citations

6

H-Index

2021

Active since

Affiliations

University of Nebraska–Lincoln(Current)

Buenos Aires Institute of Technology

National University of Río Cuarto

Consejo Nacional de Investigaciones Científicas y Técnicas

George Mason University

Guolong Zheng is an author at University of Nebraska–Lincoln specializing in engineering, software testing, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

2021–2025

6

Publications

6

Bounded Exhaustive Search of Alloy Specification Repairs

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

FLACK: Counterexample-Guided Fault Localization for Alloy Models

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida et al. · 2021 · 17 citations

Software Maintenance, Program Checking, Engineering +23

ATR: template-based repair for Alloy specifications

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida et al. · 2022 · 17 citations

Software Maintenance, Program Checking, Engineering +23

Capture and Prediction of Rainfall-Induced Landslide Warning Signals Using an Attention-Based Temporal Convolutional Neural Network and Entropy Weight Methods

Di Zhang, Kai Wei, Yi Yao et al. · Sensors · 2022 · 17 citations · Full text

Landslide Sensor Data, Disaster Detection, Engineering +13

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

Rui Ming, Xinyu Liu, Guolong Zheng et al. · Pattern Recognition · 2025 · 14 citations

Rows per page

1–5 of 6