![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Liang Zhao 0021
Person information
- affiliation: Xidian University, Xi'an, Shaanxi, China
Other persons with the same name
- Liang Zhao — disambiguation page
- Liang Zhao 0001
— University of São Paulo, Institute of Mathematics and Computer Science, SP, Brazil (and 1 more)
- Liang Zhao 0002
— Emory University, Atlanta, GA, USA (and 2 more)
- Liang Zhao 0003
— University of Technology Sydney, Centre for Autonomous Systems, Faculty of Engineering and Information Technology, NSW, Australia (and 2 more)
- Liang Zhao 0004
— Shenyang Aerospace University, School of Computer Science, China (and 1 more)
- Liang Zhao 0005
— Dalian University of Technology, School of Software Technology, China
- Liang Zhao 0006 — Baidu Research, Institute of Deep Learning, Sunnyvale, CA, USA
- Liang Zhao 0007
— Harbin Institute of Technology, Department of Computer Science and Technology, China
- Liang Zhao 0008
— Huazhong University of Science and Technology, School of Automation, Wuhan, China
- Liang Zhao 0009 — National ICT Australia, Sydney, NSW, Australia (and 1 more)
- Liang Zhao 0010
— Yangtze Normal University, School of Civil and Architectural Engineering, Chongqing, China (and 1 more)
- Liang Zhao 0011
— Beijing Normal University, Faculty of Geographical Science, China
- Liang Zhao 0012
— Guangxi University of Finance and Economics, College of Information and Statistics, Nanning, China
- Liang Zhao 0013
— Kyoto University, Japan
- Liang Zhao 0014
— Central China Normal University, Wuhan, China
- Liang Zhao 0015
— Dalian University of Technology, Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, Dalian, China
- Liang Zhao 0016
— Central China Normal University, CCNU, National Engineering Research Center for Educational Big Data, NERC-EBD, Wuhan, China
- Liang Zhao 0017
— Fudan University, School of Basic Medical Sciences, Shanghai, China
- Liang Zhao 0018
— SenseTime Research, Shanghai, China
- Liang Zhao 0019 — Nanjing University, China
- Liang Zhao 0020
— Sichuan University, School of Cyber Science and Engineering, Chengdu, China
- Liang Zhao 0022 — Macao Polytechnic Institute, Macau, China (and 2 more)
- Liang Zhao 0023 — Xi'an Jiaotong University, Institute of Social Psychology, China (and 1 more)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Jiaqi Guo
, Cong Tian, Xu Lu
, Liang Zhao, Zhenhua Duan:
Multi-keyword ranked search with access control for multiple data owners in the cloud. J. Inf. Secur. Appl. 82: 103742 (2024) - 2023
- [c20]Bin Yu
, Cong Tian
, Hengrui Xing
, Zuchao Yang
, Jie Su
, Xu Lu
, Jiyu Yang
, Liang Zhao
, Xiaofeng Li
, Zhenhua Duan
:
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE 2023: 1153-1164 - 2022
- [c19]Xingguang Zhu, Jiajun Chang, Weikang Li, Bin Yu, Liang Zhao, Xiaobing Wang:
Driver Violation Prediction based on Neural Network. DSA 2022: 143-152 - [c18]Liang Zhao, Leping Wu, Yu Gao, Xiaobing Wang, Bin Yu:
Formal Modeling and Verification of Convolutional Neural Networks based on MSVL. DSA 2022: 280-289 - [c17]Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao, Wenjie Mao:
Formalization of Natural Language into PPTL Specification via Neural Machine Translation. SOFL+MSVL 2022: 79-92 - 2021
- [j7]Jie Zhang
, Cong Tian, Zhenhua Duan
, Liang Zhao:
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. IEEE Trans. Reliab. 70(3): 1295-1308 (2021) - 2020
- [j6]Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao:
Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. 838: 1-16 (2020) - [j5]Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A sound and complete proof system for a unified temporal logic. Theor. Comput. Sci. 838: 25-44 (2020) - [c16]Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao:
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. QRS 2020: 121 - [c15]Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu:
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. SOFL+MSVL 2020: 3-22 - [c14]Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao:
An MSVL Based Model Checking Method for Multi-threaded C Programs. SOFL+MSVL 2020: 88-101 - [c13]Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu:
Automatic Generation of Specification from Natural Language Based on Temporal Logic. SOFL+MSVL 2020: 154-171
2010 – 2019
- 2019
- [j4]Liang Zhao, Xiaobing Wang, Zhenhua Duan:
Model checking of pushdown systems for projection temporal logic. Theor. Comput. Sci. 774: 82-94 (2019) - [j3]Cong Tian
, Chu Chen, Zhenhua Duan, Liang Zhao:
Differential Testing of Certificate Validation in SSL/TLS Implementations: An RFC-guided Approach. ACM Trans. Softw. Eng. Methodol. 28(4): 24:1-24:37 (2019) - [c12]Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A Proof System for a Unified Temporal Logic. COCOON 2019: 663-676 - [c11]Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu:
Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework. SOFL+MSVL 2019: 73-87 - [c10]Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao:
Model Checking Python Programs with MSVL. SOFL+MSVL 2019: 205-224 - 2018
- [c9]Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao:
Reducing Extension Edges of Concurrent Programs for Reachability Analysis. COCOA 2018: 386-401 - [c8]Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao:
RFC-directed differential testing of certificate validation in SSL/TLS implementations. ICSE 2018: 859-870 - [c7]Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu:
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. SOFL+MSVL 2018: 55-70 - [c6]Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao:
Model Checking Java Programs with MSVL. SOFL+MSVL 2018: 89-107 - 2017
- [j2]Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao:
MSVL: a typed language for temporal logic programming. Frontiers Comput. Sci. 11(5): 762-785 (2017) - [c5]Xiaobing Wang, Liyuan Ren, Liang Zhao, Xinfeng Shu:
A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks. SOFL+MSVL 2017: 133-147 - 2016
- [c4]Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue:
Runtime Verification Monitor Construction for Three-valued PPTL. SOFL+MSVL 2016: 144-159 - 2014
- [j1]Liang Zhao, Roberto Bruni, Zhiming Liu:
A sound and complete theory of graph transformations for service programming with sessions and pipelines. Sci. Comput. Program. 94: 255-288 (2014) - 2013
- [c3]Liang Zhao, Shuling Wang, Zhiming Liu:
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods 2013: 374-393 - [c2]Ruzhen Dong, Naijun Zhan, Liang Zhao:
An Interface Model of Software Components. ICTAC 2013: 159-176 - [c1]Xiaobing Wang, Zhenhua Duan, Liang Zhao:
Formalizing and Implementing Types in MSVL. SOFL+MSVL 2013: 62-75 - 2012
- [b1]Liang Zhao:
Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems. University of Pisa, Italy, 2012
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 20:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint