Personal information

No personal information available

Activities

Collapse all

Works (5)

Efficient verification of neural networks based on neuron branching and LP abstraction

Neurocomputing
2024-09 | Journal article
DOI: 10.1016/j.neucom.2024.127936
Contributors: Liang Zhao; Xinmin Duan; Chenglong Yang; Yuehao Liu; Yansong Dong; Xiaobing Wang; Wensheng Wang
Source: check_circle
Crossref

Requirement specification extraction and analysis based on propositional projection temporal logic

Journal of Software: Evolution and Process
2024-04 | Journal article
DOI: 10.1002/smr.2558
Contributors: Xiaobing Wang; Chunyi Li; Liang Zhao
Source: check_circle
Crossref

A multi-granularity CNN pruning framework via deformable soft mask with joint training

Neurocomputing
2024-03 | Journal article
DOI: 10.1016/j.neucom.2023.127189
Contributors: Peng Zhang; Cong Tian; Liang Zhao; Zhenhua Duan
Source: check_circle
Crossref

Neuron importance based verification of neural networks via divide and conquer

Neurocomputing
2024-01 | Journal article
DOI: 10.1016/j.neucom.2023.126995
Contributors: Yansong Dong; Yuehao Liu; Liang Zhao; Cong Tian; Zhenhua Duan
Source: check_circle
Crossref

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering

2023-11-30 | Conference paper
DOI: 10.1145/3611643.3616276
Contributors: Bin Yu; Cong Tian; Hengrui Xing; Zuchao Yang; Jie Su; Xu Lu; Jiyu Yang; Liang Zhao; Xiaofeng Li; Zhenhua Duan
Source: check_circle
Crossref
How many people are using ORCID?