default search action

combined dblp search
author search
venue search
publication search

ask others

Liang Zhao 0021

> Home > Persons

Person information

affiliation: Xidian University, Xi'an, Shaanxi, China

Other persons with the same name

see FAQ

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

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2012
[b1]
- view
- export record
  dblp key:
  - phd/it/Zhao12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/it/Zhao12a
Liang Zhao:
Graphs and Graph Transformations for Object-Oriented and Service-Oriented Systems. University of Pisa, Italy, 2012

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/GuoTLZD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/GuoTLZD24
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)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/GuoTHZD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/GuoTHZD24
Jiaqi Guo, Cong Tian, Qiang He, Liang Zhao, Zhenhua Duan:
Verifiable privacy-preserving semantic retrieval scheme in the edge computing. J. Syst. Archit. 156: 103289 (2024)
2021
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/ZhangTDZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/ZhangTDZ21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ShuZWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ShuZWZ20
Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao:
Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. 838: 1-16 (2020)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ZhaoWSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ZhaoWSZ20
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)
2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ZhaoWD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ZhaoWD19
Liang Zhao, Xiaobing Wang, Zhenhua Duan:
Model checking of pushdown systems for projection temporal logic. Theor. Comput. Sci. 774: 82-94 (2019)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/TianCDZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/TianCDZ19
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)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/WangTDZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/WangTDZ17
Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao:
MSVL: a typed language for temporal logic programming. Frontiers Comput. Sci. 11(5): 762-785 (2017)
2014
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ZhaoB014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZhaoB014
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/YuTXYS0YZLD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/YuTXYS0YZLD23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dsa/ZhuCLYZW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsa/ZhuCLYZW22
Xingguang Zhu, Jiajun Chang, Weikang Li, Bin Yu, Liang Zhao, Xiaobing Wang:
Driver Violation Prediction based on Neural Network. DSA 2022: 143-152
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/dsa/ZhaoWGWY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsa/ZhaoWGWY22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/LiCWZM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/LiCWZM22
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
2020
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ZhangTDZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ZhangTDZ20
Jie Zhang, Cong Tian, Zhenhua Duan, Liang Zhao:
RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. QRS 2020: 121
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ZhaoFWS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ZhaoFWS20
Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu:
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. SOFL+MSVL 2020: 3-22
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ShuWGWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ShuWGWZ20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangLLZS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangLLZS20
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
2019
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cocoon/ZhaoWSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocoon/ZhaoWSZ19
Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A Proof System for a Unified Temporal Logic. COCOON 2019: 663-676
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangYWZS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangYWZS19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ShuGGZWZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ShuGGZWZ19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cocoa/TianWDZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocoa/TianWDZ18
Cong Tian, Jiaying Wang, Zhenhua Duan, Liang Zhao:
Reducing Extension Edges of Concurrent Programs for Reachability Analysis. COCOA 2018: 386-401
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChenTDZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChenTDZ18
Chu Chen, Cong Tian, Zhenhua Duan, Liang Zhao:
RFC-directed differential testing of certificate validation in SSL/TLS implementations. ICSE 2018: 859-870
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangGZS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangGZS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ShuLWWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ShuLWWZ18
Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao:
Model Checking Java Programs with MSVL. SOFL+MSVL 2018: 89-107
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangRZS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangRZS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangLZX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangLZX16
Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue:
Runtime Verification Monitor Construction for Three-valued PPTL. SOFL+MSVL 2016: 144-159
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ZhaoWL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ZhaoWL13
Liang Zhao, Shuling Wang, Zhiming Liu:
Graph-Based Object-Oriented Hoare Logic. Theories of Programming and Formal Methods 2013: 374-393
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/DongZZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/DongZZ13
Ruzhen Dong, Naijun Zhan, Liang Zhao:
An Interface Model of Software Components. ICTAC 2013: 159-176
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangDZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangDZ13
Xiaobing Wang, Zhenhua Duan, Liang Zhao:
Formalizing and Implementing Types in MSVL. SOFL+MSVL 2013: 62-75

Coauthor Index

see FAQ

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.