Liang Zhao

38 papers A* 2C 3Misc 1Journal 16Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models.
CoRR
Hengrui Xing, Cong Tian, Liang Zhao, Zhi Ma, Wensheng Wang, Nan Zhang, Chao Huang, Zhenhua Duan
2025 J jnl
Intra-head pruning for vision transformers via inter-layer dimension relationship modeling.
Neural Networks
Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan
2025 A* conf
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement.
IJCAI
Yuehao Liu, Yansong Dong, Liang Zhao, Wensheng Wang, Cong Tian
2024 J jnl
A multi-granularity CNN pruning framework via deformable soft mask with joint training.
Neurocomputing
Peng Zhang, Cong Tian, Liang Zhao, Zhenhua Duan
2024 J jnl
Efficient verification of neural networks based on neuron branching and LP abstraction.
Neurocomputing
Liang Zhao, Xinmin Duan, Chenglong Yang, Yuehao Liu, Yansong Dong, Xiaobing Wang, Wensheng Wang
2024 J jnl
Intermediate-grained kernel elements pruning with structured sparsity.
Neural Networks
Peng Zhang, Liang Zhao, Cong Tian, Zhenhua Duan
2024 J jnl
Multi-keyword ranked search with access control for multiple data owners in the cloud.
J. Inf. Secur. Appl.
Jiaqi Guo, Cong Tian, Xu Lu, Liang Zhao, Zhenhua Duan
2024 J jnl
Neuron importance based verification of neural networks via divide and conquer.
Neurocomputing
Yansong Dong, Yuehao Liu, Liang Zhao, Cong Tian, Zhenhua Duan
2024 J jnl
Requirement specification extraction and analysis based on propositional projection temporal logic.
J. Softw. Evol. Process.
Xiaobing Wang, Chunyi Li, Liang Zhao
2024 J jnl
Verifiable privacy-preserving semantic retrieval scheme in the edge computing.
J. Syst. Archit.
Jiaqi Guo, Cong Tian, Qiang He, Liang Zhao, Zhenhua Duan
2023 — conf
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.
ESEC/SIGSOFT FSE
Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan
2022 — conf
Driver Violation Prediction based on Neural Network.
DSA
Xingguang Zhu, Jiajun Chang, Weikang Li, Bin Yu, Liang Zhao, Xiaobing Wang
2022 — conf
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL.
DSA
Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu
2022 — conf
Formalization of Natural Language into PPTL Specification via Neural Machine Translation.
SOFL+MSVL
Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao, Wenjie Mao
2021 J jnl
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model.
IEEE Trans. Reliab.
Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao
2020 J jnl
A sound and complete proof system for a unified temporal logic.
Theor. Comput. Sci.
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
2020 — conf
An MSVL Based Model Checking Method for Multi-threaded C Programs.
SOFL+MSVL
Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao
2020 — conf
An MSVL-Based Modeling Framework for Back Propagation Neural Networks.
SOFL+MSVL
Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu
2020 — conf
Automatic Generation of Specification from Natural Language Based on Temporal Logic.
SOFL+MSVL
Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu
2020 J jnl
Efficient decision procedure for propositional projection temporal logic.
Theor. Comput. Sci.
Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao
2020 C conf
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model.
QRS
Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao
2019 Misc conf
A Proof System for a Unified Temporal Logic.
COCOON
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
2019 J jnl
Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach.
ACM Trans. Softw. Eng. Methodol.
Cong Tian, Chu Chen, Zhenhua Duan, Liang Zhao
2019 — conf
Model Checking Python Programs with MSVL.
SOFL+MSVL
Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao
2019 J jnl
Model checking of pushdown systems for projection temporal logic.
Theor. Comput. Sci.
Liang Zhao, Xiaobing Wang, Zhenhua Duan
2019 — conf
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.
SOFL+MSVL
Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu
2018 — conf
Model Checking Java Programs with MSVL.
SOFL+MSVL
Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao
2018 A* conf
RFC-directed differential testing of certificate validation in SSL/TLS implementations.
ICSE
Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao
2018 C conf
Reducing Extension Edges of Concurrent Programs for Reachability Analysis.
COCOA
Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao
2018 — conf
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation.
SOFL+MSVL
Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu
2017 — conf
A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks.
SOFL+MSVL
Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu
2017 J jnl
MSVL: a typed language for temporal logic programming.
Frontiers Comput. Sci.
Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao
2016 — conf
Runtime Verification Monitor Construction for Three-valued PPTL.
SOFL+MSVL
Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue
2014 J jnl
A sound and complete theory of graph transformations for service programming with sessions and pipelines.
Sci. Comput. Program.
Liang Zhao, Roberto Bruni, Zhiming Liu
2013 C conf
An Interface Model of Software Components.
ICTAC
Ruzhen Dong, Naijun Zhan, Liang Zhao
2013 — conf
Formalizing and Implementing Types in MSVL.
SOFL+MSVL
Xiaobing Wang, Zhenhua Duan, Liang Zhao
2013 — conf
Graph-Based Object-Oriented Hoare Logic.
Theories of Programming and Formal Methods
Liang Zhao, Shuling Wang, Zhiming Liu
2012 — —
Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems.
Liang Zhao