Lingyu Zhang

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Constraint Checking

Top Venues

IEEE Trans. Cybern.

J. Syst. Softw.

Publications

Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, Ping Yu
Incremental-concurrent fusion checking for efficient context consistency. J. Syst. Softw. 207 (2024)
Lingyu Zhang, Huiyan Wang, Chang Xu, Ping Yu
INFuse: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. ICSME (2022)
Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu
Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. ISSRE (2022)
Lingyu Zhang, Jiabao Zhao, Wei Li
Online and Unsupervised Anomaly Detection for Streaming Data Using an Array of Sliding Windows and PDDs. IEEE Trans. Cybern. 51 (4) (2021)
Lingyu Zhang, Jiabao Zhao, Min Zhang
Root Cause Analysis of Concurrent Alarms Based on Random Walk over Anomaly Propagation Graph. ICNSC (2020)